Foundations of Security Analysis and Design V 论文

2009Lecture notes in computer science引用 265
DOI
Security and Verification in ComputingAdvanced Authentication Protocols SecurityCryptographic Implementations and Security
网络安全Security and Verification in ComputingCryptographic Implementations and SecurityAdvanced Authentication Protocols Security
关系图谱

Foundations of Security Analysis and Design V · 作者

R

Roberto Gorrieri

G

Gilles Barthe

A

Alessandro Aldini