Kai Fan, Hui Li, Yue Wang. Security Analysis of the Kerberos Protocol Using BAN Logic. In Proceedings of the Fifth International Conference on Information Assurance and Security, IAS 2009, Xi An, China, 18-20 August 2009. pages 467-470, IEEE Computer Society, 2009. [doi]
@inproceedings{FanLW09,
title = {Security Analysis of the Kerberos Protocol Using BAN Logic},
author = {Kai Fan and Hui Li and Yue Wang},
year = {2009},
doi = {10.1109/IAS.2009.320},
url = {http://dx.doi.org/10.1109/IAS.2009.320},
tags = {protocol, analysis, security, logic},
researchr = {https://researchr.org/publication/FanLW09},
cites = {0},
citedby = {0},
pages = {467-470},
booktitle = {Proceedings of the Fifth International Conference on Information Assurance and Security, IAS 2009, Xi An, China, 18-20 August 2009},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3744-3},
}