萨拉·卡佩基;伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini 多方会话中的信息流安全。 (英语) Zbl 1362.68204号 数学。结构。计算。科学。 26,第8期,1352-1394(2016).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Capecchi}等人,《数学》。结构。计算。科学。26,编号8,1352-1394(2016;兹bl 1362.68204) 全文: 内政部
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 将行为类型与安全分析相结合。 (英语) Zbl 1330.68045号 J.日志。阿尔盖布。方法计划。 84,第6号,763-780(2015).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,J.Log。阿尔盖布。方法计划。84,第6号,763--780(2015;Zbl 1330.68045) 全文: 内政部 arXiv公司
萨拉·卡佩基;伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini 在会话中键入访问控制和安全信息流。 (英语) Zbl 1360.68207号 Inf.计算。 238, 68-105 (2014).MSC公司:64岁以下 68米10 PDF格式BibTeX公司 XML格式引用 \textit{S.Capecchi}等人,《信息计算》。238,68——105(2014年;兹比尔1360.68207) 全文: 内政部