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]
Abstract is missing.