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

Available Online