Formal Aspects in Security and Trust More Books Like This

Protocols, Strands, and Logic Protocols, Strands, and Logic
2021
Principles of Security and Trust Principles of Security and Trust
2017
Principles of Security and Trust Principles of Security and Trust
2016
Foundations of Security, Protocols, and Equational Reasoning Foundations of Security, Protocols, and Equational Reasoning
2019
Information and Communications Security Information and Communications Security
2008
Trustworthy Global Computing Trustworthy Global Computing
2016
Formal Methods and Software Engineering Formal Methods and Software Engineering
2020
Information Security Information Security
2015
Advances in Cryptology -- CRYPTO 2015 Advances in Cryptology -- CRYPTO 2015
2015
Information Security Practice and Experience Information Security Practice and Experience
2008
Security and Trust Management Security and Trust Management
2021
Programming Languages with Applications to Biology and Security Programming Languages with Applications to Biology and Security
2015
Advances in Computer Science, Information Security and Privacy Advances in Computer Science, Information Security and Privacy
2010
Security and Cryptography for Networks Security and Cryptography for Networks
2016
Advances in Cryptology – ASIACRYPT 2016 Advances in Cryptology – ASIACRYPT 2016
2016