273 search results - page 20 / 55 » Modular Security Proofs for Key Agreement Protocols |
225
Voted
TIT
2008
15 years 6 months ago
2008
Abstract--In the bounded-storage model (BSM) for information-theoretic secure encryption and key agreement, one makes use of a random string R whose length t is greater than the as...
199
Voted
PKC
2009
Springer
16 years 8 months ago
2009
Springer
A key exchange protocol allows a set of parties to agree upon a secret session key over a public network. Two-party key exchange (2PKE) protocols have been rigorously analyzed unde...
225
click to vote
EUROCRYPT
2009
Springer
16 years 8 months ago
2009
Springer
We consider information-theoretic key agreement between two parties sharing somewhat different versions of a secret w that has relatively little entropy. Such key agreement, also ...
165
Voted
ACISP
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. A security proof in the Bellare
222
Voted
LOPSTR
2001
Springer
15 years 12 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...