Eliminating Covert Flows with Minimum Typings (1997)

by Dennis Volpano , Geoffrey Smith
Venue:In Proc. 10th IEEE Computer Security Foundations Workshop
Citations:67 - 6 self

Active Bibliography

203 Secure information flow in a multi-threaded imperative language – Geoffrey Smith, Dennis Volpano - 1998
576 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
34 Dynamic vs. static flow-sensitive security analysis – Alejandro Russo, Andrei Sabelfeld - 2010
414 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
On Flow-Sensitive Security Types – Sebastian Hunt Department, Sebastian Hunt, David Sands - 2006
1 A Program Transformation Technique for Enforcement of Information Flow Properties – V. N. Venkatakrishnan, Daniel C. Duvarney, Wei Xu, R. Sekar - 2004
Language-Based Approaches to Secure Information Flow – Eric Poblenz - 2004
6 Secure flow typing – Dennis Volpano, Cynthia Irvine - 1997
Modular Reasoning about . . . – Sruthi Bandhakavi - 2005
4 Checking secure information flow in java bytecode by code transformation and standard bytecode verification – C. Bernardeschi, N. De Francesco, G. Lettieri, L. Martini
8 The SLam Calculus: Programming with Security and Integrity – Nevin Heintze, Jon G. Riecke - 1998
19 The Impact of Synchronisation on Secure Information Flow in Concurrent Programs – Andrei Sabelfeld - 2001
8 Proving abstract non-interference – Roberto Giacobazzi, Isabella Mastroeni - 2004
73 A Semantic Approach to Secure Information Flow – K. Rustan M. Leino, Rajeev Joshi - 1997
19 Provably Correct Runtime Enforcement of Non-Interference Properties – V. N. Venkatakrishnan, Wei Xu, Daniel C. DuVarney, R. Sekar
449 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
55 Mostly-Static Decentralized Information Flow Control – Andrew C. Myers - 1999
126 Probabilistic Noninterference for Multi-threaded Programs – Andrei Sabelfeld , David Sands - 1999
90 A Per Model of Secure Information Flow in Sequential Programs – Andrei Sabelfeld , David Sands - 1998