Original language | English |
---|---|
Place of Publication | Berlin |
Publisher | Springer |
Number of pages | 277 |
ISBN (Print) | 978-3-642-29419-8 |
DOIs | |
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
Cite this
}
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/Report › Book › Academic
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 -