User Reviews for: Formal aspects in security and trust : 5

 Staff view

You must be logged in to Tag Records

Formal aspects in security and trust [electronic resource] : 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 : revised selected papers /

Pierpaolo Degano, Joshua Guttmann, Fabio Martinelli (eds.).

Book Cover
Names: Degano, Pierpaolo, | Guttmann, Joshua. | Martinelli, Fabio,
Published: Berlin ; Springer, c2009.
Series: LNCS sublibrary. SL 4, Security and cryptology
Lecture notes in computer science ; 5491.
Topics: Computer security - Congresses. | Formal methods (Computer science) - Congresses. | Trust - Congresses.
Tags: Add


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


Please log in to add reviews or comments to the public catalog.
To communicate with library staff, use the Feedback link.

User Reviews for: Formal aspects in security and trust : 5