论文信息 - Protocols VI: Deductive Analysis Methods (Part I) - 字舞流文

Protocols VI: Deductive Analysis Methods (Part I)

Sebastian Mödersheim | Christoph Sprenger

[1] Lawrence C. Paulson,et al. The Inductive Approach to Verifying Cryptographic Protocols , 2021, J. Comput. Secur..

[2] Giampaolo Bella,et al. Formal Correctness of Security Protocols , 2007 .