1490 search results - page 71 / 298 » The Logic of Authentication Protocols |
188
click to vote
PKC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A group key agreement protocol allows a set of users, communicating over a public network, to agree on a private session key. Most of the schemes proposed so far require ...
190
click to vote
INFORMATICALT
2007
15 years 5 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
153
click to vote
DCC
2008
IEEE
16 years 5 months ago
2008
IEEE
LaMacchia, Lauter and Mityagin recently presented a strong security definition for authenticated key agreement strengthening the well-known Canetti-Krawczyk definition. They also ...
167
click to vote
ASIACRYPT
2009
Springer
15 years 10 months ago
2009
Springer
Proofs of storage (PoS) are interactive protocols allowing a client to verify that a server faithfully stores a file. Previous work has shown that proofs of storage can be constru...
144
click to vote
ECWEB
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Today, e-commerce transactions are typically protected using SSL/TLS. However, there are risks in such use of SSL/TLS, notably threats arising from the fact that informat...