阿德里亚娜·孔皮诺尼；埃尔萨·甘特。；菲利普·比丁格 基于角色的盒装环境访问控制。 （英语） Zbl 1146.68020号 西奥。计算。科学。 398，编号1-3，203-216（2008）.MSC公司：64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Compagnoni}等人，Theor。计算。科学。398，编号1--3，203-216（2008；Zbl 1146.68020） 全文： 内政部
伊内斯·玛格丽亚；马达莱娜·扎基 移动环境计算中的访问控制：比较视图。 （英语） Zbl 1146.68021号 西奥。计算。科学。 398，编号1-3，183-202（2008）.MSC公司：64岁以下 68问题85 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{I.Margaria}和\textit{M.Zacchi}，Theor。计算。科学。398，编号1--3，183-202（2008；Zbl 1146.68021） 全文： 内政部
多伊纳·布库尔；尼尔森，莫根斯 上下文感知演算中的安全数据流。 （英语） Zbl 1143.68477号 Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿5065439-456（2008）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Bucur}和\textit{M.Nielsen}，莱克特。注释计算。科学。5065439--456（2008年；Zbl 1143.68477） 全文： 内政部
弗朗西丝卡·列维 装箱到安全环境中的类型化编码。 （英语） Zbl 1089.68021号 学报信息。 42，编号6-7，429-500（2006）.MSC公司：68米10 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.Levi}，Acta Inf.42，No.6--7，429--500（2006；Zbl 1089.68021） 全文： 内政部
G·卡斯塔尼亚。；J.维泰克。；F.Zappa，Nardelli 密封演算。 （英语） Zbl 1101.68060号 Inf.计算。 201，第1期，1-54页（2005）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}等人，《信息计算》。201，第1号，1--54（2005；Zbl 1101.68060） 全文： 内政部
佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini；伊万诺·萨尔沃；弗拉迪米罗·萨松 一种用于安全环境的类型推理算法。 （英语） Zbl 1268.68120号 Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高阶语言和类型研讨会论文集，意大利乌迪内，2001年11月19日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，83-101（2002）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人，《电子》。注释Theor。计算。科学。62、83--101（2002年；Zbl 1268.68120） 全文： 内政部
朱塞佩·卡斯塔尼亚；米歇尔·布格列西；西尔维亚·克拉法 装箱环境概述（摘要）。 （英语） 兹比尔1268.68123 Lenisa，Mariana（编辑）等人，TOSCA 2001。并发理论、高级语言和类型研讨会论文集，意大利乌迪内，2001年11月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记62，1-6（2002）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}等人，《电子》。注释Theor。计算。科学。62、1--6（2002年；Zbl 1268.68123） 全文： 内政部