Engineering secure software and systems: first international symposium, essos 2009 leuven, belgium, february 4-6, 2009, proceedings
Auteur :
Massacci, Fabio
ISBN :
9783642001987
Date de publication :
21 janv. 2009
Dimensions :
23,4 x 15,6 x 1,1 cm
Poids :
305 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009. This book presents the papers that are organized in sections on policy verification and enforcement, model refinement and program transformation, and secure system development.