Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Notes in Computer Science, Band 5511)

von: Pierpaolo Degano · Luca Vigano Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-642-03458-9 ISBN-10: 3-642-03458-6 Springer · 2009