Cover is for reference only

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

Saved in:
Bibliographic Details
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,
Publisher Address: Berlin New York
Publication Dates: c2009.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 5511
Subjects:
Formal methods (Computer science)
Cryptography.
Electronic books.
Computer security
Online Access: http://dx.doi.org/10.1007/978-3-642-03459-6
Carrier Form: x, 221 p.: ill. ; 24 cm.
ISBN: 9783642034596 (electronic bk.)
3642034594 (electronic bk.)
Index Number: TP309
CLC: TP309-532
Contents: Includes bibliographical references and index.

Related Book Recommendations