Yongjian Li, Jun Pang. Extending the Strand Space Method to Verify Kerberos V. In David S. Munro, Hong Shen, Quan Z. Sheng, Henry Detmold, Katrina E. Falkner, Cruz Izu, Paul D. Coddington, Bradley Alexander, Si-Qing Zheng, editors, Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007), 3-6 December 2007, Adelaide, Australia. pages 437-444, IEEE Computer Society, 2007. [doi]
@inproceedings{LiP07:1,
title = {Extending the Strand Space Method to Verify Kerberos V},
author = {Yongjian Li and Jun Pang},
year = {2007},
doi = {10.1109/PDCAT.2007.22},
url = {http://doi.ieeecomputersociety.org/10.1109/PDCAT.2007.22},
researchr = {https://researchr.org/publication/LiP07%3A1},
cites = {0},
citedby = {0},
pages = {437-444},
booktitle = {Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007), 3-6 December 2007, Adelaide, Australia},
editor = {David S. Munro and Hong Shen and Quan Z. Sheng and Henry Detmold and Katrina E. Falkner and Cruz Izu and Paul D. Coddington and Bradley Alexander and Si-Qing Zheng},
publisher = {IEEE Computer Society},
isbn = {0-7695-3049-4},
}