%0
Book
%T
Formal aspects in security and trust
6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5 - 6, 2009 ; revised selected papers
%A FAST 6 2009 Eindhoven
%A Degano, Pierpaolo
%A Guttman, Joshua D.
%I Springer
%@ 3642124585
%@ 9783642124587
%K Computer security Congresses
%K Formal methods (Computer science) Congresses
%K Trust Congresses
%K Konferenzschrift
%K Trusted Computing
%K Zugriffskontrolle
%K Anonymität
%K Authentifikation
%K Sicherheitsprotokoll
%D 2010
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2