253 search results - page 24 / 51 » Compositional Analysis of Authentication Protocols |
114
Voted
TELSYS
2002
15 years 2 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
115
Voted
RFIDSEC
2010
15 years 28 days ago
2010
RFID authentication protocols are susceptible to different types of relay attacks such as mafia and distance frauds. A countermeasure against these types of attacks are the well-...
105
Voted
OTM
2007
Springer
15 years 8 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...
131
click to vote
VTC
2010
IEEE
15 years 27 days ago
2010
IEEE
—In this paper, we propose a mutual authentication and key agreement scheme for V2I communications. Our scheme improves security and privacy protection compared with the existing...
127
Voted
CRYPTO
2006
Springer
15 years 6 months ago
2006
Springer
In a seminal paper, Feldman and Micali (STOC '88) show an n-party Byzantine agreement protocol tolerating t < n/3 malicious parties that runs in expected constant rounds. H...