Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli. Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electronic Notes in Theoretical Computer Science, 62:211-228, 2001. [doi]
Abstract is missing.