伊利亚诺·塞维萨托;亚伦·D·贾加德。;安德烈·斯克洛夫;蔡乔凯;克里斯托弗·沃尔斯塔德 破坏和修复公钥Kerberos。 （英语） Zbl 1147.68393号 Inf.计算。 206，编号2-4，402-424（2008）.MSC公司：68个M12 68M10个 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}等人，《信息计算》。206，编号2--4，402--424（2008；Zbl 1147.68393） 全文： 内政部
巴克斯，M。;Cervesato，I。;贾加德，医学博士。;A.斯克洛夫。;蔡，J.-K。 基本Kerberos和公钥Kerberos的加密安全证明。 （英语） Zbl 1487.94149号 Gollmann，Dieter（编辑）等人，《计算机安全–ESORICS 2006》。第十一届欧洲计算机安全研究研讨会，德国汉堡，2006年9月18日至20日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。4189, 362-383 (2006).MSC公司：94A62型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Backes}等人，Lect。注释计算。科学。4189、362--383（2006年；Zbl 1487.94149） 全文： 内政部 链接