爱马仕

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


zbMATH中的参考文献(参考文献9条)

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

  1. 克雷默斯,Cas J.F。;拉福卡德,帕斯卡;Nadeau,Philippe:自动安全协议分析中的状态空间比较(2009)
  2. 博伊丘特,Y。;Héam,P.-C。;Kouchnarenko,O.:基于近似的树正则模型检验(2008)
  3. 詹维尔,罗曼;亚辛·拉赫尼奇;Mazaré,Laurent:使用哈希函数的协议符号分析的计算可靠性(2007)
  4. 博伊丘特,Y。;Héam,P.-C。;Kouchnarenko,O.:在安全协议的自动分析中处理代数性质(2006)
  5. Zălinescu,尤金;科蒂埃,维罗尼克;米夏埃尔·鲁西诺维奇:《两个标准保密概念的关联》(2006)
  6. 阿曼多,A。;盆地,D。;博伊丘特,Y。;骑士,Y。;康巴尼亚,L。;库利亚尔,J。;汉克斯·德里斯玛,P。;赫姆,中华人民共和国。;库什纳连科,O。;曼托瓦尼,J。;Mödersheim,S。;冯·奥海姆博士。;Rusinovitch,M。;圣地亚哥,J。;图鲁阿尼,M。;维根,L。;Vigneron,L.:互联网安全协议和应用程序自动验证的Avisa工具(2005)
  7. 科蒂埃,维罗尼克;沃林斯基,博格丹:安全协议的计算健全的自动证明(2005)
  8. 詹维尔,罗曼;亚辛·拉赫尼奇;马扎雷,劳伦特:完成图片:在主动对手面前正式加密的可靠性(2005)
  9. 波兹加,莉安娜;亚辛·拉赫尼奇;Périn,Michaël:HERMES:安全协议保密性验证的自动工具。(2003年)ioport公司