Thomas Demongeot, Julien Mallet, Yves Le Traon. Runtime verification of declassification for imperative programs: Formal foundations. In Anas Abou El Kalam, Yves Deswarte, Mahmoud Mostafa, editors, CRiSIS 2009, Post-Proceedings of the Fourth International Conference on Risks and Security of Internet and Systems, Toulouse, France, October 19-22, 2009. pages 43-50, IEEE, 2009. [doi]
@inproceedings{DemongeotMT09,
title = {Runtime verification of declassification for imperative programs: Formal foundations},
author = {Thomas Demongeot and Julien Mallet and Yves Le Traon},
year = {2009},
doi = {10.1109/CRISIS.2009.5411980},
url = {http://dx.doi.org/10.1109/CRISIS.2009.5411980},
tags = {program verification},
researchr = {https://researchr.org/publication/DemongeotMT09},
cites = {0},
citedby = {0},
pages = {43-50},
booktitle = {CRiSIS 2009, Post-Proceedings of the Fourth International Conference on Risks and Security of Internet and Systems, Toulouse, France, October 19-22, 2009},
editor = {Anas Abou El Kalam and Yves Deswarte and Mahmoud Mostafa},
publisher = {IEEE},
}