154 search results - page 16 / 31 » Proving Group Protocols Secure Against Eavesdroppers |
IPL
2006
14 years 9 months ago
2006
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
106
click to vote
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...
ICOIN
2007
Springer
15 years 3 months ago
2007
Springer
Wireless Sensor Network (WSN) deployed in hostile environments suffers from severe security threats. In this paper, we propose a Secure Message Percolation (SMP) scheme for WSN. We...
WMASH
2004
ACM
15 years 3 months ago
2004
ACM
In recent years, wireless Internet service providers (WISPs) have established thousands of WiFi hot spots in cafes, hotels and airports in order to offer to travelling Internet u...
ISW
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We study the provable security of identity-based (ID-based) key agreement protocols. Although several published protocols have been proven secure in the random oracle mod...