约书亚·D·古特曼。 安全目标：数据包轨迹和链空间。 （英语） Zbl 1007.68509号 Focardi，Riccardo（编辑）等人，《安全分析和设计基础》。辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。2171, 197-261 (2001).MSC公司：68第25页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Guttman}，莱克特。注释计算。科学。2171197--261（2001年；Zbl 1007.68509） 全文： 链接
保罗·西弗森;伊利亚诺·塞维萨托 身份验证协议的逻辑。 （英语） Zbl 1007.68510号 Focardi，Riccardo（编辑）等人，《安全分析和设计基础》。辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。2171，63-136（2001）中所述。MSC公司：68第25页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{P.Syverson}和\textit{I.Cervesato}，莱克特。注释计算。科学。2171，63-136（2001年；兹bl 1007.68510） 全文： 链接