飞天螳螂

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


zbMATH中的参考文献(参考文献16条)

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

  1. 贝尔德,大卫;德劳恩,圣潘妮;Hirschi,Lucca:决定轨迹等价性的简化语义(2017)
  2. 雪娃,文森特;科蒙伦德,休伯特;Delaune,Stéphanie:确定约束系统集合之间符号等价性的程序(2017)
  3. 卡西姆,阿里;法尔肯,伊莉丝;Lafourcade,Pascal:电子考试的形式分析和离线监控(2017)
  4. 拉瓦尼亚,M。;Natarajan,V.:LWDSA:无线传感器网络的轻型数字签名算法(2017)
  5. 曼索,哈菲扎;康斯坦丁诺斯马卡托纳基斯;阿克兰,拉贾·奈姆;梅耶斯,基思;Gurulian,Iakovos:记录您的汽车:可靠的维护服务记录(2017)
  6. 厄尔维茨基,彼得·卡萨巴:设计可靠的分布式系统。Maude中基于可执行建模的形式化方法(2017)
  7. 查达,罗希特;雪娃,文森特;Ciob–că,Ştefan;Kremer,Steve:密码协议等价性的自动验证(2016)
  8. Fröschle,Sibylle:因果关系、行为等效性和网络物理系统的安全性(2015)
  9. 孙长爱;王,左一;Wang,Guan:加密程序的基于属性的测试框架(2014)ioport公司
  10. 雪娃,文森特;科蒂埃,维罗尼克;Delaune,Stéphanie:使用约束求解确定基于等价性的属性(2013)
  11. 巴瑟,吉尔;格雷戈耶,本杰明;赫劳德,西尔文;Béguelin,Santiago Zanella:计算机辅助安全性证明(2011)
  12. 盆地,大卫;卡洛斯,卡莱罗;拉莫斯,詹姆;Viganò,Luca:用于安全协议模型分析的分布式时态逻辑(2011)
  13. Cremers,Cas J.F.:Session StateReveal比eCKs EphemeralKeyReveal更强:使用自动分析攻击NAXOS协议(2010)
  14. 克雷默斯,Cas J.F。;拉福卡德,帕斯卡;Nadeau,Philippe:自动安全协议分析中的状态空间比较(2009)
  15. 莫德谢姆,塞巴斯蒂安;Viganò,Luca:安全协议符号分析的开源定点模型检查器(2009)
  16. Cremers,Cas J.F.:镰刀工具:安全协议的验证、伪造和分析。工具书(2008)ioport公司