Location & Availability for: Formal aspects in security and trust : 6

 Staff view

You must be logged in to Tag Records

Formal aspects in security and trust [electronic resource] : 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 : revised selected papers /

Pierpaolo Degano, Joshua D. Guttman (eds.).

Book Cover
Names: Degano, Pierpaolo, | Guttman, Joshua D.
Published: Berlin ; Springer, c2010.
Series: Lecture notes in computer science ; 5983.
LNCS sublibrary. SL 4 Security and cryptology.
Topics: Computer security - Congresses. | Formal methods (Computer science) - Congresses. | Public key infrastructure (Computer security) - Congresses.
Genres: Electronic books.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Formal aspects in security and trust : 6