米歇尔·布格列西;斯特凡诺·卡尔扎瓦拉;里卡多·福卡迪 web安全的形式化方法。 （英语） Zbl 1359.68021号 J.日志。阿尔盖布。方法计划。 87110-126（2017）.MSC公司：68英里11 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，J.Log。阿尔盖布。方法计划。87、110-126（2017；Zbl 1359.68021） 全文： DOI程序 链接
米歇尔·布格列西;里卡多·福卡迪 用于网络安全的通道抽象。 （英语） Zbl 1191.68269号 数学。结构。计算。科学。 20，第1期，第3-44页（2010年）.MSC公司：68第25页 68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}和\textit{R.Focardi}，数学。结构。计算。科学。20，第1号，第3-44号（2010；Zbl 1191.68269） 全文： DOI程序
米歇尔·布格列西;里卡多·福卡迪 安全抽象和入侵者模型（扩展抽象）。 （英语） Zbl 1291.68249号 Hildebrandt，Thomas（编辑）等人，《第十五届并发表达能力国际研讨会论文集》（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，99-112（2009）。MSC公司：60年第68季度 68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}和\textit{R.Focardi}，电子。理论注释。计算。科学。242，No.1，99--112（2009；Zbl 1291.68249） 全文： DOI程序
米歇尔·布格列西;朱塞佩·卡斯塔尼亚;西尔维亚·克拉法;里卡多·福卡迪;弗拉迪米罗·萨松 通过名字计算和密码密码的调查。 （英语） Zbl 1202.68166号 Focardi，Riccardo（编辑）等人，《安全分析和设计基础II》。FOSAD 2001/2002辅导讲座。柏林：施普林格出版社（ISBN 3-540-20955-7/pbk）。莱克特。注释计算。科学。2946, 91-138 (2004).MSC公司：68第25页 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，Lect。注释计算。科学。2946，91--138（2004；Zbl 1202.68166） 全文： DOI程序
米歇尔·布格列西;里卡多·福卡迪;马特奥·马菲 身份验证协议的组成分析。 （英语） Zbl 1126.94346号 Schmidt，David（编辑），《编程语言与系统》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第13届欧洲编程研讨会（ESOP 2004），是欧洲软件理论与实践联合会议（ETAPS 2004）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21313-9/pbk）。计算机科学课堂讲稿2986140-154（2004）。MSC公司：94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，Lect。注释计算。科学。2986、140--154（2004年；Zbl 1126.94346） 全文： DOI程序
米歇尔·布格列西;里卡多·福卡迪;马特奥·马菲 实体身份验证的原则。 （英语） Zbl 1254.94047号 Broy，Manfred（编辑）等人，《系统信息学视角》。2003年7月9日至12日，俄罗斯新西伯利亚，阿卡德姆戈罗多克，第五届安德烈·埃尔肖夫国际纪念大会，PSI 2003。修改后的文件。柏林：施普林格出版社（ISBN 3-540-20813-5/pbk）。计算机科学课堂讲稿2890294-306（2003）。MSC公司：94A62型 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，Lect。注释计算。科学。2890294-306（2003年；兹比尔1254.94047） 全文： DOI程序