Abstract non-interference: parameterizing non-interference by abstract interpretation.

Roberto GiacobazziIsabella Mastroeni
Published in: POPL (2004)