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, 2004, Toulouse, France
Description
x, 246 p. ::ill., digital ;:25 cm.
x, 246 p. ::ill., digital ;:25 cm.