2162 search results - page 13 / 433 » A Meta-Notation for Protocol Analysis |
FORTE
1997
13 years 8 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
FC
2010
Springer
13 years 6 months ago
2010
Springer
This work presents a cryptographic analysis of AN.ON’s anonymization protocols. We have discovered three flaws of differing severity. The first is caused by the fact that the ...
IMA
1997
Springer
13 years 11 months ago
1997
Springer
This paper proposes new protocols for two goals: authenticated key agreement and authenticated key agreement with key con rmation in the asymmetric public-key setting. A formalm...
SEC
2001
13 years 8 months ago
2001
: The Cliques protocols are extensions of the Diffie-Hellman key exchange protocol to a group setting. In this paper, we are analysing the A-GDH.2 suite that is intended to allow a...
PDPTA
2003
13 years 8 months ago
2003
This paper investigates the protocol overhead pipelining between the host and network interface card (NIC). Existing researches into the protocol overhead pipelining assume that p...