莫德国家公园

maul状态空间简化协议。Maude-NRL协议分析器(Maude-NPA)是一种用于推理密码协议安全性的工具和推理系统。它既扩展了原有的NRL协议分析器,又为其提供了一个形式化的框架,它以更有限的方式支持等式推理。Maude-NPA支持各种各样的代数属性,包括许多感兴趣的加密系统,例如一次性pads和Diffie-Hellman。Maude NPA与原始NPA一样,通过从不安全的攻击状态向后搜索来查找攻击,并假定会话数量无限。由于会话的数量是无限的,并且支持不同的方程理论,因此有必要研究减少搜索空间和避免无限搜索路径的方法。为了保证攻击的安全性,不应仅仅为了保证攻击的完整性,而不应只是为了保证攻击的完整性。本文描述了我们在Maude-NPA中实现的一些状态空间约简技术。我们还提供了完整性证明,以及它们对Maude-NPA性能影响的实验评估。


zbMATH中的参考文献(参考 26篇文章,1标准件)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. 德兰,弗朗西斯科;埃克尔,史蒂文;埃克尔,圣地亚哥;马蒂奥利特,纳西索;梅斯盖尔,何塞;鲁比奥,鲁宾;卡罗琳塔尔科特:莫德的编程和符号计算(2020年)
  2. Meseguer,José:广义重写理论,连贯完成和符号方法(2020)
  3. Mauricio Ayala Rincoón;华盛顿州de Carvalho Segundo;Maribel Fernández;Nantes Sobrinho,Daniele;Rocha Oliveira,Ana Cristina:与A、C和AC功能符号等价的标称(\alpha)形式化(2019年)
  4. Li,Di Long;Tiu,Alwen:结合proverif和自动定理证明器进行安全协议验证(2019)
  5. Aguirre,Luis;MartíOliet,Narciso;Palomino,Miguel;Pita,Isabel:《重写逻辑中的句子规范化条件缩小模》和Maude(2018)
  6. Basin,David;Cremers,Cas;Meadows,Catherine:模型检查安全协议(2018)
  7. Ayala Rincoón,Mauricio;de Carvalho Segundo,华盛顿;Fernández,Maribel;Nantes Sobrinho,Daniele:与A和AC功能符号的标称(\alpha)等价的形式化(2017)
  8. Ayala Rincon,Mauricio;Fernández,Maribel;Nantes Sobrinho,Daniele:具有正规形式和逆的局部稳定理论的入侵者演绎问题(2017)
  9. Baelde,David;Delaune,Stéphanie;Hirschi,Lucca:A reduced semantics for decision trace equivalence(2017年)
  10. Chadha,Rohit;Cheval,Vincent;Ciob–că,Ştefan;Kremer,Steve:密码协议等价性的自动验证(2016)
  11. Aguirre,Luis;MartíOliet,Narciso;Palomino,Miguel;Pita,Isabel:《重写逻辑中的句子规范化条件缩小模》和Maude(2015)
  12. 曼努埃尔·克莱维尔;弗朗西斯科的杜兰;史蒂文的埃克尔;圣地亚哥的埃斯科巴;帕特里克的林肯;纳西索的马蒂奥利特;卡罗琳的塔尔科特:莫德的二十年(2015年)
  13. 圣地亚哥,埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞;圣地亚哥,索尼娅:带有疾病约束的符号协议分析模块等式理论(2015)
  14. Klein,Dominik:PACE与OTS/CafeOBJ的关键秘密(2015)ioport公司
  15. MartíOliet,Narciso;_lveczky,Peter Csaba;Talcott,Carolyn:JoséMeseguer:杰出的科学家和朋友(2015)
  16. 圣地亚哥,埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞;圣地亚哥,索尼亚:莫德NRL协议分析仪的状态空间缩减(2014)
  17. 刘志强;林奇,克里斯托弗:有效的总AGH统一(2014)
  18. Joe Hendrix;JoséMeseguer:Order Socked Equalational unification Review(2012年)
  19. JoséMeseguer:《重写逻辑的二十年》(2012)
  20. 圣地亚哥Escobar;Catherine Meadows;JoséMeseguer:maude NRL协议分析仪中的状态空间缩减(2011)ioport公司