米歇尔·布格列西;斯特凡诺·卡尔扎瓦拉;法比恩·艾格纳;马特奥·马菲 协议实现中安全资源管理的逻辑基础。 （英语） Zbl 1390.68075号 David Basin（编辑）等人，《安全与信任原则》。2013年3月16日至24日在意大利罗马举行的第二届国际会议，即2013年POST，是欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36829-5/pbk）。计算机科学课堂讲稿7796105-125（2013）。MSC公司：68个M12 03B70号 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，Lect。注释计算。科学。7796、105-125（2013年；Zbl 1390.68075） 全文： DOI程序
米歇尔·布格列西;马可·朱蒂 类型化通道抽象的安全实现。 （英语） Zbl 1295.68078号 2007年1月17日至19日，法国尼斯，POPL'07，第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。251-262 (2007).MSC公司：68号30 68甲19 68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}和\textit{M.Giunti}，摘自：第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'07，法国尼斯，2007年1月17-19日。纽约州纽约市：计算机协会（ACM）。251--262（2007年；Zbl 1295.68078） 全文： 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程序
米歇尔·布格列西;安布拉·塞卡托;萨宾娜·罗西 基于非干扰协议分析的上下文相关等效项。 （英语） 兹比尔1278.94043 Lingas，Andrzej（编辑）等人，《计算理论基础》。2003年8月12日至15日在瑞典马尔默举行的第14届国际研讨会，FCT 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40543-7/pbk）。莱克特。注释计算。科学。2751, 364-375 (2003).MSC公司：94A60型 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人，Lect。注释计算。科学。2751364--375（2003年；Zbl 1278.94043） 全文： 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程序
米歇尔·布格列西;朱塞佩·卡斯塔尼亚 确保安全环境。 （英语） Zbl 1323.68404号 第28届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2001年1月17日至19日，英国伦敦，POPL'01。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-336-7）。222-235 (2001).MSC公司：68问题85 68号30 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}和\textit{G.Castagna}，in：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'01，英国伦敦，2001年1月17日至19日。纽约州纽约市：计算机协会（ACM）。222--235（2001年；Zbl 1323.68404） 全文： DOI程序