Formal Aspects in Security and Trust
Subtitle: IFIP TC1 WG1. 7 Workshop on Formal Aspects in Security and Trust , World Computer Congress, August 22-27, 2004, Toulouse, France
Publisher: Springer
Published: 2005
Language: eng
ISBN-13: 9780387240985
Subjects: Computer science; Computer security; Trust