规格 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公司;阿贝拉;贝德维尔;mCRL2型;西尔文;M-树;BISIMULATOR(双模拟);SIGREF公司;CAESAR_解决;MRMC公司;Exp.未结;LTSmin公司;APNN-工具箱;fc2工具;TVT电视;并发工作台;Uppaal公司;棱镜;VERSA公司 引用于: 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) 2 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 按年份列出的引文