Academic
Publications
Cryptographically sound security proofs for basic and public-key Kerberos

Cryptographically sound security proofs for basic and public-key Kerberos,10.1007/s10207-011-0125-6,International Journal of Information Security,Mich

Cryptographically sound security proofs for basic and public-key Kerberos  
BibTex | RIS | RefWorks Download
We present a computational analysis of basic Kerberos with and without its public-key extension PKINIT in which we consider authentication and key secrecy properties. Our proofs rely on the Dolev–Yao style model of Backes, Pfitzmann, and Waidner, which allows for mapping results obtained symbolically within this model to cryptographically sound proofs if certain assumptions are met. This work was the first verification at the computational level of such a complex fragment of an industrial protocol. By considering a recently fixed version of PKINIT, we extend symbolic correctness results we previously attained in the Dolev–Yao model to cryptographically sound results in the computational model.
Journal: International Journal of Information Security , vol. 10, no. 2, pp. 107-134, 2011
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.