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