author = { FAST 6 2009 Eindhoven Degano, Pierpaolo AND Guttman, Joshua D. },

title = { Formal aspects in security and trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5 - 6, 2009 ; revised selected papers },

publisher = {Springer},

isbn = {3642124585},

isbn = {9783642124587},

keywords = { Computer security Congresses , Formal methods (Computer science) Congresses , Trust Congresses , Konferenzschrift , Trusted Computing , Zugriffskontrolle , Anonymität , Authentifikation , Sicherheitsprotokoll },

year = {2010},

abstract = {Literaturangaben},

booktitle = {Lecture Notes in Computer Science / Security and Cryptology ; 5983},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }