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, ... and Communication Technology )
Publisher: Springer
Published: Dec 06, 2010
Format: paperback
Number of pages: 256
ISBN-13: 9781441936851
Notes: Source title: Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, ... and Communication Technology (173))