Protocols, Strands, and Logic More Books Like This

Foundations of Security, Protocols, and Equational Reasoning Foundations of Security, Protocols, and Equational Reasoning
2019
Formal Aspects in Security and Trust Formal Aspects in Security and Trust
2007
Information Security Information Security
2015
Security and Cryptography for Networks Security and Cryptography for Networks
2016
Principles of Security and Trust Principles of Security and Trust
2016
Principles of Security and Trust Principles of Security and Trust
2017
Advances in Cryptology – ASIACRYPT 2016 Advances in Cryptology – ASIACRYPT 2016
2016
Advances in Cryptology -- CRYPTO 2015 Advances in Cryptology -- CRYPTO 2015
2015
Computer Security -- ESORICS 2015 Computer Security -- ESORICS 2015
2015
Provable Security Provable Security
2015
Applied Cryptography and Network Security Applied Cryptography and Network Security
2016
Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology Paradigms in Cryptology – Mycrypt 2016. Malicious and Exploratory Cryptology
2017
Security and Trust Management Security and Trust Management
2021
Information Security and Cryptology Information Security and Cryptology
2015
Codes, Cryptology and Information Security Codes, Cryptology and Information Security
2019