卡斯珀

用于分析安全协议的编译器。Casper是一个程序,它将以简单、抽象的语言描述安全协议,并产生同一协议的CSP描述,适合于使用FDR2进行检查。它可以被用来发现对协议的攻击,或者显示没有这样的攻击存在,服从Dolev Yao模型的假设(即入侵者可以窃听或拦截消息,解密和加密消息,他知道,和假消息,但不执行任何密码攻击)。


ZBMaCT中的参考文献(95篇文章中引用)

显示结果1至20的95。
按年份排序(引文
  1. 盆地,戴维,CurMeS,CAS;Meadows,凯瑟琳:模型检验安全协议(2018)
  2. 克利夫兰,兰斯;罗斯科,A. W.;Smolka,Scott A.:过程代数和模型检验(2018)
  3. Mansor,Hafizah;Markantonakis,康斯坦丁诺斯;Akram,Raja Naeem;Mayes,基思;顾汝连,IAKOVOS:记录你的汽车:可靠的维修服务记录(2017)
  4. Almousa,奥玛尔;M·德舍姆,塞巴斯蒂安;维甘,卢卡:爱丽丝和鲍伯:协调形式模型和实现(2015)
  5. 盆地,戴维;凯勒,米歇尔;拉托米洛维奇,萨亚;萨斯,拉尔夫:爱丽丝和鲍勃相遇等式理论(2015)
  6. 盆地,戴维;CurMeS,CAS;迈耶,西蒙:可证明修复ISO/IEC 9798标准的实体认证(2012)
  7. 卡斯塔纳,朱塞佩;Dezani Ciancaglini,Mariangiola;Padovani,卢卡:关于全球类型和多党会议(2012)
  8. CasMeS,CAS;Mauw,SjouKe:安全协议的操作语义和验证。(2012)
  9. 哈尔彭,Joseph Y.;Pucella,里卡尔多:安全协议分析逻辑中的对手建模(2012)
  10. 卢,Anh Tuan;孙军;刘,杨;Dong,金松:SEVE:安全协议验证自动化工具(2012)
  11. Palikareva,Histina,Ouknin,Jo.l;罗斯科,A. W.:CSP痕迹细化中的SAT求解(2012)
  12. 张,Zijian;朱,Liehuang;Liao,Lejian;王,明中:使用双线性对的组密钥交换协议计算声音符号安全性分析(2012)
  13. Akram,Raja Naeem;Markantonakis,康斯坦丁诺斯;Mayes,基思:应用绑定协议在以用户为中心的智能卡所有权模型中的应用(2011)
  14. 流域,戴维;Caleiro,卡洛斯;拉莫斯,雅伊姆;维甘,卢卡:用于分析安全协议模型的分布式时态逻辑(2011)
  15. Aldini,Alessandro;伯纳多,马珂;科拉迪尼,FLavio:软件体系结构设计的过程代数方法(2010)
  16. 查瓦里埃,扬妮克;RusioWoigy,米莎·L:编译和保护密码协议(2010)
  17. Hasuo,一郎,川边,吉祥,樱田,HIDEK:通过GuangGuric模拟的概率匿名性(2010)
  18. 帕特尔,Reema;Borisaniya,巴威石;帕特尔,AVI;帕特尔,Dhiren;拉贾拉扬,Muttukrishnan;ZISMAN,A.安全协议验证的形式模型检查工具的比较分析(2010)
  19. Beauxis,Romain;PalAMIDESSI,CutsCIA:匿名性的概率和非确定性方面(2009)
  20. Boureanu,Ioana;科恩,米卡;LoMISOCIO,Alessio:密码协议时间认知特性的自动验证(2009)