Request 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.

You must first login before requesting items. Additional help requesting materials for Benedictine borrowers.