Reasoning about security in sensor networks

Document Type

Conference Proceeding

Publication Date

10-1-2015

Abstract

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.

Publication Source (Journal or Book title)

Concurrency and Computation Practice and Experience

First Page

3816

Last Page

3841

This document is currently not available here.

Share

COinS