爱马仕

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

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaCT中的参考文献（9篇文章中引用）

显示结果1至9的9。
按年份排序（引文）

  1. 克雷默斯，Cas J. F.；Lafourcade，Pascal；纳多，菲利普：自动安全协议分析中的状态空间比较（2009）
  2. Boichut，Y.；HeaAM，P.C.；Kouchnarenko，O.：基于近似的树规则模型检验（2008）
  3. 让维耶，Romain；Lahhnink，Yassine；马扎尔，劳伦特：使用散列函数的协议符号分析的计算稳健性（2007）
  4. Boichut，Y，HeaAM，P.C.；Kouchnarenko，O：处理安全协议自动分析中的代数性质（2006）
  5. Z·列内斯库，欧根；科蒂埃，维罗尼克；鲁辛诺维奇，米莎·L：涉及两个标准保密概念（2006）
  6. 阿曼多，A.，Basin，D；Boichut，Y.；CopaGNA，L.；CuLAL，J；Hankes Drielsma，P；Heam，P. C.；Kouchnarenko，O.；曼托瓦尼，J；M.DoSeimm，S.；von Oheimb，D；Rusinowitch，M；圣地亚哥，J，Turuani，M；维甘，L；Vigelon，L.：用于互联网安全协议和应用的自动验证的AVISPA工具（2005）
  7. 科蒂埃，V·罗尼克，华林西，波格丹：计算声音，安全协议的自动证明（2005）
  8. 让维耶，Romain；拉克内奇，Yassine；马扎尔，劳伦特：完成图片：在存在主动敌人的情况下正式加密的合理性（2005）
  9. BoZGA，Liana；LaknnCh，Yassine；Payrin，米莎L：爱马仕：一种用于验证安全协议中的保密性的自动化工具。（2003）伊波尔特