TY -
BOOK
AU - FAST 6 2009 Eindhoven
AU - Degano, Pierpaolo
AU - Guttman, Joshua D.
TI -
Formal aspects in security and trust
6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5 - 6, 2009 ; revised selected papers
PB - Springer
SN - 3642124585
SN - 9783642124587
KW - Computer security Congresses
KW - Formal methods (Computer science) Congresses
KW - Trust Congresses
KW - Konferenzschrift
KW - Trusted Computing
KW - Zugriffskontrolle
KW - Anonymität
KW - Authentifikation
KW - Sicherheitsprotokoll
PY - 2010
N2 - Literaturangaben
BT - Lecture Notes in Computer Science / Security and Cryptology ; 5983
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -