Foundations and applications of security analysis：Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers

Corporate Authors: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (2009 York, England); SpringerLink (Online service)
Group Author: Viganò Luca.; Degano Pierpaolo, 1950-
Published: Springer,
Publication Dates: c2009.