Title Automated reasoning for security protocol analysis and issues in the theory of security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 : revised selected papers / Alessandro Armando, Gavin Lowe (eds.)

Published Berlin : Springer, 2010

Click on the following:
Springer Computer Science eBooks
Springer eBooks

Copies

Description 1 online resource (viii, 184 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 6186 LNCS sublibrary. SL 4, Security and cryptology Lecture notes in computer science ; 6186. 0302-9743 LNCS sublibrary. SL 4, Security and cryptology. Summary Annotation This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010 Analysis Automated reasoning Security protocol analysis ARSPA computers samenleving society algoritmen algorithms computeranalyse computer analysis computerwetenschappen computer sciences gegevensbeheer data management computernetwerken computer networks software engineering programmeertalen programming languages Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) Bibliography Includes bibliographical references and index Notes Print version record In Springer eBooks Subject Computer security -- Congresses Formal methods (Computer science) -- Congresses Cryptography -- Congresses Computer security. Computing Methodologies Computer Security Informatique. Computer security Cryptography Formal methods (Computer science) Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Armando, Alessandro. Lowe, Gavin. ISBN 9783642160745 3642160743

Other Titles ARSPA-WITS 2010

  Permalink