亚帕 swMATH ID: 2739 软件作者: 马修·波德特;科蒂尔、维罗尼克;斯特凡尼德劳恩 描述: YAPA:计算入侵者知识的通用工具。在许多安全协议的形式化分析中,推理攻击者的知识是必要的一步。在应用pi-calculus的框架中,就像在基于等式逻辑的类似语言中一样,知识通常由两种关系表示:演绎性和静态等价性。在各种方程式理论下,针对这些关系提出了几种决策程序。然而,每种理论都有其特定的算法,到目前为止还没有实现过。我们提供了一个用于演绎和静态等价的通用程序,该程序将任何收敛重写系统作为输入。我们表明,我们的算法涵盖了收敛理论的所有现有决策过程。我们还提供了一个高效的实现,并将其与更通用的工具ProVerif进行了简要比较。 主页: http://www.lsv.ens-cachan.fr/~baudet/yapa/ 相关软件: AVISPA公司;阿基斯;莫德NPA;ProVerify公司;快速;OFMC公司;SATMC公司;NRL公司;卡斯珀;莫德;CoSP公司;自旋蛋白;棱镜;CiME公司;飞天螳螂;塔马林;阿普特;LALBLC公司 引用于: 18文件 标准条款 2出版物描述软件,包括2出版物在zbMATH中 年份 YAPA:计算入侵者知识的通用工具。 Zbl 1353.68019号马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 2013 YAPA:计算入侵者知识的通用工具。 兹比尔1242.94018马修·波德特;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 2009 全部的 前5名35位作者引用 6 斯特凡尼德劳恩 5 史蒂夫·克莱默 4 瑟·特凡·乔巴赫 三 维罗尼克·科尔蒂尔 2 David A.Basin。 2 马修·波德特 2 罗希特·查达 2 文森特·雪瓦尔 2 凯瑟琳·梅多斯。 1 马丁·阿巴迪 1 迈托·阿拉皮尼斯 1 毛里西奥·阿亚拉·林科恩 1 纳杰斯·本·拉杰布 1 穆赫贝丁·贝里玛 1 布鲁诺·布兰切特 1 卡洛斯·卡莱罗 1 亚尼克·骑士 1 休伯特·科蒙·隆德 1 布鲁诺海参 1 克雷默斯,Cas J.F。 1 塞尔达尔·埃尔巴图尔 1 圣地亚哥埃斯科瓦尔 1 费尔南德斯,马里贝尔 1 塞德里克,福内特 1 卢卡赫希 1 刘佳 1 安德鲁·马歇尔。 1 安托万·梅西耶 1 何塞·梅塞盖尔·瓜伊塔 1 克里斯托夫·林盖森 1 艾克·里特 1 米歇尔·鲁西诺维奇 1 莱恩,马克·德莫特 1 Daniele Nantes Sobrinho 1 拉尔夫·特雷宁 全部的 前5名8篇连载文章中引用 2 自动推理杂志 2 ACM计算逻辑事务 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 1 美国计算机学会期刊 1 RAIRO公司。理论信息学及其应用 在3个字段中引用 17 计算机科学(68至XX) 13 信息与通信理论、电路(94-XX) 三 数学逻辑和基础(03-XX) 按年份列出的引文