Before revision: References Further reading Dennis Volpano, Cynthia Irvine, and Geoffrey Smith, A Sound Type System for Secure Flow Analysis, Journal of Computer Security, 4(2), 1996.
After revision: References Further reading