Engineering Secure Software and Systems - Massacci, Fabio; Kanade, Takeo; Redwine, Samuel T.; Zannone, Nicola; Redwine, Samuel (Springer Berlin Heidelberg, 2009)