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
Dimitrakos, Theo.
Martinelli, F. (Fabio)
IFIP World Computer Congress 2004 : Toulouse, France)
text
New York
Springer
2005
monographic
x, 246 p. : ill. ; 25 cm.
edited by Theo Dimitrakos, Fabio Martinelli.
Includes bibliographical references.
Computer security
Congresses
Formal methods (Computer science)
Congresses
Trust
Congresses
International Federation of Information Processing ; 173
International Federation for Information Processing (Series) ; 173
0387240500 (hbk.)
20230123133953.0