1. Home
  2. Books
  3. Non-Fiction
  4. Mathematics & science
  5. Mathematics

Free shipping on orders over $99
Handbook of Formal Analysis and Verification in Cryptography

Handbook of Formal Analysis and Verification in Cryptography

by Sedat Akleylek and Besik Dundua
Hardback
Publication Date: 19/09/2023
Be the first to write a review

Share This Book:

13%
OFF
RRP  $357.00

RRP means 'Recommended Retail Price' and is the price our supplier recommends to retailers that the product be offered for sale. It does not necessarily mean the product has been offered or sold at the RRP by us or anyone else.

$310.75
or 4 easy payments of $77.69 with
afterpay
    Please Note: We will source your item through a special order. Generally sent within 120 days.
This item qualifies your order for FREE DELIVERY
Add to List

On order from our Australian supplier to our Sydney warehouse.

This backorder is generally sent within 120 days.

Online tracking is available for this item via Australia Post.

This handbook of formal analysis in cryptography is very important for secure communication and processing of information. It introduces readers to several formal verification methods and software used to analyse cryptographic protocols. The chapters give readers general knowledge and formal methods focusing on cryptographic protocols.

Handbook of Formal Analysis and Verification in Cryptography includes major formalisms and tools used for formal verification of cryptography, with a spotlight on new-generation cryptosystems such as post-quantum, and presents a connection between formal analysis and cryptographic schemes. The text offers formal methods to show whether security assumptions are valid and compares the most prominent formalism and tools as they outline common challenges and future research directions.

Graduate students, researchers, and engineers worldwide will find this an exciting read.

ISBN:
9780367546656
9780367546656
Category:
Calculus & mathematical analysis
Format:
Hardback
Publication Date:
19-09-2023
Language:
English
Publisher:
CRC Press LLC
Country of origin:
United States
Dimensions (mm):
233.43x155.7mm
Weight:
0.45kg

Our Australian supplier has this title on order. You can place a backorder for this title now and we will ship it to you when it becomes available. 

While we are unable to provide a delivery estimate, most backorders will be delivered within 120 days. If we are informed by our supplier that the title is no longer available during this time, we will cancel and refund you for this item.  Likewise, if no delivery estimate has been provided within 120 days, we will contact our supplier for an update.  If there is still no delivery estimate we will then cancel the item and provided you with a refund.

If we are able to secure you a copy of the title, our supplier will despatch it to our Sydney warehouse.  Once received we make sure it is in perfect condition and then despatch it to you via the Australia Post eParcel service, which includes online tracking.  You will receive a shipping notice from us when this occurs.

You can find this item in:

Mathematics Industrial chemistry & manufacturing technologies Calculus & mathematical analysis Engineering: general Coding theory & cryptology
Show more Show less

Reviews

Be the first to review Handbook of Formal Analysis and Verification in Cryptography.