The High-Level Protocol Specification Language HLPSL developed in the EU project AVISPA 论文

2005引用 221
Formal Methods in VerificationAdvanced Authentication Protocols SecurityAccess Control and Trust
Formal Methods in VerificationAccess Control and TrustAdvanced Authentication Protocols Security
相关技术:Formal Methods in Verification
关系图谱

The High-Level Protocol Specification Language HLPSL developed in the EU project AVISPA · 作者

D

David von Oheimb