Formal aspects in security and trust: fourth international workshop, fast 2006, hamilton, ontario, canda, august 26-27, 2006, revised selected papers
Auteur :
Dimitrakos, Theo
ISBN :
9783540752264
Date de publication :
17 sept. 2007
Dimensions :
23,4 x 15,6 x 1,5 cm
Poids :
456 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed post-proceedings of the Fourth International Workshop on Formal Aspects in Security and Trust, FAST 2006, held in Hamilton, Ontario, Canada, August 26-27, 2006. This book includes papers that focus on formal aspects in security and trust policy models, security protocol design and analysis, and trust-based reasoning.