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

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...

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Dimitrakos, Theo (Éditeur intellectuel), Martinelli, Fabio (Éditeur intellectuel), Ryan, Peter Y.A (Éditeur intellectuel), Schneider, Steve (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Édition:	1st ed. 2006.
Collection:	Security and Cryptology ; 3866
Sujets:	Computer networks . Cryptography. Data encryption (Computer science). Operating systems (Computers). Computers and civilization. Electronic data processing-Management. Information storage and retrieval systems. Computer Communication Networks. Cryptology. Operating Systems. Computers and Society. IT Operations. Information Storage and Retrieval.
Accès en ligne:	Texto Completo