3115 search results - page 33 / 623 » Synthesizing Secure Protocols |
BROADNETS
2005
IEEE
14 years 2 months ago
2005
IEEE
- In this paper, we study and quantify the impact of the most widely used security protocols, such as 802.1x, EAP, IPSEC, SSL and RADIUS, in wireless local area networks (WLANs). B...
ESORICS
2004
Springer
14 years 2 months ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
OTM
2007
Springer
14 years 3 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
CCS
2003
ACM
14 years 20 days 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 ...
CCS
2008
ACM
13 years 11 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...