Handbook of Formal Analysis and Verification in Cryptography

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author

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 in...

Read more
product_type_E-book
epub
Price
61.99 £

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 in...

Read more

Options

  • Formats: epub
  • ISBN: 9781000955491
  • Publication Date: 19 Sept 2023
  • Publisher: CRC Press
  • Product language: English
  • Drm Setting: DRM