SATMC公司 swMATH ID: 9469 软件作者: 亚历山德罗·阿曼多(Alessandro Armando)、卢卡·孔帕尼亚(Luca Compagna) 描述: SATMC:基于SAT的安全协议模型检查器。我们提出了SATMC(基于SAT的模型检查器),这是一个开放而灵活的平台,用于安全协议的基于SAT的有界模型检查[8]。在完美密码和强类型的标准假设下,SATMC通过考虑具有有限会话数的场景来对问题进行有界分析,其中消息在基于Dolev-Yao模型的最普通入侵者控制的信道上交换[12]。 主页: http://www.ai-lab.it/satmc/ 相关软件: AVISPA公司;第页,共页;莫德-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) 按年份列出的引文