http://ieeeexplore.ieee.org/ All articles written by John Graham-Cumming from Computer Security Foundations Workshop Copyright (c) 2007 John Graham-Cumming Wed, 9 Jul 2008 17:06:50 +0100 Wed, 9 Jul 2008 17:06:50 +0100 Computer Security Foundations Workshop article entitled 'June 1992: Some Laws of Non-interference in CSP' http://ieeexplore.ieee.org/xpl/tocresult.jsp?isNumber=6076 Mon, 1 Jun 1992 00:00:00 +0100 Computer Security Foundations Workshop article entitled 'June 1991: On the Refinement of Non-interference (with JW Sanders)' http://ieeexplore.ieee.org/xpl/tocresult.jsp?isNumber=3978 Sat, 1 Jun 1991 00:00:00 +0100