HP Labs Technical Reports

Click here for full text: Postscript PDF

Causal Security

Mowbray, Miranda



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

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map][Home] [Hewlett-Packard]