author = { FAST 3 2005 Newcastle-upon-Tyne Dimitrakos, Theo AND Martinelli, Fabio AND Ryan, Peter Y. A. AND Schneider, Steve },

title = { Formal aspects in security and trust third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18 - 19, 2005 ; revised selected papers },

publisher = {Springer},

isbn = {3540326286},

isbn = {9783540326281},

keywords = { Computer security Congresses , Formal methods (Computer science) Congresses , Trust Congresses , Konferenzschrift 2005 Newcastle-upon-Tyne , Verteiltes System , Computersicherheit , Datensicherung , Formale Methode , Telekommunikationsnetz , Anonymität , Vertraulichkeit },

year = {2006},

abstract = {Literaturangaben},

booktitle = {Lecture notes in computer science ; 3866},

address = { Berlin },

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