Discusses how formal analysis of cryptographic protocols is very
important for securing communication and processing information
Introduces the reader to several formal verification methods and
software commonly used today Covers general knowledge on
cryptographic primitives and formal reasoning as basic blocks to
understanding protocols Focuses on post-quantum cryptographic
schemes Presents how this topic is significant in daily life such
as online banking, instant messaging, etc.
General
| Imprint: |
Crc Press
|
| Country of origin: |
United Kingdom |
| Series: |
Prospects in Pure and Applied Mathematics |
| Release date: |
September 2023 |
| First published: |
2024 |
| Editors: |
Sedat Akleylek
• Besik Dundua
|
| Dimensions: |
234 x 156mm (L x W) |
| Pages: |
442 |
| ISBN-13: |
978-0-367-54665-6 |
| Categories: |
Books
Promotions
|
| LSN: |
0-367-54665-5 |
| Barcode: |
9780367546656 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
