Formal analysis of policies in wireless sensor network applications

• Type: Article in International Conference Proceedings Book
• Date: 2012

Authors

Patrignani, M (Author) Other; Matthys, N (Author) Other; Proenca, J (Author) Other; Hughes, D (Author) Other; Clarke, D (Author) Other

Conference proceedings International

Title: 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings

Pages: 15-21

2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012

Zurich, 2 June 2012 through 2 June 2012

Indexing

Scopus - 4 Citations

Other information

Authenticus ID: P-00A-ADB

DOI: 10.1109/sesena.2012.6225728

Abstract (EN): Since wireless sensor network applications are ever growing in scale and complexity, managers require strong formal guarantees that any changes done to the system can be enacted safely. This paper presents the formalisation and analysis of the semantics of policies, tiny software artefacts used to orchestrate wireless sensor network applications. The semantics of policies is formalised in terms of traces augmented with information concerning the constraints under which traces are executed. These traces are composed according to the network topology and subsequently analysed using the mCRL2 model-checking tool. The analysis allows for the detection of semantical inconsistencies that may lead to dangerous or unwanted behaviour of the application based on the policy configuration. An analysis of policies in a real-world system is provided, showing how to verify security and resource usage properties. © 2012 IEEE.

Language: English

Type (Professor's evaluation): Scientific