Theocharis Tsigkritis George Spanoudakis Diagnosing Runtime Violations of Security & Dependability Properties. 661-666 2008 SEKE conf/seke/2008 db/conf/seke/seke2008.html#TsigkritisS08