皮安吉拉·萨马拉蒂;萨布丽娜·德·卡皮塔尼·迪·维梅尔卡蒂 访问控制：策略、模型和机制。 （英语） Zbl 1010.68698号 Focardi，Riccardo（编辑）等人，《安全分析和设计基础》。辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。2171, 137-196 (2001).MSC公司：68单位99 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{P.Samarati}和\textit{S.de Capitani di Vimercati}，Lect。注释计算。科学。2171137-196（2001年；Zbl 1010.68698）
里卡多·福卡迪;罗伯托·戈里埃里 安全属性的分类。一： 信息流。 （英语） Zbl 1007.68508号 Focardi，Riccardo（编辑）等人，《安全分析和设计基础》。辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。2171, 331-396 (2001).MSC公司：68第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}和\textit{R.Gorrieri}，莱克特。注释计算。科学。2171、331--396（2001年；Zbl 1007.68508） 全文： 链接
安德鲁·戈登。 关于安全性和移动性标称计算的注释。 （英语） Zbl 1007.68507号 Focardi，Riccardo（编辑）等人，《安全分析和设计基础》。辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。2171, 262-330 (2001).MSC公司：第68页第19页 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}，莱克特。注释计算。科学。2171、262--330（2001年；Zbl 1007.68507） 全文： 链接
约书亚·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年；Zbl 1007.68510） 全文： 链接
Peter Y.A.Ryan。 计算机安全的数学模型。 （英语） Zbl 1007.68129号 Focardi，Riccardo（编辑）等人，《安全分析和设计基础》。辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。2171，1-62（2001年）。MSC公司：68问题85 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.A.Ryan}，莱克特。注释计算。科学。2171，1--62（2001年；Zbl 1007.68129） 全文： 链接