1059 search results - page 31 / 212 » Modeling Security Protocols as Games |
150
click to vote
NSDI
2008
15 years 7 months ago
2008
We aim to advance the understanding of individual security decision-making, by combining formal and behavioral analysis. We sketch a game-theoretic model of security decision-maki...
158
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
We give a new, simulation-based, definition for security in the bounded-quantum-storage model, and show that this definition allows for sequential composition of protocols. Damg...
151
click to vote
ACISP
2010
Springer
15 years 7 months ago
2010
Springer
We provide the first description of and security model for authenticated key exchange protocols with predicate-based authentication. In addition to the standard goal of session ke...
149
Voted
ASIACRYPT
2005
Springer
15 years 11 months ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
165
click to vote
INFORMATICALT
2007
15 years 5 months ago
2007
Abstract. Deniable authenticated protocol is a new cryptographic authentication protocol that enables a designated receiver to identify the source of a given message without being ...