A State-Machine Approach to Non-Interference.

William R. Bevier William D. Young A State-Machine Approach to Non-Interference. 55-70 1995 3 Journal of Computer Security 1 db/journals/jcs/jcs3.html#BevierY95