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

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

Show other versions (3)

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Formal Aspects in Security and Trust, FAST 2009, held under the auspices of IFIP WG 1.7 in Eindhoven, The Netherlands, in November 2009 as an event of the Formal Methods Week, FMweek 2009. Th...

Full description

Bibliographic Details
Corporate Author: FAST (Workshop) Eindhoven, Netherlands)
Other Authors: Degano, Pierpaolo, 1950-, Guttman, Joshua D
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, ©2010
Berlin ; c2010
Series:LNCS sublibrary Security and cryptology.
Lecture notes in computer science ; 5983
Lecture notes in computer science ; 5983
Subjects:
Computer security > Congresses
Formal methods (Computer science) > Congresses
Trust > Congresses
Computer Communication Networks
Computer Security
Computing Methodologies
Trust
Computer security
Formal methods (Computer science)
Informatique
Congresses
Electronic books
Conference papers and proceedings

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE

Duke University

Holdings details from Duke University
Call Number: ISIL:US-NCD

Similar Items