Runtime verification of declassification for imperative programs: Formal foundations.

Thomas Demongeot, Julien Mallet, Yves Le Traon

Browse the full CRiSIS paper archive.