Formally Verified Authenticated Query Dissemination in Sensor Networks

Conference contribution


Publication Details

Author(s): Benenson Z, Werner F
Title edited volumes: International Symposium on Performance Evaluation of Computer and Telecommunication Systems 2009, SPECTS 2009, Part of the 2009 Summer Simulation Multiconference, SummerSim 2009
Publisher: IEEE
Publishing place: Istanbul
Publication year: 2009
Conference Proceedings Title: IEEE International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS)
Pages range: 154-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. [2] and verify its correctness by means of a model based on probabilistic action systems.


FAU Authors / FAU Editors

Benenson, Zinaida Dr.
Lehrstuhl für Informatik 1 (IT-Sicherheitsinfrastrukturen)


How to cite

APA:
Benenson, Z., & Werner, F. (2009). Formally Verified Authenticated Query Dissemination in Sensor Networks. In IEEE International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS) (pp. 154-161). Istanbul: Istanbul: IEEE.

MLA:
Benenson, Zinaida, and Frank Werner. "Formally Verified Authenticated Query Dissemination in Sensor Networks." Proceedings of the International Symposium on Performance Evaluation of Computer and Telecommunication Systems 2009, SPECTS 2009, Part of the 2009 Summer Simulation Multiconference, SummerSim 2009, Istanbul Istanbul: IEEE, 2009. 154-161.

BibTeX: 

Last updated on 2018-28-12 at 13:38