Handbook of Formal Analysis and Verification in Cryptography (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Automatisk styringsteknik og...
  6. Produktdesign
  7. Kodeteori og kryptologi
  8. Regning og matematisk analyse
  9. Handbook of Formal Analysis and Verification in Cryptography

Handbook of Formal Analysis and Verification in Cryptography

(Bog, Paperback / softback, Engelsk)
Handbook of Formal Analysis and Verification in Cryptography
Forlag: Taylor & Francis Ltd

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Taylor & Francis Ltd
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 19-12-2024
Første udgivelsesår 2024
Serie Prospects in Pure and Applied Mathematics
Illustrationer 21 Tables, black and white; 45 Line drawings, black and white; 45 Illustrations, black and white
Fagredaktør Sedat Akleylek, Besik Dundua
Originalsprog United Kingdom
Sideantal 428
Indbinding Paperback / softback
Forlag Taylor & Francis Ltd
Sideoplysninger 428 pages, 21 Tables, black and white; 45 Line drawings, black and white; 45 Illustrations, black an
Mål 234 x 156
ISBN-13 / EAN-13 9780367546663