Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers /

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. T...

Full description

Bibliographic Details
Corporate Author:	FAST (Workshop) Leuven, Belgium)
Other Authors:	Barthe, Gilles, 1967-, Datta, Anupam, Etalle, Sandro
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, ©2012
Series:	LNCS sublibrary Security and cryptology. Lecture notes in computer science ; 7140
Subjects:	Computer security > Congresses Data encryption (Computer science) > Congresses Data protection > Congresses Formal methods (Computer science) > Congresses Computer security Data encryption (Computer science) Data protection Formal methods (Computer science) Informatique Computer Communication Networks Computer science Computers and Society Information Storage and Retrieval Information Systems Information storage and retrieval systems Management of Computing and Information Systems Systems and Data Security Electronic books Conference papers and proceedings

Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /

Published 2012

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

Book

Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Published 2012

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

Electronic Book

Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised selected papers /

Similar Items