安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 验证持久安全属性。 （英语） Zbl 1072.68065号 计算。语言系统。结构。 30，编号3-4，231-258（2004）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}等人，计算。语言系统。结构。30，编号3--4，231--258（2004；Zbl 1072.68065） 全文： 内政部
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场 移动环境的嵌套分析。 （英语） Zbl 1072.68066号 计算。语言系统。结构。 30，编号3-4，207-230（2004）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人，计算。语言系统。结构。30，编号3--4，207--230（2004；Zbl 1072.68066） 全文： 内政部
安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 信息流安全性证明系统。 （英语） Zbl 1278.68158号 Michael Leuschel（编辑），《基于逻辑的程序合成和转换》。第十二届国际研讨会，2002年LOPSTR，西班牙马德里，2002年9月17日至20日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-40438-4/pbk）。计算机科学课堂讲稿2664199-218（2003）。MSC公司：60年第68季度 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}等人，Lect。注释计算。科学。2664199--218（2003年；Zbl 1278.68158） 全文： 内政部
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;斯特凡诺·菲利波内;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场 BANANA–边界环境嵌套分析工具。 （英语） Zbl 1031.68659号 Garavel，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2619, 437-441 (2003).MSC公司：68单位99 68T99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.Braghin｝等人，Lect。注释计算。科学。2619437-441（2003年；Zbl 1031.68659） 全文： 链接
安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 用于验证可能的安全属性的相互模拟和展开。 （英语） 兹比尔1022.68085 Zuck，Leonore D.（编辑）等人，《验证、模型检验和抽象解释》。2003年1月9日至11日，美国纽约州纽约市，第四届国际会议，VMCAI 2003。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2575, 223-237 (2003).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}等人，Lect。注释计算。科学。2575223--237（2003；Zbl 1022.68085） 全文： 链接
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场 移动环境中嵌套分析的复杂性。 （英语） Zbl 1022.68575号 Zuck，Leonore D.（编辑）等人，《验证、模型检验和抽象解释》。2003年1月9日至11日，美国纽约州纽约市，第四届国际会议，VMCAI 2003。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2575, 86-101 (2003).MSC公司：60年第68季度 68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人，Lect。注释计算。科学。2575，86-101（2003；Zbl 1022.68575） 全文： 链接
安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 转换流程以检查并确保信息流安全。 （英语） Zbl 1275.68102号 Kirchner，Hélène（编辑）等人，《代数方法论和软件技术》。第九届国际会议，2002年AMAST，2002年9月9日至13日，法国留尼汪岛圣吉尔-莱斯-巴恩斯。生产。柏林：施普林格出版社（ISBN 3-540-44144-1/pbk）。计算机科学课堂讲稿2422271-286（2002）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}等人，Lect。注释计算。科学。2422、271--286（2002年；Zbl 1275.68102） 全文： 内政部
里卡多·福卡迪;卡拉广场;萨宾娜·罗西 基于互模拟的信息流安全的证明方法。 （英语） 兹比尔1057.68065 Cortesi，Agostino（编辑），验证、模型检查和抽象解释。第三届国际研讨会，VMCAI 2002，意大利威尼斯，2002年1月21日至22日。修订论文。柏林：施普林格出版社（ISBN 3-540-43631-6）。莱克特。注释计算。科学。2294, 16-31 (2002).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.Focardi｝等人，Lect。注释计算。科学。2294，16-31（2002；Zbl 1057.68065） 全文： 链接