More Details 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.

Meeting Name: FAST 2008 (2008 : Málaga, Spain)
Physical Description: x, 330 p. : digital, PDF file
Includes: Includes bibliographical references and index.
ISBN: 9783642014659
System Details: Mode of access: World Wide Web.
Notes: Title from PDF t.p. (SpringerLink, viewed Apr. 10, 2009).
Other Names: Degano, Pierpaolo, 1950-
Guttmann, Joshua.
Martinelli, Fabio, 1969-
Loading SummaryLoading

More Details for: Formal aspects in security and trust : 5