Formal Aspects of Security and Trust
Subtitle: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
By: edited by Gilles Barthe, Anupam Datta, Sandro Etalle
Contributors: Datta, Anupam; Etalle, Sandro; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7140
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642294204
Subjects: Information Systems; Systems and Data Security; Computers and Society; Information organization; Computer networks; Data protection; Information retrieval; Data Encryption; Computer science; Management of Computing and Information Systems; Information storage and retrieval systems; Data encryption (Computer science)