Benenson Z, Werner F (2009)
Publication Type: Conference contribution
Publication year: 2009
Publisher: IEEE
Edited Volumes: International Symposium on Performance Evaluation of Computer and Telecommunication Systems 2009, SPECTS 2009, Part of the 2009 Summer Simulation Multiconference, SummerSim 2009
City/Town: Istanbul
Pages Range: 154-161
Conference Proceedings Title: IEEE International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS)
Event location: Istanbul
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.
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: Download