cas cremers
Operational Semantics and Verification of Security Protocols
EbookSofort lieferbarSecurity protocols are widely used to ensure secure communications over insecure networks, such a...
Security Standardisation Research
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 4th International Conference on Security St...
Operational Semantics and Verification of Security Protocols
BuchBezug 11-15Security protocols are widely used to ensure secure communications over insecure networks, suc...
Security Standardisation Research
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 4th International Conference on Security St...
Modeling and Analyzing Security Protocols with Tamarin
BuchVorbestellbarThe Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specif...
Operational Semantics and Verification of Security Protocols
TaschenbuchPrint on DemandSecurity protocols are widely used to ensure secure communications over insecure networks, suc...
- 1