Strand spaces: proving security protocols correct 论文

1999Journal of Computer Security引用 541
DOI
Advanced Authentication Protocols SecurityUser Authentication and Security SystemsCryptography and Data Security
Cryptography and Data SecurityUser Authentication and Security SystemsAdvanced Authentication Protocols Security
关系图谱

Strand spaces: proving security protocols correct · 相关技术

暂无数据