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

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）