752 search results - page 31 / 151 » Abstract models for dialogue protocols |
140
click to vote
ACNS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In the paper “Stronger Security of Authenticated Key Exchange” [1,2], a new security model for authenticated key exchange protocols (eCK) is proposed. The new model i...
132
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
122
click to vote
FORTE
1998
15 years 5 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
125
click to vote
SRDS
2003
IEEE
15 years 9 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
141
click to vote
FSTTCS
2003
Springer
15 years 9 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...