Handbook of Formal Analysis and Verification in Cryptography

1. Development of Cryptography since Shannon. 2. Introduction to Formal Methods for the Analysis and Design of Protocols. 3. An Introduction to Tools for Formal Analysis of Cryptographic Protocols. 4. Formal Verification of Cryptographic Protocols with Isabelle/HOL. 5. Formal Modelling and Security Analysis of Security Protocols. 6. Cryptographic Web Applications: from Security Engineering to Formal Analysis. 7. Formal Methods for Quantum Algorithms.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Engenharia das comunicações e telecomunicações
• Privacidade e protecção de dados
• Teoria da codificação e criptologia
• Engenharia: geral
• Design de produtos
• Cálculo e análise matemática
• Redes de computadores e comunicações
• Lógica matemática
• Ciência da Computação
• Aspectos jurídicos da Tecnologia Informática

Lattice-Based;NTRUEncrypt;NTRUSign;Protocols;Security Analysis;Post Quantum;Public Key;Protocol Run;SAT Solver;Model Checking;Protocol Verification;Private Key;Intruder Model;Automatic Code Generation;Cryptographic Protocols;Bob's Public Key;Formal Verification;Protocol Participants;Theorem Proving;State Transition Model;Web Protocol;Web Attackers;TLS Protocol;Attack Trace;Symbolic Models;Honest Agents;Formal Verification Techniques;Web Applications;Security Protocols;Bitcoin Address;Verification Tools