Formal Aspects in Security and Trust (vol. # 3866) Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
Formal Aspects in Security and Trust (vol. # 3866) Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers / [electronic resource] :
edited by Theo Dimitrakos ... [et al.].
- Berlin Heidelberg : Springer-Verlag GmbH., 2006
- x, 257 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 3866 0302-9743 ; .
9783540326298 (electronic bk.)
Computer security--congresses.
Formal methods (Computer science)--Congresses.
Trust--Congresses.
Computer Science.
Computer Communication Networks.
Computers and Society.
Data Encryption.
Information Storage and Retrieval.
Management of Computing and Information Systems.
Operating Systems.
QA76.9.A25 / F36 2005
005.8
9783540326298 (electronic bk.)
Computer security--congresses.
Formal methods (Computer science)--Congresses.
Trust--Congresses.
Computer Science.
Computer Communication Networks.
Computers and Society.
Data Encryption.
Information Storage and Retrieval.
Management of Computing and Information Systems.
Operating Systems.
QA76.9.A25 / F36 2005
005.8