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

Author:edited by Theo Dimitrakos, Fabio Martinelli.
Publisher:International Federation for Information Processing
ISBN:9780387240985 (electronic bk.) ; 9780387240503 (paper)
Publication Date:2005
其他作者:Dimitrakos, Theo. ; Martinelli, Fabio.
語言:zh
出版地:Boston, MA :
Description

x, 246 p. ::ill., digital ;:25 cm.