"Diagnosing Runtime Violations of Security & Dependability Properties."

Theocharis Tsigkritis, George Spanoudakis (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics