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