Cover Image

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

Bibliographic Details
Corporate Authors: FAST (Workshop) Eindhoven, Netherlands), SpringerLink (Online service)
Other Authors: Degano, Pierpaolo, 1950-, Guttman, Joshua D.
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2010]
Series:LNCS sublibrary. Security and cryptology.
Lecture notes in computer science ; 5983.
Subjects:
Computer security > Congresses.
Formal methods (Computer science) > Congresses.
Public key infrastructure (Computer security) > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:x, 278 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3642124593
9783642124594
DOI:10.1007/978-3-642-12459-4