Formal Aspects in Security and Trust Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Dimitrakos, Theo (Επιμελητής έκδοσης), Martinelli, Fabio (Επιμελητής έκδοσης), Ryan, Peter Y. A. (Επιμελητής έκδοσης), Schneider, Steve (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 3866
• Θέματα: Computer science.; Computer communication systems.; Operating systems (Computers).; Data encryption (Computer science).; Information storage and retrieval.; Computers and civilization.; Management information systems.; Computer Science.; Computer Communication Networks.; Data Encryption.; Operating Systems.; Computers and Society.; Management of Computing and Information Systems.; Information Storage and Retrieval.

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005. The 17 revised papers presented together with the extended abstract of 1 invited paper were carefully r...