Holdings: Automated reasoning for security protocol analysis and issues in the theory of security : :: Library search

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 /

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.).

Annotation

Saved in:

Bibliographic Details
Main Authors:	Armando, Alessandro (Author), Lowe, Gavin (Author)
Corporate Author:	Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Paphos, Cyprus
Format:	Ebook
Language:	English
Published:	Berlin : Springer, 2010.
Series:	Lecture notes in computer science ; 6186. LNCS sublibrary. Security and cryptology
Subjects:	Computer security > Congresses. Cryptography > Congresses Formal methods (Computer science) > Congresses Computer Security. Computing Methodologies.
Online Access:	Springer eBooks

Description
Summary:	Annotation
Physical Description:	1 online resource (viii, 184 pages) : illustrations.
Bibliography:	Includes bibliographical references and index.
ISSN:	0302-9743 ;