Formal aspects of security and trust : 8th international workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011: revised selected papers

Gilles Barthe; Anupam Datta; Sandro Etalle

doi:10.1007/978-3-642-29420-4

Formal aspects of security and trust : 8th international workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011: revised selected papers

Gilles Barthe, Anupam Datta (Editor), Sandro Etalle (Editor)

Research output: Book/Report › Book › Academic

234 Downloads (Pure)

Original language	English
Place of Publication	Berlin
Publisher	Springer
Number of pages	277
ISBN (Print)	978-3-642-29419-8
DOIs	https://doi.org/10.1007/978-3-642-29420-4
Publication status	Published - 14 Sep 2011
Event	8th International Workshop on Formal aspects of security and trust, FAST 2011 - Leuven, Belgium Duration: 12 Sep 2011 → 14 Sep 2011 Conference number: 8

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	7140
ISSN (Print)	0302-9743

Keywords

EWI-22359
IR-83362
Trust
Security
Formal Aspects

Access to Document

10.1007/978-3-642-29420-4

Barthe11formal
open
front-matter_etalle
open

Cite this

@book{274e0e1717f3458db4f4979f46cb20df,

title = "Formal aspects of security and trust : 8th international workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011: revised selected papers",

keywords = "EWI-22359, IR-83362, Trust, Security, Formal Aspects",

author = "Gilles Barthe",

editor = "Anupam Datta and Sandro Etalle",

note = "8th International Workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011 Revised Selected Papers.; 8th International Workshop on Formal aspects of security and trust, FAST 2011 , FAST 2011 ; Conference date: 12-09-2011 Through 14-09-2011",

year = "2011",

month = sep,

day = "14",

doi = "10.1007/978-3-642-29420-4",

language = "English",

isbn = "978-3-642-29419-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Netherlands",

}

TY - BOOK

T1 - Formal aspects of security and trust : 8th international workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011: revised selected papers

AU - Barthe, Gilles

A2 - Datta, Anupam

A2 - Etalle, Sandro

N1 - Conference code: 8

PY - 2011/9/14

Y1 - 2011/9/14

KW - EWI-22359

KW - IR-83362

KW - Trust

KW - Security

KW - Formal Aspects

U2 - 10.1007/978-3-642-29420-4

DO - 10.1007/978-3-642-29420-4

M3 - Book

SN - 978-3-642-29419-8

T3 - Lecture Notes in Computer Science

BT - Formal aspects of security and trust : 8th international workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011: revised selected papers

PB - Springer

CY - Berlin

T2 - 8th International Workshop on Formal aspects of security and trust, FAST 2011

Y2 - 12 September 2011 through 14 September 2011

ER -