HP Labs Technical Reports

Causal Security

Mowbray, Miranda

HPL-91-147

Keyword(s):

Abstract: In this paper I give a new definition of Security, using causal observations. This has several advantages over more common definitions of Security, including the fact that it is possible to have secure systems with audit files, and that the hookup property is satisfied. I describe several ways of augmenting secure systems so that the resulting systems are still secure. I use one of these to prove that if a system satisfies the definition then it will not succumb to high-level Trojan horse attacks.

Back to Index