Location & Availability for: Formal aspects of security and trust : 7

 Staff view

You must be logged in to Tag Records

Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /

Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.).

Book Cover
Names: Degano, Pierpaolo, | Etalle, Sandro. | Guttman, Joshua.
Published: Berlin : Springer, c2011.
Series: Lecture notes in computer science ; 6561.
LNCS sublibrary. SL 4, Security and cryptology.
Topics: Formal methods (Computer science) - Congresses. | Computer security - Congresses.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Formal aspects of security and trust : 7