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 - Workshop on Formal Aspects in Security and Trust 2004 : Toulouse, France); Dimitrakos, Theo.; Martinelli, Fabio; SpringerLink (Online service) (Boston, MA : International Federation for Information Processing, 2005)
Keywords: Computer security -- congresses; Formal methods (Computer science) -- Congresses; Trust -- Congresses; Computer Science; Performance and Reliability; Data Structures, Cryptology and Information Theory; Data Encryption; Pattern Recognition; Information Systems and Communication Service; Models and Principles