萨拉·卡佩基;伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini 在会话中键入访问控制和安全信息流。 (英语) Zbl 1360.68207号 Inf.计算。 238, 68-105 (2014).MSC公司:64岁以下 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{S.Capecchi}等人,《信息计算》。238,68——105(2014年;兹比尔1360.68207) 全文: 内政部
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪 边界环境中的信息流安全。 (英语) Zbl 1147.68330号 Inf.计算。 206,编号2-4,460-489(2008).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人,《信息计算》。206,编号2--4,460-489(2008;Zbl 1147.68330) 全文: 内政部
苏珊娜·安多瓦;Cremers,卡斯;克里斯蒂安·戈斯汀;绍克·莫;Mjölsnes,Stig F。;萨沙拉多米罗维奇 用于安全协议的组合验证的框架。 (英语) Zbl 1147.68389号 Inf.计算。 206,编号2-4,425-459(2008).MSC公司:68个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Andova}等人,《信息计算》。206,编号:2-4425-459(2008年;兹bl 1147.68389) 全文: 内政部 链接
西尔维亚·克拉法;萨宾娜·罗西 控制\(\pi\)演算中的信息发布。 (英语) Zbl 1121.68079号 Inf.计算。 205,第8期,1235-1273(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Crafa}和\textit{S.Rossi},Inf.Comput。205,第8号,1235--1273(2007;Zbl 1121.68079) 全文: 内政部
弗兰西斯卡,李维;塞尔吉奥·马菲斯 关于移动环境的抽象解释。 (英语) Zbl 1078.68096号 Inf.计算。 188,第2期,179-240(2004).MSC公司:第68季度55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Levi}和\textit{S.Maffeis},信息计算。188,第2号,179--240(2004;Zbl 1078.68096) 全文: 内政部