Formal Aspects of Security and Trust
Subtitle: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
By: edited by Pierpaolo Degano, Sandro Etalle, Joshua Guttman
Contributors: Etalle, Sandro; Guttman, Joshua D.; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6561
Publisher: Springer Berlin Heidelberg; Springer
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 238
ISBN-13: 9783642197505; 9783642197512
Subjects: Information Systems; Computer science; Information storage and retrieval systems; Computer networks; Data protection; Data encryption (Computer science)