规格 swMATH ID: 20606 软件作者： A.Tiu 描述： SPEC（Spi-calculus Equivalence Checker的缩写）是针对Abadi和Gordon的Spi-calcuus版本的等价检查器。spi-calculus被用于对安全协议进行编码，并且通过观察等价的概念，被用于推理安全属性，如保密性和身份验证。SPEC基于Alwen Tiu和Jeremy Dawson的论文（在2010年IEEE计算机安全基础研讨会上提出）实现了一个过程等价性检查过程。SPEC是在Bedwyr逻辑框架的修改版本之上实现的。修改后的Bedwyer代码包含在这个发行版中。 主页： http://users.cecs.anu.edu.au/~ tiu/规格/ 相关软件： 阿克斯;MWB公司;阿贝拉;贝德维尔;西尔文;M-树;BISIMULATOR（双模拟）;SIGREF公司;CAESAR_解决;MRMC公司;Exp.未结;LTSmin公司;APNN-工具箱;fc2工具;TVT电视;并发工作台;Uppaal公司;棱镜;VERSA公司;微CRL 引用于： 9文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 SPEC：安全协议的等价检查程序。 Zbl 1483.68050号Tiu，Alwen先生;南阮;罗斯·霍恩 2016 全部的 前5名12位作者引用 5 罗斯·霍恩 三 绍克·莫 2 阿文·费南托（Alwen Fernanto Tiu） 2 塞门·尤尔科夫 1 安基永 1 大卫·巴尔德 1 斯特凡尼德劳恩 1 休伯特·加拉维 1 卢卡·赫斯基 1 Atsushi Igarashi 1 弗雷德里克·朗 1 戴尔·艾伦·米勒 4篇连载文章中引用 三 计算机科学中的逻辑方法 1 理论计算机科学 1 自动推理杂志 1 计算机科学讲义 在4个字段中引用 9 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 按年份列出的引文