A Parameterized Analysis of Public-Key Protocols: Needham-Schroeder and Kerberos-5

Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha. A Parameterized Analysis of Public-Key Protocols: Needham-Schroeder and Kerberos-5. In 14th IEEE International Conference on Networks, ICON 2006, Singapore, 13-15 September 2006. pages 1-6, IEEE, 2006. [doi]

Authors

Shahabuddin Muhammad

This author has not been identified. Look up 'Shahabuddin Muhammad' in Google

Zeeshan Furqan

This author has not been identified. Look up 'Zeeshan Furqan' in Google

Ratan K. Guha

This author has not been identified. Look up 'Ratan K. Guha' in Google