Enlarge

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, 2

Publication Data

Title 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, 2
Contributors Pierpaolo Degano, Luca Viganò
Publisher Springer
Publication date 2009
Publication location Berlin
Language English

Topics

Computer security :: Congresses

Catalogue Data

OBNB ID GBA9B0542
ISBN 10 3642034586
ISBN 13 9783642034589
Type BibliographicResource, Book
Dewey Classification 005.8

ISBD

P1053 x, 221 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

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, 2. ISBN 9783642034589. Published by Springer in 2009. Publication and catalogue information, links to buy online and reader comments.