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/ReportBookAcademic

85 Downloads (Pure)
Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages277
ISBN (Print)978-3-642-29419-8
DOIs
Publication statusPublished - 14 Sep 2011
Event8th International Workshop on Formal aspects of security and trust, FAST 2011 - Leuven, Belgium
Duration: 12 Sep 201114 Sep 2011
Conference number: 8

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume7140
ISSN (Print)0302-9743

Keywords

  • EWI-22359
  • IR-83362
  • Trust
  • Security
  • Formal Aspects

Cite this

Barthe, G., Datta, A. (Ed.), & Etalle, S. (Ed.) (2011). Formal aspects of security and trust : 8th international workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011: revised selected papers. (Lecture Notes in Computer Science; Vol. 7140). Berlin: Springer. https://doi.org/10.1007/978-3-642-29420-4
Barthe, Gilles ; Datta, Anupam (Editor) ; Etalle, Sandro (Editor). / Formal aspects of security and trust : 8th international workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011: revised selected papers. Berlin : Springer, 2011. 277 p. (Lecture Notes in Computer Science).
@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.",
year = "2011",
month = "9",
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",

}

Formal aspects of security and trust : 8th international workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011: revised selected papers. / Barthe, Gilles; Datta, Anupam (Editor); Etalle, Sandro (Editor).

Berlin : Springer, 2011. 277 p. (Lecture Notes in Computer Science; Vol. 7140).

Research output: Book/ReportBookAcademic

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 - 8th International Workshop, FAST 2011 Leuven, Belgium, September 12-14, 2011 Revised Selected Papers.

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

ER -