米歇尔·布格列西;里卡多·福卡迪 用于网络安全的通道抽象。 (英语) 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) 全文: 内政部
米歇尔·布格列西;达里奥·科拉佐;西尔维亚·克拉法;马其顿,达米亚诺 一种用于自由访问控制的类型系统。 (英语) Zbl 1172.68043号 数学。结构。计算。科学。 19,第4期,839-875(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,《数学》。结构。计算。科学。19,第4号,839--875(2009;Zbl 1172.68043) 全文: 内政部