275 search results - page 10 / 55 » Analysis of a Fair Exchange Protocol |
73
Voted
ACISP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract The Host Identity Protocol (HIP) is an Internet security and multiaddressing mechanism specified by the IETF. HIP introduces a new layer between the transport and network ...
INFORMATICALT
2010
14 years 6 months ago
2010
Abstract. In 2008, based on the two-party Diffie
CCS
2005
ACM
15 years 3 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
74
Voted
ICICS
2005
Springer
15 years 3 months ago
2005
Springer
We design and analyze a simple optimistic fair non-repudiation protocol. Our protocol is considerably simpler and more efficient than current proposals, due mainly to the avoidanc...
CSREASAM
2004
14 years 11 months ago
2004
A VPN establishes a secure network using the insecure media of the Internet. However, before a VPN can be established keys must be exchanged between the communicating peers. In th...