Todd Fine Defining Noninterference in the Temporal Logic of Actions. 12-21 1996 conf/sp/1996 IEEE Symposium on Security and Privacy http://dx.doi.org/10.1109/SECPRI.1996.502665 db/conf/sp/sp1996.html#Fine96