3751 search results - page 47 / 751 » Events in security protocols |
CCS
2003
ACM
13 years 11 months ago
2003
ACM
We describe LEAP (Localized Encryption and Authentication Protocol), a key management protocol for sensor networks that is designed to support in-network processing, while at the ...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
A secure logging mechanism named haplog is proposed. In essence, haplog uses only one-way hash functions to achieve the security and functional requirements of logging. This makes...
ADHOCNETS
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. As wireless sensor networks gain in popularity, many deployments are posing new challenges due to their diverse topologies and resource constraints. Previous work has sho...
DEBS
2007
ACM
13 years 9 months ago
2007
ACM
This paper describes an approach to detect unknown event patterns. In this context, an event is not only something that happens, but also something that can be analysed. This task...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...