Provably correct runtime enforcement of non-interference properties (2006)

by V N Venkatakrishnan, W Xu, D C DuVarney, R Sekar
Venue:Information and Communications Security, volume 4307 of Lecture Notes in Computer Science