Michael Backes David A. Basin Michael Waidner Preface. 561 2007 15 Journal of Computer Security 6 http://iospress.metapress.com/content/p0w5x2m8617245q4/ db/journals/jcs/jcs15.html#BackesBW07