Handbuch der formalen Analyse und Verifizierung in der Kryptographie, Hardcover von Ak...
219,49 €
Handbook of Formal Analysis and Verification in Cryptography, Hardcover by Akleylek, Sedat (EDT); Dundua, Besik (EDT), ISBN 0367546655, ISBN-13 9780367546656, Brand New, Free P&P in the UK "Handbook of Formal Analysis and Verification in Cryptography includes major formalisms and tools used for formal verification of cryptography, with a focus on new generation cryptosystems such as post-quantum. It presents a connection between formal analysis and cryptographic schemes, offers formal methods to show whether security assumptions are valid or not for a cryptographic scheme, compares the most prominent formalism and tools, and outlines common challenges and future research directions"--
Jetzt bei Ebay:
![Produktbild - Handbook of Computer Aided Verification by Jordan Dean [Hardback]](https://i.ebayimg.com/thumbs/images/g/moUAAeSw7FFoH8x7/s-l140.jpg)
