Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties 论文

2012引用 215
DOI
Advanced Authentication Protocols SecurityDigital Rights Management and SecurityUser Authentication and Security Systems
User Authentication and Security SystemsAdvanced Authentication Protocols SecurityDigital Rights Management and Security
关系图谱

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties · 作者

D

David Basin

C

Cas Cremers

S

Simon Meier-Vieracker

B

Benedikt Schmidt