English Beginner 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) Pierpaolo Degano,Luca Viganò 2009 View book
