Documents Related by Co-Citation

379 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
345 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
458 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
619 Security policies and security models – J Goguen, J Meseguer - 1982
89 Secure Information Flow and Pointer Confinement in a Java-like Language – Anindya Banerjee, David A. Naumann - 2002
214 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
348 Certification of programs for secure information flow – D E Denning, P J Denning - 1977
81 A Per Model of Secure Information Flow in Sequential Programs – Andrei Sabelfeld , David Sands - 1998
201 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
122 Robust Declassification – Steve Zdancewic, Andrew C. Myers - 2001
67 Information Flow Inference For Free – Franois Pottier, Sylvain Conchon - 2000
126 A type-based approach to pro-gram security – Dennis Volpano, Geoffrey Smith - 1997
66 Complete, Safe Information Flow with Decentralized Labels – Andrew C. Myers, Barbara Liskov - 1998
71 A Semantic Approach to Secure Information Flow – K. Rustan M. Leino, Rajeev Joshi - 1997
95 Jif: Java information flow. Software release. Located at http://www.cs.cornell.edu/jif – A C Myers, L Zheng, S Zdancewic, S Chong, N Nystrom - 2001
478 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
181 Secure information flow in a multi-threaded imperative language – Geoffrey Smith, Dennis Volpano - 1998
56 Information transmission in sequential programs,” in Foundations of Secure Computation – E S Cohen - 1978
699 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999