Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Subtitle: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
By: edited by Alessandro Armando, Gavin Lowe
Contributors: Lowe, Gavin; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6186
Publisher: Springer Berlin Heidelberg; Springer
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 194
ISBN-13: 9783642160738; 9783642160745
Subjects: Computer networks; Data encryption (Computer science); Computer science; Software engineering; Computer software