萨拉·卡佩基;伊利亚州卡斯特拉尼;Dezani Ciancaglini,马里亚焦拉 多方会话中的信息流安全。 (英语) Zbl 1362.68204号 数学。结构。计算。科学。 26,第8期,1352-1394(2016).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Capecchi}等人,《数学》。结构。计算。科学。26,第8号,1352--1394(2016;Zbl 1362.68204) 全文: 内政部
米歇尔·布格列西;里卡多·福卡迪 用于网络安全的通道抽象。 (英语) Zbl 1191.68269号 数学。结构。计算。科学。 20,第1期,第3-44页(2010年).MSC公司:68第25页 68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}和\textit{R.Focardi},数学。结构。计算。科学。20,第1号,第3-44号(2010;Zbl 1191.68269) 全文: 内政部