Cas Cremers

Cas Cremers

2 ספרים במאגר

ספרים

Operational Semantics and Verification of Security ProtocolsCas Cremers

Operational Semantics and Verification of Security Protocols

Cas Cremers · 2012

Security Standardisation ResearchCas Cremers

Security Standardisation Research

Cas Cremers · 2018