卡斯帕

用于分析安全协议的编译器。Casper是一个程序,它将用一种简单的抽象语言描述安全协议,并生成同一协议的CSP描述,适合使用FDR2进行检查。根据Dolev-Yao模型的假设(即入侵者可能窃听或截获消息,用他知道的密钥解密和加密消息,伪造消息,但不执行任何密码攻击),它可以用来发现对协议的攻击,或证明不存在此类攻击。


zbMATH中的参考文献(参考文献95篇文章)

显示第1到第20个结果,共95个。
按年份排序(引用)
  1. 盆地,大卫;中科院克雷默斯;梅多斯,凯瑟琳:模型检查安全协议(2018)
  2. 克里夫兰,兰斯;罗斯科,A。W、 。;Smolka,Scott A.:过程代数与模型检验(2018)
  3. 曼索,哈菲扎;康斯坦丁诺斯马卡托纳基斯;阿克兰,拉贾·奈姆;梅耶斯,基思;Gurulian,Iakovos:记录您的汽车:可靠的维护服务记录(2017)
  4. 阿尔穆萨,奥马尔;莫德谢姆,塞巴斯蒂安;Viganò,Luca:Alice和Bob:协调正式模型和实现(2015)
  5. 盆地,大卫;凯勒,米歇尔;拉多米罗维奇,萨沙;Sasse,Ralf:Alice和Bob满足等式理论(2015)
  6. 盆地,大卫;中科院克雷默斯;Meier,Simon:可证明的修复ISO/IEC 9798实体认证标准(2012)
  7. 卡斯塔格纳,朱塞佩;迪扎尼-西亚卡格里尼,马里安戈拉;帕多瓦尼,卢卡:关于全球类型和多方会议(2012)
  8. 中科院克雷默斯;Mauw,Sjouke:安全协议的操作语义和验证(2012年)
  9. 哈珀,约瑟夫Y。;Pucella,Riccardo:《安全协议分析逻辑中的对手建模》(2012)
  10. 陆安团;孙军;刘、杨;Dong,Jin Song:SeVe:安全协议验证自动工具(2012)
  11. 帕利卡列娃,赫里斯蒂娜;瓦克宁,乔尔;罗斯科,A。W、 :CSP跟踪优化中的SAT解决(2012)
  12. 张子健;朱烈煌;廖乐建;王明忠:基于双线性对的群密钥交换协议的计算可靠符号安全简化分析(2012)
  13. 阿克兰,拉贾·奈姆;康斯坦丁诺斯马卡托纳基斯;梅耶斯,基思:以用户为中心的智能卡所有权模型中的应用程序绑定协议(2011)
  14. 盆地,大卫;卡洛斯,卡莱罗;拉莫斯,詹姆;Viganò,Luca:用于安全协议模型分析的分布式时态逻辑(2011)
  15. 阿尔迪尼,亚历山德罗;伯纳多,马可;Corradini,Flavio:软件架构设计的过程代数方法(2010)
  16. 骑士,亚尼克;Rusinowitch,Michaël:编译和保护密码协议(2010)
  17. Hasuo,一郎;川边,吉野道彦;樱田,Hideki:通过煤系模拟的概率匿名性(2010)
  18. 帕特尔,里玛;博里萨尼亚,巴维什;帕特尔,阿维;帕特尔,迪伦;拉贾拉詹、穆图克里什南;Zisman,A.:用于安全协议验证的形式化模型检查工具的比较分析(2010)
  19. 美女,罗曼;Palamidessi,Catuscia:匿名性的概率和不确定性方面(2009)
  20. 布瑞安努,约阿纳;科恩,米卡;Lomuscio,Alessio:密码协议时间认知属性的自动验证(2009)