Theocharis Tsigkritis, George Spanoudakis
Diagnosing Runtime Violations of Security & Dependability Properties
SEKE, 2008.
@inproceedings{SEKE-2008-TsigkritisS,
author = "Theocharis Tsigkritis and George Spanoudakis",
booktitle = "{Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-22-5",
pages = "661--666",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{Diagnosing Runtime Violations of Security & Dependability Properties}",
year = 2008,
}