马蒂厄·波德;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 YAPA:计算入侵者知识的通用工具。 (英语) Zbl 1353.68019号 ACM事务处理。计算。日志。 第14号第1条第4条第32页(2013年). 引用于5文件 MSC公司: 68个M12 网络协议 2012年第68季度 语法和重写系统 60年第68季度 规范和验证(程序逻辑、模型检查等) 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 94A60型 密码学 关键词:形式证明;扣除;安全协议;静态等效;验证 软件:ProVerify公司;AVISPA公司;亚帕 PDF格式BibTeX公司 XML格式引用 \textit{M.Baudet}等人,ACM Trans。计算。日志。14,第1号,第4条,32页(2013;Zbl 1353.68019) 全文: 内政部