Danilo Bruschi Bart De Win Seok-Won Lee Mattia Monga The 3rd International Workshop on Software Engineering for Secure Systems SESS07 - Dependable and Secure. 111-112 2007 conf/icse/2007c ICSE Companion http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.75 db/conf/icse/icsec2007.html#BruschiWLM07