Reasoning about security in sensor networks
Summary We present a formal framework for reasoning about security concerns in the context of embedded sensor networks. We first provide an agent‐based programming model for sensor networks. A logical framework enables reasoning about security, safety, and integrity with respect to usage of resource...
Saved in:
Published in | Concurrency and computation Vol. 27; no. 15; pp. 3816 - 3841 |
---|---|
Main Authors | , , |
Format | Journal Article |
Language | English |
Published |
Blackwell Publishing Ltd
01.10.2015
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | Summary
We present a formal framework for reasoning about security concerns in the context of embedded sensor networks. We first provide an agent‐based programming model for sensor networks. A logical framework enables reasoning about security, safety, and integrity with respect to usage of resources in this model. Embedded sensor networks often operate in rapidly changing mission‐critical environments where both functional and nonfunctional requirements can alter dynamically in an unforeseen manner. The network may need to be reconfigured and reprogrammed in response to changes in its operating conditions. We provide a framework based on counterfactual logic to formally represent changes to the system and perform what‐if reasoning about their impact on security and safety even before they have been applied. Copyright © 2015 John Wiley & Sons, Ltd. |
---|---|
Bibliography: | ark:/67375/WNG-X9GRSGPS-H istex:7FE3C5E2A58F5D5CB51B64588DA65B08EDAAF59C ArticleID:CPE3433 A preliminary version of the work shown in this paper appeared in SIN2011. ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 |
ISSN: | 1532-0626 1532-0634 |
DOI: | 10.1002/cpe.3433 |