List of Books in Keyword #Automated Reasoning

Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)
Published on: 2009
Beginner Unordered English

This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and …

Security Cryptology Automated Reasoning Protocols Theory

Page 1 of 1