576 search results - page 49 / 116 » Modeling Adversaries in a Logic for Security Protocol Analys... |
EUROPKI
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. Key agreement protocols are a fundamental building block for ensuring authenticated and private communications between two parties over an insecure network. This paper fo...
MOVEP
2000
14 years 11 days ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
JAR
2008
13 years 8 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
We introduce HAIL (High-Availability and Integrity Layer), a distributed cryptographic system that allows a set of servers to prove to a client that a stored file is intact and r...
CCS
2010
ACM
13 years 9 months ago
2010
ACM
Protocols for password-based authenticated key exchange (PAKE) allow two users who share only a short, low-entropy password to agree on a cryptographically strong session key. The...