The Internet Archive has a preservation copy of this work in our general collections.
The file type is
Non-interference is a semantic program property that assigns confidentiality levels to data objects and prevents illicit information flows from occurring from high to low security levels. In this paper, we present a novel security model for global non-interference which approximates non-interference as a safety property. We also propose a certification technique for global non-interference of complete Java classes based on rewriting logic, a very general logical and semantic framework that isarXiv:1006.4304v1 fatcat:acvkz35d7jewfmbm6sfkiihswa