爱马仕 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文件 全部的 前5名25位作者引用 三 尤罕·博伊库特 三 海姆,皮尔雷·科里尔 三 奥尔加·库什纳伦科 2 维罗尼克·科尔蒂尔 2 罗曼·贾维尔 2 亚辛·拉赫内奇 2 劳伦特·马萨雷 2 米歇尔·鲁西诺维奇 1 亚历山德罗·阿曼多 1 盆地,D。 1 亚尼克·骑士 1 卢卡·孔帕尼亚 1 克雷默斯,Cas J.F。 1 豪尔赫·库勒 1 保罗·汉克斯·德里尔斯玛 1 帕斯卡·拉福卡德 1 雅各布·曼托瓦尼 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 菲利普·纳多 1 马修·图鲁阿尼 1 卢卡·维甘诺 1 劳伦·维格纳龙 1 大卫·冯·奥海姆 1 沃林斯基,博格丹 1 尤根·兹利内斯库 连载1篇 1 北欧计算机杂志 在2个字段中引用 8 计算机科学(68-XX) 4 信息与通信理论、电路(94-XX) 按年份列出的引文