Documents Related by Co-Citation

721 Security policies and security models – J A Goguen, J Meseguer - 1982
414 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
126 Probabilistic Noninterference for Multi-threaded Programs – Andrei Sabelfeld , David Sands - 1999
203 Secure information flow in a multi-threaded imperative language – Geoffrey Smith, Dennis Volpano - 1998
155 Transforming out Timing Leaks – Johan Agat - 2000
399 Certification of programs for secure information flow – D E Denning, P J Denning - 1977
235 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
553 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
576 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
68 Information Transmission in Sequential Programs – E S Cohen - 1978
228 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
114 Specifications for multi-level security and a hook-up property – D McCullough - 1987
245 Secrecy by Typing in Security Protocols – Martín Abadi - 1998
449 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
783 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
90 A Per Model of Secure Information Flow in Sequential Programs – Andrei Sabelfeld , David Sands - 1998
114 Jif: Java + information flow. Software release. Located at http://www.cs.cornell.edu/jif – A C MYERS, N NYSTROM, L ZHENG, S ZDANCEWIC - 2001
153 A General Theory of Composition for Trace Sets Closed under Selective Interleaving Functions – John McLean - 1994
73 A Semantic Approach to Secure Information Flow – K. Rustan M. Leino, Rajeev Joshi - 1997