Adjoining classified and unclassified information by abstract interpretation

Roberto Giacobazzi, Isabella Mastroeni. Adjoining classified and unclassified information by abstract interpretation. Journal of Computer Security, 18(5):751-797, 2010. [doi]

Abstract

Abstract is missing.