Preface

Gilles Barthe, Anupam Datta, Sandro Etalle

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

Original languageEnglish
Title of host publicationFormal aspects of security and trust
Subtitle of host publication8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
EditorsGilles Barthe, Anupam Datta, Sandro Etalle
Place of PublicationBerlin
PublisherSpringer
PagesIV
Number of pages1
ISBN (Electronic)978-3-642-29420-4
ISBN (Print)978-3-642-29419-8
DOIs
Publication statusPublished - 23 Jul 2012
Event8th International Workshop on Formal Aspects of Security and Trust, FAST 2011 - Leuven, Belgium
Duration: 12 Sep 201114 Sep 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume7140
ISSN (Print)0302-9743

Conference

Conference8th International Workshop on Formal Aspects of Security and Trust, FAST 2011
CountryBelgium
CityLeuven
Period12/09/1114/09/11

Cite this