Location & Availability for: Foundations and applications of security

 Staff view

You must be logged in to Tag Records

Foundations and applications of security analysis [electronic resource] : 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 /

Pierpaolo Degano, Luca ViganĂ² (eds.).

Book Cover
Names: Degano, Pierpaolo, | ViganĂ², Luca.
Published: Berlin ; Springer, c2009.
Series: Lecture notes in computer science ; 5511.
LNCS sublibrary. SL 4 Security and cryptology.
Topics: Computer security - Congresses. | Formal methods (Computer science) - Congresses. | Cryptography - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Foundations and applications of security