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

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）