96 search results - page 1 / 20 » A novel three-party encrypted key exchange protocol |
JCIT
2010
12 years 11 months ago
2010
CSI
2004
13 years 4 months ago
2004
The key exchange protocol is one of the most elegant ways of establishing secure communication between pair of users by using a session key. The passwords are of low entropy, henc...
CCS
2009
ACM
13 years 11 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
CTRSA
2005
Springer
13 years 10 months ago
2005
Springer
CTRSA
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...