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文件 全部的 前5名26位作者引用 三 卢卡·孔帕尼亚 2 阿尔萨克,维赫姆 2 詹保罗·贝拉 2 泽维尔·尚特里 2 凯瑟琳·梅多斯。 1 亚历山德罗·阿曼多 1 盆地,D。 1 David A.Basin。 1 尤罕·博伊库特 1 亚尼克·骑士 1 克雷默斯,Cas J.F。 1 豪尔赫·库勒 1 圣地亚哥埃斯科瓦尔 1 Fröschle,Sibylle B。 1 保罗·汉克斯·德里尔斯玛 1 海姆,皮尔雷·科里尔 1 奥尔加·库什纳伦科 1 雅各布·曼托瓦尼 1 何塞·梅塞盖尔·瓜伊塔 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 米歇尔·鲁西诺维奇 1 斯蒂尔,格雷厄姆 1 马修·图鲁阿尼 1 卢卡·维甘诺 1 劳伦·维格纳龙 1 大卫·冯·奥海姆 连载1篇 1 自动推理杂志 在2个字段中引用 5 计算机科学(68-XX) 4 信息与通信理论、电路(94-XX) 按年份列出的引文