(2006)
Computer, Vol. 36, No. 7. (2003), pp. 55-62.
(2003), pp. 193-206.
VM '04, pp. 29-41.
(2004), pp. 16-16.
Vol. 39, No. 11. (November 2004), pp. 85-96.
ACM Trans. Program. Lang. Syst., Vol. 22, No. 4. (July 2000), pp. 701-771.
Computers and Communications, 1995. Proceedings., IEEE Symposium on (1995), pp. 157-163.
(2007), pp. 351-366.
SIGOPS Oper. Syst. Rev., Vol. 39, No. 5. (December 2005), pp. 17-30.
14th USENIX Security Symposium, pp. 177-192.
ACM Trans. Inf. Syst. Secur., Vol. 3, No. 4. (November 2000), pp. 262-294.
SIGOPS Oper. Syst. Rev., Vol. 35, No. 5. (December 2001), pp. 73-88.
ACM Trans. Inf. Syst. Secur., Vol. 9, No. 1. (February 2006), pp. 61-93.
14th USENIX Security Symposium, pp. 271-286.
SIGOPS Oper. Syst. Rev., Vol. 27, No. 5. (December 1993), pp. 203-216.
12th USENIX Security Symposium
Security and Privacy, 2001. S&P 2001. Proceedings. 2001 IEEE Symposium on (2001), pp. 156-168.
ACM Trans. Softw. Eng. Methodol., Vol. 9, No. 4. (October 2000), pp. 410-442.
SIGOPS Oper. Syst. Rev., Vol. 39, No. 5. (December 2005), pp. 133-147.
Software, IEEE, Vol. 19, No. 1. (2002), pp. 42-51.
Information Assurance Workshop, 2004. Proceedings from the Fifth Annual IEEE SMC (2004), pp. 210-217.
(2005)
(2002), pp. 255-264.
(2000), pp. 174-183.
Operating Systems, 1997., The Sixth Workshop on Hot Topics in (1997), pp. 56-61.
ACM Trans. Inf. Syst. Secur., Vol. 5, No. 1. (February 2002), pp. 36-61.
(1987), pp. 411-420.
(1994), pp. 282-292.
Vol. 39, No. 5. (December 2005), pp. 31-44.
(2005), pp. 330-339.
(2003), pp. 178-192.
ACM Trans. Comput. Syst., Vol. 20, No. 3. (August 2002), pp. 283-328.
Vol. 39, No. 5. (December 2005), pp. 17-30.