阿维斯帕

avisa(因特网安全协议和应用程序的自动验证)是一个按钮式工具,用于对互联网安全敏感的协议和应用程序进行自动验证。它为指定协议及其安全属性提供了一种模块化和表达形式化的语言,并集成了不同的后端,实现了各种最先进的自动分析技术。


zbMATH中的参考文献,1标准件)

显示84个结果中的1到20个。
按年份排序(引用)
  1. Erbatur,Serdar;Marshall,Andrew M.;Ringeissen,Christophe:子项收敛理论的等式扩展中的计算知识(2020)
  2. Li,Di Long;Tiu,Alwen:结合proverif和自动定理证明器进行安全协议验证(2019)
  3. Abadi,Martín;Blanchet,Bruno;Fournet,Cédric:应用pi演算、移动价值、新名称和安全通信(2018)
  4. Basin,David;Cremers,Cas;Meadows,Catherine:模型检查安全协议(2018)
  5. Liu,Chao Liang;Tsai,Wang Jui;Chang,Ting Yi;Liu,Ta Ming:移动分布式计算环境中基于临时秘密泄漏的安全三方认证密钥协商协议(2018)
  6. Parne,Balu L.;Gupta,Shubham;Chaudhari,Narendra S.:ESAP:移动通信网络中漫游用户的高效安全认证协议(2018)
  7. Ayala Rincon,Mauricio;Fernández,Maribel;Nantes Sobrinho,Daniele:具有正规形式和逆的局部稳定理论的入侵者演绎问题(2017)
  8. Babel,Kushal;Cheval,Vincent;Kremer,Steve:验证等价性时的通信模型(2017)
  9. Baelde,David;Delaune,Stéphanie;Hirschi,Lucca:A reduced semantics for decision trace equivalence(2017年)
  10. Cheval,Vincent;Comon Lundh,Hubert;Delaune,Stéphanie:确定约束系统集合之间符号等价性的程序(2017)
  11. Dreier,Jannik;Duménil,Charles;Kremer,Steve;Sasse,Ralf:状态协议自动验证中的超越子项收敛方程理论(2017)
  12. Kassem,Ali;Falcone,Yliès;Lafourcade,Pascal:电子考试的正式分析和离线监控(2017)
  13. Chadha,Rohit;Cheval,Vincent;Ciob–că,Ştefan;Kremer,Steve:密码协议等价性的自动验证(2016)
  14. Genet,Thomas:树自动机完成的终止标准(2016)
  15. Bain,David;Keller,Michel;Radomirović,Saša;Sasse,Ralf:Alice和Bob meet equational Theory(2015年)
  16. Meadows,Catherine:加密协议分析中形式化方法的新问题和趋势:12年后(2015年)
  17. Sattarzadeh,Behnam;Fallah,Mehran S.:在妥协主体存在的情况下,基于类型的自动注入协议分析(2015)
  18. Arapinis,Myrto;Delaune,Stéphanie;Kremer,Steve:安全协议的动态标签(2014)
  19. Arnaud,Mathilde;Cortier,Véronique;Delaune,Stéphanie:建模和验证自组织路由协议(2014)
  20. Blanchet,Bruno:符号模型中安全协议的自动验证:验证程序ProVerif(2014)