DMCA
Security Verification for Authentication and Key Exchange Protocols (2009)
| Citations: | 1 - 1 self |
BibTeX
@MISC{Ota09securityverification,
author = {Haruki Ota and Shinsaku Kiyomoto and Toshiaki Tanaka},
title = {Security Verification for Authentication and Key Exchange Protocols},
year = {2009}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In a ubiquitous environment, it is preferable for authentication and key exchange protocols to be optimized automatically in accordance with security requirements. In this paper, we propose a security verification method for authentication and key exchange protocols that is based on Bellare et al.'s model. In particular, we show the verification points of one security property for authentication protocols and five security properties for key exchange protocols. We show that this method is valid by verifying the security of four typical examples of the authentication and key exchange protocols and the 87 authentication and key exchange protocols which were generated automatically. Key words:
