作者: Cas Cremers

支持

2 电子书 Cas Cremers

Cas Cremers & Anja Lehmann: Security Standardisation Research
This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a …
EPUB
英语
DRM
€57.28
Cas Cremers & Sjouke Mauw: Operational Semantics and Verification of Security Protocols
Security protocols are widely used to ensure secure communications over insecure networks, such as the internet or airwaves. These protocols use strong cryptography to prevent intruders from reading …
PDF
英语
DRM
€57.10