博迪,恰拉;皮耶保罗·德加诺;吉安·路易吉,法拉利;盖列塔,莱特里奥 物联网系统中工作的安全指标。 (英语) 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公司
文森佐·西安西亚;Gianluigi法拉利;罗伯特·瓜夏莱;丹尼尔·斯特罗洛 基于事件的编排。 (英语) Zbl 1209.68032号 科学。计算。程序。 75,第10号,848-878(2010).MSC公司:68英里11 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{V.Ciancia}等人,科学。计算。程序。75,第10号,848--878(2010;Zbl 1209.68032) 全文: 内政部
马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉,法拉利;罗伯托·祖尼诺 安全的服务编排。 (英语) 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) 全文: 内政部
Gianluigi法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 基于图形的互联系统模型。 (英语) Zbl 1274.68011号 Aichernig,Bernhard K.(编辑)等人,《十字路口的形式方法》。从万灵药到基础支持。2002年3月18日至20日,葡萄牙里斯本,联合国大学/国际软件技术研究所十周年座谈会。修订论文。柏林:施普林格出版社(ISBN 3-540-20527-6/pbk)。莱克特。注释计算。科学。2757, 242-266 (2003).MSC公司:68英里11 64岁以下 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Ferrari}等人,Lect。注释计算。科学。2757242--266(2003年;Zbl 1274.68011) 全文: 内政部