伊万·西布拉里奥·贝尔托洛蒂;卢卡·杜兰特;里卡多·西斯托;阿德里亚诺·瓦伦扎诺 在密码协议分析中高效表示攻击者的知识。 (英文) Zbl 1147.68499号 正式Asp。计算。 20,编号303-348(2008).MSC公司:68第25页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{I.C.Bertolotti}等人,《形式Asp》。计算。20,第3号,303--348(2008;Zbl 1147.68499) 全文: 内政部
伊万·西布拉里奥·贝尔托洛蒂;卢卡·杜兰特;里卡多·西斯托;阿德里亚诺·瓦伦扎诺 利用对称性测试spi演算中的等价性验证。 (英文) Zbl 1096.68048号 发现的国际期刊。计算。科学。 17,第4期,815-832(2006).MSC公司:68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{I.C.Bertolotti}等人,国际期刊发现。计算。科学。17,第4号,815--832(2006;Zbl 1096.68048) 全文: 内政部