雅帕

YAPA:一个计算入侵者知识的通用工具。在许多安全协议的形式化分析中,对攻击者的知识进行推理是必不可少的一步。在应用pi演算的框架中,如同基于等式逻辑的类似语言一样,知识通常由两种关系表示:可推性和静态等价性。在各种等式理论的指导下,人们已经为这些关系提出了几种决策程序。然而,每种理论都有其特定的算法,迄今为止还没有一种算法被实现。我们提供了一个可推导性和静态等价性的通用过程,它将任何收敛重写系统作为输入。我们证明我们的算法涵盖了所有现有的收敛理论的决策过程。我们还提供了一个有效的实现,并将其与更通用的工具ProVerif进行了简要的比较。


zbMATH参考文献(参考 18篇文章 参考,标准条款2)

显示第1至18个结果,共18个。
按年份排序(引用)

  1. Abadi,Martín;Blanchet,Bruno;Fournet,Cédric:应用pi演算、移动价值、新名称和安全通信(2018)
  2. Basin,David;Cremers,Cas;Meadows,Catherine:模型检查安全协议(2018)
  3. Arapinis,Myrto;Liu,Jia;Ritter,Eike;Ryan,Mark:Stateful applied pi演算:观测等效性和标记双相似性(2017)
  4. Ayala Rincon,Mauricio;Fernández,Maribel;Nantes Sobrinho,Daniele:具有正规形式和逆的局部稳定理论的入侵者演绎问题(2017)
  5. Delaune,Stéphanie;Hirschi,Lucca:在密码协议中建立基于等价属性的符号方法综述(2017)
  6. Chadha,Rohit;Cheval,Vincent;Ciob–că,Ştefan;Kremer,Steve:密码协议等价性的自动验证(2016)
  7. Baudet,Mathieu;Cortier,Véronique;Delaune,Stéphanie:YAPA:计算入侵者知识的通用工具(2013)
  8. Chadha,Rohit;Ciob–că,Ştefan;Kremer,Steve:密码协议等价性的自动验证(2012)
  9. Ciob–că,Ştefan;Delaune,Stéphanie;Kremer,Steve:收敛方程理论下的安全协议计算知识(2012)
  10. Steve Kremer;Antoine Mercier;Treinen,Ralf:《静态等效决策的简化等式理论》(2012)
  11. Berrima,Mouhebeddine;Ben Rajeb,Narjes;Cortier,Véronique:在一些电子投票理论下决定安全协议的知识(2011)
  12. Conchinha,Bruno;Basin,David A.;Caleiro,Carlos:FAST:演绎和静态等效的有效决策程序(2011)
  13. Baudet,Mathieu;Cortier,Véronique;Delaune,Stéphanie:YAPA:计算入侵者知识的通用工具(2010)ioport公司
  14. Chevalier,Yannick;Rusinowitch,Michaël:编译和安全加密协议(2010)
  15. Cheval,Vincent;Comon Lundh,Hubert;Delaune,Stéphanie:自动化安全分析:约束系统的符号等价性(2010)
  16. Baudet,Mathieu;Cortier,Véronique;Delaune,Stéphanie:YAPA:计算入侵者知识的通用工具(2009)
  17. Ciob–că,Ştefan;Delaune,Stéphanie;Kremer,Steve:收敛方程理论下的安全协议计算知识(2009)
  18. 圣地亚哥,埃斯科巴;梅多斯,凯瑟琳;梅斯盖尔,何塞:莫德NPA:密码协议分析模方程性质(2009)