×

爱马仕

swMATH ID: 403
软件作者: Bozga,L.、Lakhnech,Y.、Perin,M。
描述: HERMES:安全协议中用于验证机密性的自动工具。加密技术不足以实现秘密的安全交换或身份验证。即使在完美密码的理想假设下,协议设计中的逻辑缺陷也可能导致不正确的行为。大多数协议验证工具都是用于有界会话数、有界参与者数以及在许多情况下有界消息大小的模型检查工具[11,8,5,10]。通常,它们用于发现密码协议中的缺陷。相反,基于归纳和定理证明的工具提供了一种通用的证明策略[9,4],但除[4]外,它们要么不是自动的,要么不保证终止。
主页: http://link.springer.com/chapter/10.1007/978-3-540-45069-6_23
相关软件: AVISPA公司;卡斯珀;廷布克;简单APL;伊莎贝尔/采埃孚;飞天螳螂;SATMC公司;OFMC公司;TLA公司
引用于: 8文件

按年份列出的引文