Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France

Edited Book
Publication Date:
2005
Iris type:
03.12 Curatela di monografia/trattato scientifico
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/96852