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]

No reviews for this publication, yet.