Home | english  | Impressum | Sitemap | KIT

Formally Verified Authenticated Query Dissemination in Sensor Networks

Formally Verified Authenticated Query Dissemination in Sensor Networks
Autor(en):

Frank Werner, Zinaida Benenson

Quelle: International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Istanbul, July 13-16, 2009