Formally Verified Authenticated Query Dissemination in Sensor Networks

Beitrag bei einer Tagung


Details zur Publikation

Autorinnen und Autoren: Benenson Z, Werner F
Titel Sammelwerk: International Symposium on Performance Evaluation of Computer and Telecommunication Systems 2009, SPECTS 2009, Part of the 2009 Summer Simulation Multiconference, SummerSim 2009
Verlag: IEEE
Verlagsort: Istanbul
Jahr der Veröffentlichung: 2009
Tagungsband: IEEE International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS)
Seitenbereich: 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-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

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


Zitierweisen

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: 

Zuletzt aktualisiert 2018-28-12 um 13:38