Home | deutsch  | Legals | Sitemap | KIT

Formally Verified Authenticated Query Dissemination in Sensor Networks

Formally Verified Authenticated Query Dissemination in Sensor Networks
Author(s): Frank Werner, Zinaida Benenson
Source: International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Istanbul, July 13-16, 2009