马泰奥·扎尼奥利;阿戈斯蒂诺·科尔特斯 通过抽象解释进行信息泄漏分析。 (英语) Zbl 1298.68067号 乔纳·伊万娜(编辑)等,《SOFSEM 2011:计算机科学的理论与实践》。第37届计算机科学理论与实践当前趋势会议,2011年1月22日至28日,斯洛伐克,11月斯莫科维奇。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18380-5/pbk)。计算机科学课堂讲稿6543545-557(2011)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Zanioli}和\textit{A.Cortesi},莱克特。注释计算。科学。6543、545--557(2011年;Zbl 1298.68067) 全文: 内政部
伊莎贝尔·阿塔利;丹尼斯·卡罗梅尔;卢多维奇·亨利奥;费利佩·卢纳(Felipe Luna)·德尔·阿吉拉(Del Aguila) 异步顺序进程的安全信息流。 (英语) Zbl 1277.68159号 Michael Backes(编辑)等人,《安全与并发国际研讨会论文集》(SecCo 2005),美国加利福尼亚州旧金山,2005年8月22日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》180,第1期,17-34(2007)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Attali}等人,《电子》。理论注释。计算。科学。180,编号1,17--34(2007;Zbl 1277.68159) 全文: 内政部
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪 移动环境中的安全边界。 (英语) Zbl 1028.68004号 计算。语言系统。结构。 28,第1期,101-127(2002).MSC公司:68M10个 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人,计算。语言系统。结构。28,第1号,101--127(2002;Zbl 1028.68004) 全文: 内政部