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 /

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 / edited by Theo Dimitrakos, Fabio Martinelli. - New York : Springer 2005. - x, 246 p. : ill. ; 25 cm. - International Federation of Information Processing ; 173 . - International Federation for Information Processing (Series) ; 173. .

Includes bibliographical references.

0387240500 (hbk.)


Computer security--Congresses.
Formal methods (Computer science)--Congresses.
Trust--Congresses.