博迪，恰拉；迪加诺，皮尔保罗；吉安·路易吉，法拉利；盖列塔，莱特里奥 物联网系统中工作的安全指标。 （英语） Zbl 1440.68017号 Di Pierro，Alessandra（编辑）等人，《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。12065, 233-255 (2020).MSC公司：68米11 68平方米25 第68季度55 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，Lect。票据计算。科学。12065、233--255（2020；Zbl 1440.68017） 全文： 内政部 链接
博迪，恰拉；迪加诺，皮尔保罗；吉安·路易吉，法拉利；盖列塔，莱特里奥 跟踪收集和汇总物联网数据的位置。 （英语） Zbl 1459.68013号 日志。方法计算。科学。 13，第3号，第5号论文，38页（2017年）.MSC公司：68米11 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人，日志。方法计算。科学。13，第3号，第5号论文，38页（2017；Zbl 1459.68013） 全文： 内政部 arXiv公司
马西莫·巴托莱蒂；迪加诺，皮尔保罗；吉安·路易吉，法拉利；罗伯托·祖尼诺 安全的服务编排。 （英语） Zbl 1195.68015号 Aldini，Alessandro（编辑）等人，《安全分析和设计基础》IV.FOSAD 2006/2007教程讲座。柏林：施普林格出版社（ISBN 978-3-540-74809-0/pbk）。计算机科学课堂讲稿4677，24-74（2007）。MSC公司：68米11 68个M12 68甲18 68第25页 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，Lect。票据计算。科学。4677，24-74（2007；Zbl 1195.68015） 全文： 内政部
琳达·布罗多；迪加诺，皮尔保罗；斯蒂芬·吉尔摩；简·希尔斯顿；科拉多·普里亚米 全局计算的性能评估。 （英语） Zbl 1179.68016号 Priami，Corrado（编辑），《全球计算》。编程环境、语言、安全和系统分析。2003年2月9日至14日，意大利Rovereto，2003年GC，IST/FET国际研讨会。修订论文。柏林：施普林格出版社（ISBN 3-540-20583-7/pbk）。莱克特。票据计算。科学。2874, 229-253 (2003).MSC公司：68平方米 68米11 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit｛L.Brodo｝等人，Lect。票据计算。科学。2874229--253（2003年；Zbl 1179.68016） 全文： 内政部