Handbook of Formal Analysis and Verification in Cryptography (ePub)
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.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
Besik Dundua is an expert in formal methods. He received his PhD degree from the University of Porto in computer science. Afterwards, he worked as a postdoc and visiting researcher in Brazil (University of Brasilia), Austria (Johannes Kepler University Linz), and Germany (The University of Stuttgart). His work concerns various aspects of verification, computational logic, and formal languages: foundational formalisms, computational mechanisms, and implementation ideas. He has published more than 20 papers on those topics and presented his work at more than 30 conference.
- 2023, 1. Auflage, 444 Seiten, Englisch
- Herausgegeben: Sedat Akleylek, Besik Dundua
- Verlag: Taylor & Francis
- ISBN-10: 1000955494
- ISBN-13: 9781000955491
- Erscheinungsdatum: 19.09.2023
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: ePub
- Grösse: 3.27 MB
- Ohne Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Handbook of Formal Analysis and Verification in Cryptography".
Kommentar verfassen