Formal aspects of security and trust : 7th international workshop, FAST 2010 Pisa, Italy, September 16-17, 2010: revised selected papers

Pierpaolo Degano; Sandro Etalle; Joshua Guttman

doi:10.1007/978-3-642-19751-2

Formal aspects of security and trust : 7th international workshop, FAST 2010 Pisa, Italy, September 16-17, 2010: revised selected papers

Pierpaolo Degano (Editor), Sandro Etalle (Editor), Joshua Guttman

Research output: Book/Report › Book editing › Academic

1 Downloads (Pure)

Original language	Undefined
Place of Publication	Berlin
Publisher	Springer
Number of pages	238
ISBN (Print)	978-3-642-19751-2
DOIs	https://doi.org/10.1007/978-3-642-19751-2
Publication status	Published - 16 Sept 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	6561

Keywords

METIS-277607
IR-76675
EWI-20068

Access to Document

10.1007/978-3-642-19751-2

http://eprints.eemcs.utwente.nl/secure2/20068/01/front-matter.pdf

Cite this

@book{6af22cc16c8c4b2e8a3b8b6d057dfd9c,

title = "Formal aspects of security and trust : 7th international workshop, FAST 2010 Pisa, Italy, September 16-17, 2010: revised selected papers",

keywords = "METIS-277607, IR-76675, EWI-20068",

author = "Joshua Guttman",

editor = "Pierpaolo Degano and Sandro Etalle",

note = "10.1007/978-3-642-19751-2 ",

year = "2010",

month = sep,

day = "16",

doi = "10.1007/978-3-642-19751-2",

language = "Undefined",

isbn = "978-3-642-19751-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}

TY - BOOK

T1 - Formal aspects of security and trust : 7th international workshop, FAST 2010 Pisa, Italy, September 16-17, 2010: revised selected papers

AU - Guttman, Joshua

A2 - Degano, Pierpaolo

A2 - Etalle, Sandro

N1 - 10.1007/978-3-642-19751-2

PY - 2010/9/16

Y1 - 2010/9/16

KW - METIS-277607

KW - IR-76675

KW - EWI-20068

U2 - 10.1007/978-3-642-19751-2

DO - 10.1007/978-3-642-19751-2

M3 - Book editing

SN - 978-3-642-19751-2

T3 - Lecture Notes in Computer Science

BT - Formal aspects of security and trust : 7th international workshop, FAST 2010 Pisa, Italy, September 16-17, 2010: revised selected papers

PB - Springer

CY - Berlin

ER -