飞天螳螂

scyther工具:安全协议的验证、伪造和分析。随着互联网和其他开放网络的兴起,为了提供安全通信,大量的安全协议被开发和部署。对这些安全协议的分析对人类来说是极其困难的,正如许多协议在部署后被发现有缺陷的事实所证明的那样。这推动了安全协议形式化分析的研究。不幸的是,目前还没有有效的方法来构造正确有效的协议,并且关于简洁的形式逻辑的工作仍在进行中,这种逻辑可以使人们很容易地证明协议在形式模型中是正确的。到目前为止,最有效的方法是使用最先进的工具,如ProVerif[1]或avisa工具[2]自动伪造或验证此类协议。这些工具在发现协议攻击(Avispa)或建立协议的正确性(ProVerif)方面都是有效的。


zbMATH参考文献(16篇文章引用)

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

  1. Baelde,David;Delaune,Stéphanie;Hirschi,Lucca:A reduced semantics for decision trace equivalence(2017年)
  2. Cheval,Vincent;Comon Lundh,Hubert;Delaune,Stéphanie:确定约束系统集合之间符号等价性的程序(2017)
  3. Kassem,Ali;Falcone,Yliès;Lafourcade,Pascal:电子考试的正式分析和离线监控(2017)
  4. Lavanya,M.;Natarajan,V.:LWDSA:无线传感器网络的轻型数字签名算法(2017)
  5. Mansor,Hafizah;Markantonakis,Konstantinos;Akram,Raja Naeem;Mayes,Keith;Gurulian,Iakovos:记录您的汽车:可靠的维护服务记录(2017年)
  6. 厄尔维茨基,彼得·卡萨巴:设计可靠的分布式系统。Maude中基于可执行建模的形式化方法(2017)
  7. Chadha,Rohit;Cheval,Vincent;Ciob–că,Ştefan;Kremer,Steve:密码协议等价性的自动验证(2016)
  8. Fröschle,Sibylle:因果关系、行为等效性和网络物理系统的安全性(2015)
  9. 孙常爱;王作义;王,关:基于属性的加密程序测试框架(2014)ioport公司
  10. Cheval,Vincent;Cortier,Véronique;Delaune,Stéphanie:使用约束求解确定基于等价性的属性(2013)
  11. Gilles Barthe;Benjamin Grégoire;Heraud,Sylvain;Béguelin,Santiago Zanella:工作密码学家的计算机辅助安全证明(2011)
  12. Basin,David;Caleiro,Carlos;Ramos,Jaime;Viganò,Luca:用于安全协议模型分析的分布式时态逻辑(2011)
  13. Cremers,Cas J.F.:Session StateReveal比eCKs EphemeralKeyReveal更强:使用自动分析攻击NAXOS协议(2010)
  14. Cremers,Cas J.F.;Lafourcade,Pascal;Nadeau,Philippe:在自动安全协议分析中比较状态空间(2009)
  15. 塞巴斯蒂安安全分析的符号源代码;塞巴斯蒂安安全分析
  16. Cremers,Cas J.F.:镰刀工具:安全协议的验证、伪造和分析。工具书(2008)ioport公司