新南威尔士大学

NRL协议分析仪概述NRL协议分析器是一种原型专用验证工具,用PROlog编写,它已被开发用于分析用于认证主体和服务并在网络中分发密钥的密码协议。本文概述了该分析仪的工作原理,并对其取得的成果进行了描述。我们还展示了我们如何使用Prolog语言有助于我们在分析仪的设计和实现。


ZBMaX中的参考文献(34篇)1标准条款

显示结果1至20的34。
按年份排序(引文
  1. 盆地,戴维,CurMeS,CAS;Meadows,凯瑟琳:模型检验安全协议(2018)
  2. Arapinis,Myrto;Duflot,玛丽:安全协议中的免费绑定消息——扩展到各种安全属性(2014)
  3. 贝拉,Giampaolo:机密性的归纳研究:对每个人(2014)伊波尔特
  4. 布兰切特,布鲁诺:符号模型中安全协议的自动验证:验证者PROVIEF(2014)
  5. Escobar,圣地亚哥;Meadows,凯瑟琳;MeeGuer-Joee;圣地亚哥,索尼亚:MADUD NRL协议分析器中的状态空间缩减(2014)
  6. 梅塞格,乔斯:重写逻辑的二十年(2012)
  7. 流域,戴维;Caleiro,卡洛斯;拉莫斯,雅伊姆;维甘,卢卡:用于分析安全协议模型的分布式时态逻辑(2011)
  8. 谢瓦里埃、扬妮克、Rusinowitch、米迦勒:不相交闯入者理论结合的符号协议分析:结合决策过程(2010)
  9. Cervesato,Iliano;ScEdROV,安德烈:通过线性逻辑(基于完全版本)的基于状态和过程的并发关系(2009)
  10. Escobar,圣地亚哥;Meadows,凯瑟琳;MeeGuer-Joe: MaordNPA:密码协议分析模等式性质(2009)
  11. 塞巴斯蒂安,维甘,卢卡:安全协议符号分析的开源定点模型检查器(2009)
  12. 圣地亚哥,S,TalCOTT,C;ESCOBAR,S;Meadows,C;MeeGuer-J,J.:MADUD NPA的图形用户界面(2009)伊波尔特
  13. 查韦尔、扬妮克、Rusinowitch、米迦勒:入侵者理论的等级组合(2008)
  14. 欧德里,屋大维;LuMeZaNu,克里斯蒂安;Foster,Jeffrey S.:基于规则的静态协议网络协议分析(2008)
  15. Cervesato,Iliano;StHER,Mark Oliver:在依赖类型重写逻辑的扩展中表示MSR密码协议规范语言(2007)
  16. 达塔,阿努帕姆;德里克,ANTE;米切尔,John C.;罗伊,Arnab:协议合成逻辑(PCL)(2007)
  17. 狄克逊,克莱尔;Gago,马里·卡门·费恩南德斯;Fisher,米迦勒;van der Hoek,van der Hoek:知识的时间逻辑及其在安全中的应用(2007)
  18. Escobar,圣地亚哥;梅塞格,约瑟夫;Prasanna,狭义和改写逻辑:从基础到应用(2007)
  19. MaseGuer-Joe: THATI,Prasanna:利用窄化的符号可达性分析及其在密码协议验证中的应用(2007)
  20. Cervesato,Iliano;ScEdROV,安德烈:通过线性逻辑将基于状态和过程的并发性联系起来(2006)