Foundations and applications of security analysis
Subtitle: 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
By: Pierpaolo Degano, Luca Viganò (eds.).
Contributors: Degano, Pierpaolo, 1950-; Viganò, Luca.
Series: Lecture notes in computer science -- 5511; LNCS sublibrary: SL 4-security and cryptology
Publisher: Springer
Published: 2009
Place of publication: Berlin; New York
Language: eng
Number of pages: 221
ISBN-13: 9783642034589
Subjects: Computer security -- Congresses; Formal methods (Computer science) -- Congresses; Cryptography -- Congresses
Genres: Congresses
Notes: Includes bibliographical references and index.

Also issued online.