×

亚帕

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文件

按年份列出的引文