弗朗西安·戴奇森;王燕京 知道或不知道：安全协议验证的认知方法。 （英语） Zbl 1225.03017号 合成 177，补遗1，51-76（2010）. 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03B42号 03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dechesne}和\textit{Y.Wang}，综合177，51--76（2010；Zbl 1225.03017） 全文： DOI程序
罗伯托·戈里埃里;法比奥·马蒂内利;玛丽内拉·彼得罗奇 有线和无线网络中安全组播的形式化模型和分析。 （英语） Zbl 1191.68036号 J.汽车。推理 41，编号3-4，325-364（2008）.MSC公司：68M10个 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}等人，J.Autom。推理41，No.3--4，325--364（2008；Zbl 1191.68036） 全文： DOI程序
罗伯托·戈里埃里;法比奥·马蒂内利;Marinella Petrocchi公司 GNDC模式中信用和责任的形式化。 （英语） 兹比尔1335.68014 Mauw，S.（ed.）等人，《第一届安全与信任管理国际研讨会论文集》（STM 2005），意大利米兰，2005年9月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》157，第3期，61-78（2006）。MSC公司：68个M12 60年第68季度 68问题85 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}等人，《电子》。理论注释。计算。科学。157，编号3，61--78（2006；Zbl 1335.68014） 全文： DOI程序
里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 三种身份验证属性的比较。 （英语） Zbl 1052.68033号 西奥。计算。科学。 291，第3期，285-327（2003）.MSC公司：68第25页 68问题85 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人，Theor。计算。科学。291，第3号，285--327（2003；Zbl 1052.68033） 全文： DOI程序