爱马仕

HERMES：安全协议保密性验证的自动工具。密码学不足以实现秘密的安全交换或认证。协议设计中的逻辑缺陷可能导致错误行为，即使在理想的完美密码假设下也是如此。大多数协议验证工具都是模型检查工具，用于有限数量的会话、有限数量的参与者，而且在许多情况下也有有限大小的消息[11,8,5,10]。一般来说，它们用于发现密码协议中的缺陷。相反，基于归纳法和定理证明的工具提供了一种通用的证明策略[9,4]，但它们要么不是自动的，除非[4]，要么不能保证终止。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考 9篇文章 参考）

显示第1到第9个结果，共9个。
按年份排序(引用)

  1. Cremers，Cas J.F.；Lafourcade，Pascal；Nadeau，Philippe:在自动安全协议分析中比较状态空间（2009）
  2. Boichut，Y.；Héam，P.-C.；Kouchnarenko，O.：基于近似的树正则模型检验（2008）
  3. Janvier，Romain；Lakhnech，Yassine；Mazaré，Laurent:使用哈希函数的协议符号分析的计算可靠性（2007）
  4. Boichut，Y.；Héam，P.-C.；Kouchnarenko，O.：在安全协议的自动分析中处理代数属性（2006）
  5. Zălinescu，Eugen；Cortier，Véronique；Rusinowitch，Michaël：《两个标准保密概念的关联》（2006）
  6. 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年）
  7. Cortier，Véronique；Warinschi，Bogdan:安全协议的计算健全的自动证明（2005）
  8. Janvier，Romain；Lakhnech，Yassine；Mazaré，Laurent：《完成图片：在活跃对手面前正式加密的可靠性》（2005）
  9. Bozga，Liana；Lakhnech，Yassine；Périn，Michaël:HERMES：安全协议保密性验证的自动工具。（2003年）ioport公司