Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Computer Science / Security and Cryptology)
Format: paperback
ISBN:
9783642034589 (3642034586)
Publish date: September 3rd 2009
Publisher: Springer
Pages no: 223
Edition language: English