Information Flow Control in Object-Oriented Systems

In this paper, we describe a high assurance discretionary access control model for object-oriented systems. The model not only ensures protection against Trojan horses leaking information, but prov...