John Graham-Cumming Some Laws of Non-Interference. 22-33 1992 CSFW db/conf/csfw/csfw1992.html#Graham-Cumming92