爱马仕

此软件的关键字
zbMATH中的参考文献(参考
9篇文章
参考)
Cremers,Cas J.F.;Lafourcade,Pascal;Nadeau,Philippe:在自动安全协议分析中比较状态空间(2009) Boichut,Y.;Héam,P.-C.;Kouchnarenko,O.:基于近似的树正则模型检验(2008) Janvier,Romain;Lakhnech,Yassine;Mazaré,Laurent:使用哈希函数的协议符号分析的计算可靠性(2007) Boichut,Y.;Héam,P.-C.;Kouchnarenko,O.:在安全协议的自动分析中处理代数属性(2006) Zălinescu,Eugen;Cortier,Véronique;Rusinowitch,Michaël:《两个标准保密概念的关联》(2006) Armando,A.;Basin,D.;Boichut,Y.;Chevalier,Y.;Compagna,L.;Cuellar,J.;Hankes-Drielsma,P.;Heám,P.C.;Kouchnarenko,O.;Mantovani,J.;mödersheim,S.;von Oheimb,D.;Rusinowitch,m.;Santiago,J.;Turuani,m.;Viganò,L.;Vigneron,L.:互联网安全协议和应用程序自动验证的Avisa工具(2005年) Cortier,Véronique;Warinschi,Bogdan:安全协议的计算健全的自动证明(2005) Janvier,Romain;Lakhnech,Yassine;Mazaré,Laurent:《完成图片:在活跃对手面前正式加密的可靠性》(2005) Bozga,Liana;Lakhnech,Yassine;Périn,Michaël:HERMES:安全协议保密性验证的自动工具。 (2003年) ioport公司