Formal aspects of security: first international conference, fasec 2002, london, uk, december 16-18, 2002, revised papers
Auteur :
Abdallah, Ali E.
ISBN :
9783540206934
Date de publication :
3 déc. 2003
Dimensions :
23,4 x 15,6 x 1,3 cm
Poids :
364 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Formal Aspects of Security, FASec 2002, held in London, UK, in December 2002.The 11 revised full papers presented together with 7 invited contributions were carefully reviewed, selected, and improved for inclusion in the book.