^^PAGEHEADLINE ^^
-
Operational Semantics and Verification of Security Protocols
Springer Verlag GmbH 09.11.2014 - 2014Taschenbuch - KartoniertNar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenSecurity protocols are widely used to ensure secure communications over insecure networks, such a...
-
Operational Semantics and Verification of Security Protocols
Springer Verlag GmbH 31.10.2012 - 2012Buch - GebundenNar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenSecurity protocols are widely used to ensure secure communications over insecure networks, such a...
-
Security Standardisation Research
Springer Verlag GmbH 21.11.2018 - 2018Taschenbuch - KartoniertNar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book constitutes the refereed proceedings of the 4th International Conference on Security St...
-
Modeling and Analyzing Security Protocols with Tamarin
Springer Verlag GmbH 28.07.2025 - 2025Buch - GebundenNar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThe Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specifica...
- 1