691 search results - page 56 / 139 » A New Security Model for Authenticated Key Agreement |
123
click to vote
FUIN
2007
15 years 1 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
110
click to vote
ISICT
2003
15 years 2 months ago
2003
Wireless communications are being driven by the need for providing network access to mobile or nomadic computing devices. The need for wireless access to a network is evident in c...
109
click to vote
ESORICS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
ACNS
2010
Springer
15 years 6 months ago
2010
Springer
We look at the problem of designing Message Recognition Protocols (MRP) and note that all proposals available in the literature have relied on security proofs which hold in the ran...
131
click to vote
SODA
2008
ACM
15 years 3 months ago
2008
ACM
We resolve two long-standing open problems in distributed computation by describing polylogarithmic protocols for Byzantine agreement and leader election in the asynchronous full ...