Formally verified authenticated query dissemination in sensor networks

Author

Benenson, Zinaida ; Werner, Frank

Author_Institution

Comput. Sci. Dept., Univ. of Mannheim, Mannheim, Germany

Volume

41

fYear

2009

fDate

13-16 July 2009

Firstpage

154

Lastpage

161

Abstract

We consider the problem of authenticated query dissemination in sensor networks, where each sensor node should be able to decide whether the query was injected into the network by a legitimate entity (e.g., the base station), or by an adversary that tries to gain unauthorized access to the sensor data. We present sAQF, an improved variant of the AQF protocol by Benenson et al. and verify its correctness by means of a model based on probabilistic action systems.

Keywords

information dissemination; message authentication; query processing; telecommunication computing; wireless sensor networks; formal verified authenticated query dissemination; probabilistic action system; sensor data; sensor node; wireless sensor network; Algorithm design and analysis; Authentication; Base stations; Broadcasting; Computer science; Cryptographic protocols; Public key cryptography; Temperature sensors; Vibration measurement; Wireless sensor networks; authentication; dissemination; formal quantitative analysis; probabilistic; probabilistic model checking; query; verification;

fLanguage

English

Publisher

ieee

Conference_Titel

Performance Evaluation of Computer & Telecommunication Systems, 2009. SPECTS 2009. International Symposium on

Conference_Location

Istanbul

Print_ISBN

978-1-4244-4165-5

Electronic_ISBN

978-1-56555-328-6

Type

conf

Filename

5224131