×

SATMC公司

swMATH ID: 9469
软件作者: 亚历山德罗·阿曼多(Alessandro Armando)、卢卡·孔帕尼亚(Luca Compagna)
描述: SATMC:基于SAT的安全协议模型检查器。我们提出了SATMC(SAT-based Model Checker),这是一个开放且灵活的平台,用于安全协议的基于SAT的有界模型检查[8]。在完美密码和强类型的标准假设下,SATMC通过考虑具有有限会话数的场景来对问题进行有界分析,其中消息在基于Dolev-Yao模型的最普通入侵者控制的信道上交换[12]。
主页: 网址:http://www.ai-lab.it/satmc/
相关软件: AVISPA公司;OFMC公司;莫德-NPA;NRL公司;卡斯珀;莫德;亚帕;ProVerify公司;自旋蛋白;棱镜;图规划;PDDL公司;;亚萨特;TLA公司;爱马仕
引用于: 6文件

连载1篇

1 自动推理杂志

按年份列出的引文