Reasoning about security in sensor networks. (23rd January 2015)

• Record Type: Journal Article
• Authors: Peralta, Manuel; Mukhopadhyay, Supratik; Bharadwaj, Ramesh; Orgun, Mehmet A.; Orgun, Atilla Elçi; Pieprzyk, Josef; Chefranov, Alexander; Shankaran, Rajan; Wang, Huaxiong; Zhuge, Hai
• Is Part Of: Concurrency and computation. Volume 27:Number 15(2015:Oct.)
• Page Start: 3816
• Page End: 3841
• Publication Date: 2015-01-23
• Subjects: Parallel processing (Electronic computers) -- Periodicals; Parallel computers -- Periodicals; 004.35
• DOI: 10.1002/cpe.3433
• Languages: English
• ISSNs: 1532-0626

Abstract

<abstract abstract-type="main" id="cpe3433-abs-0001"> <title>Summary</title> <p id="cpe3433-para-0001">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.<xref ref-type="link" rid="cpe3433-note-0001">1</xref> Copyright © 2015 John Wiley &amp; Sons, Ltd.</p> </abstract>