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

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	6561

Keywords

@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 = "Netherlands",

}

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 -