216 search results - page 4 / 44 » Models and Proofs of Protocol Security: A Progress Report |
CCS
2009
ACM
14 years 1 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...
B
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
ACISP
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. A security proof in the Bellare
ACNS
2006
Springer
14 years 20 days ago
2006
Springer
We propose a new password-based 3-party protocol with a formal security proof in the standard model. Under reasonable assumptions we show that our new protocol is more efficient t...
CSFW
2006
IEEE
14 years 22 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...