3088 search results - page 67 / 618 » Multichannel Security Protocols |
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We present three voting protocols with unconditional privacy and information-theoretic correctness, without assuming any bound on the number of corrupt voters or voting authorities...
ACISP
2008
Springer
14 years 3 months ago
2008
Springer
In the pre-specified peer model for key agreement, it is assumed that a party knows the identifier of its intended communicating peer when it commences a protocol run. On the oth...
ACISP
2010
Springer
13 years 10 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...
PROVSEC
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we study security definitions for authenticated key exchange (AKE) protocols. We observe that there are several families of attacks on AKE protocols that lie outsid...