Casper: a compiler for the analysis of security protocols 论文

2002Journal of Computer Security引用 308
DOI
Advanced Authentication Protocols SecurityUser Authentication and Security SystemsSecurity and Verification in Computing
网络安全Security and Verification in ComputingFormal Methods in VerificationSafety Systems Engineering in Autonomy
相关技术:Formal Methods in Verification
关系图谱

Casper: a compiler for the analysis of security protocols · 作者

G

Gavin Lowe