Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif 论文

2016Foundations and Trends® in Privacy and Security引用 289
DOIPDF
Advanced Authentication Protocols SecurityUser Authentication and Security SystemsCryptographic Implementations and Security
Cryptographic Implementations and SecurityUser Authentication and Security SystemsAdvanced Authentication Protocols Security
关系图谱

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif · 作者

B

Bruno Blanchet