NRL公司

NRL协议分析器:概述。NRL协议分析器是一个用Prolog编写的原型专用验证工具,用于分析在网络中用于验证主体和服务以及分发密钥的密码协议。本文对该分析仪的工作原理进行了概述,并介绍了它迄今为止所取得的成就。我们还展示了Prolog语言的使用如何使我们在分析器的设计和实现中受益。


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共34个。
按年份排序(引用)
  1. Basin,David;Cremers,Cas;Meadows,Catherine:模型检查安全协议(2018)
  2. Arapinis,Myrto;Duflot,Marie:安全协议中的免费绑定消息--各种安全属性的扩展(2014)
  3. Bella,Giampaolo:《机密性的归纳研究:为每个人》(2014)ioport公司
  4. Blanchet,Bruno:符号模型中安全协议的自动验证:验证程序proverif(2014)
  5. 圣地亚哥,埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞;圣地亚哥,索尼亚:莫德NRL协议分析仪的状态空间缩减(2014)
  6. JoséMeseguer:《重写逻辑的二十年》(2012)
  7. Basin,David;Caleiro,Carlos;Ramos,Jaime;Viganò,Luca:用于安全协议模型分析的分布式时态逻辑(2011)
  8. Chevalier,Yannick;Rusinowitch,Michael:不相交入侵者理论联盟中的符号协议分析:组合决策过程(2010)
  9. Cervesato,Iliano;Scedrov,Andre:通过线性逻辑关联基于状态和基于进程的并发(完整版)(2009)
  10. 圣地亚哥,埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞:莫德NPA:密码协议分析模方程性质(2009)
  11. Mödersheim,Sebastian;Viganò,Luca:用于安全协议符号分析的开源定点模型检查器(2009)
  12. Santiago,S.;Talcott,C.;Escobar,S.;Meadows,C.;Meseguer,J.:maude NPA的图形用户界面(2009)ioport公司
  13. 迈克尔·鲁西诺尔(Michael Rusinier,2008)等级组合理论(Michael Rusinier,2008)
  14. Jeffrey Luzan网络实现(基于Cristian的网络分析;Octarey Rule;2008)
  15. Cervesato,Iliano;Stehr,Mark Oliver:用依赖类型重写逻辑的扩展来表示MSR密码协议规范语言(2007)
  16. Datta,Anupam;Derek,Ante;Mitchell,John C.;Roy,Arnab:协议组合逻辑(PCL)(2007)
  17. Clare Dixon;Mari Carmen Fernández Gago;Fisher,Michael;van der Hoek,Wiebe:知识的时间逻辑及其在安全中的应用(2007)
  18. 埃斯科巴,圣地亚哥;梅斯盖尔,何塞;塔蒂,普拉桑纳:缩小和重写逻辑:从基础到应用(2007)
  19. Meseguer,José;Thati,Prasanna:符号可达性分析及其在密码协议验证中的应用(2007)
  20. Cervesato,Iliano;Scedrov,Andre:通过线性逻辑关联基于状态和基于进程的并发(2006)