阿维斯帕

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


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

显示88个结果中的1到20个。
按年份排序(引用)
  1. 科蒂埃,维罗尼克;德劳恩,圣潘妮;Sundararajan,Vaishnavi:一类可判定的安全协议,同时具有可达性和等价性(2021)
  2. Szymoniak,Sabina:包括各种时间参数的安全协议分析(2021)
  3. 埃尔巴图,塞尔达尔;马歇尔,安德鲁M。;Ringeissen,Christophe:子项收敛理论的等式扩展中的计算知识(2020)
  4. 李迪龙;Tiu,Alwen:结合proverif和自动定理证明器进行安全协议验证(2019)
  5. 阿巴迪,马丁;布兰切特,布鲁诺;Fournet,Cédric:应用pi演算、移动价值、新名称和安全通信(2018)
  6. 盆地,大卫;中科院克雷默斯;梅多斯,凯瑟琳:模型检查安全协议(2018)
  7. Genet,Thomas:树自动机完成的完备性(2018)
  8. 刘朝亮;蔡、王珏;张婷仪;Liu,Ta Ming:移动分布式计算环境中基于临时秘密泄漏的三方认证密钥协商协议(2018)
  9. 帕恩,巴鲁。;古普塔、舒巴姆;Chaudhari,Narendra S.:ESAP:移动通信网络中漫游用户的高效安全认证协议(2018)
  10. 毛里西奥·阿亚拉·林克翁;费尔南德斯,玛丽贝尔;Nantes Sobrinho,Daniele:具有正规形式和逆的局部稳定理论的入侵者演绎问题(2017)
  11. 巴别塔,贵霜;雪娃,文森特;Kremer,Steve:验证等价性时的通信模型(2017)
  12. 贝尔德,大卫;德劳恩,圣潘妮;Hirschi,Lucca:决定轨迹等价性的简化语义(2017)
  13. 雪娃,文森特;科蒙伦德,休伯特;Delaune,Stéphanie:确定约束系统集合之间符号等价性的程序(2017)
  14. 德雷尔,詹尼克;杜梅尼尔,查尔斯;克莱默,史蒂夫;Sasse,Ralf:状态协议自动验证中的超越子项收敛方程理论(2017)
  15. 卡西姆,阿里;法尔肯,伊莉丝;Lafourcade,Pascal:电子考试的形式分析和离线监控(2017)
  16. 查达,罗希特;雪娃,文森特;Ciob–că,Ştefan;Kremer,Steve:密码协议等价性的自动验证(2016)
  17. Genet,Thomas:树自动机完成的终止标准(2016)
  18. 盆地,大卫;凯勒,米歇尔;拉多米罗维奇,萨沙;Sasse,Ralf:Alice和Bob满足等式理论(2015)
  19. Meadows,Catherine:加密协议分析中形式化方法的新问题和趋势:12年后(2015年)
  20. 萨塔尔扎德,贝南;Fallah,Mehran S.:妥协委托人存在下基于类型的注入协议自动分析(2015)