Formal Aspects in Security and Trust
Subtitle: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
By: edited by Pierpaolo Degano, Joshua D. Guttman
Contributors: Guttman, Joshua D.; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5983
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642124587; 9783642124594
Subjects: Information Systems; Computer science; Information storage and retrieval systems; Computer networks; Data protection; Data encryption (Computer science)