253 search results - page 15 / 51 » Compositional Analysis of Authentication Protocols |
CISC
2007
Springer
14 years 1 months ago
2007
Springer
Deniable authentication is a technique that allows one party to send messages to another while the latter can not prove to a third party the fact of communication. In this paper, w...
JCS
2010
13 years 6 months ago
2010
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...
CSFW
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
IJNSEC
2008
13 years 7 months ago
2008
We present a hybrid group key management protocol that incorporates both a centralized and a contributory scheme for key management, and a tree-based Elliptic Curve Diffie-Hellman...
CTRSA
2008
Springer
13 years 9 months ago
2008
Springer
Public key based authentication and key exchange protocols are not usually designed with privacy in mind and thus involve cleartext exchanges of identities and certificates before ...