@inproceedings{aeab09a2e38146b8b4660769647e12dd,
title = "Different approaches for the formal definition of authentication property",
abstract = "Security goals should be parts of the description of security protocols. If the security goal cannot be precisely described in the narration, formal verification will lose its sense. But unlike secrecy, authentication property is rarely made clear precisely what it means. Various approaches were previously proposed for the formal definition of authentication property. This article describes taxonomy of these different definitions and discusses their respective problems. It is intended to be a survey and arise some deeper research.",
keywords = "Computer hacking, Cryptographic protocols, Cryptography, Data security, Formal verification, Message authentication, National security, Taxonomy",
author = "Zhen Song and Zhoujun Li and Wenhua Dou",
note = "Publisher Copyright: {\textcopyright} 2003 IEEE.; 9th IEEE Asia-Pacific Conference on Communications, APCC 2003, in conjunction with 6th Malaysia International Conference on Communications, MICC 2003 ; Conference date: 21-09-2003 Through 24-09-2003",
year = "2003",
doi = "10.1109/APCC.2003.1274481",
language = "英语",
series = "APCC 2003 - 9th Asia-Pacific Conference on Communications, in conjunction with 6th Malaysia International Conference on Communications, MICC 2003, Proceedings",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "854--858",
editor = "Khairil Anuar and Mahamod Ismail and Abdalla, \{Ashraf Gasim Elsid\} and \{Abdul Rashid\}, \{Hairul Azhar B.\}",
booktitle = "APCC 2003 - 9th Asia-Pacific Conference on Communications, in conjunction with 6th Malaysia International Conference on Communications, MICC 2003, Proceedings",
address = "美国",
}