Active Bibliography

619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
243 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
95 A Per Model of Secure Information Flow in Sequential Programs – Andrei Sabelfeld , David Sands - 1998
486 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
209 Secure information flow in a multi-threaded imperative language – Geoffrey Smith, Dennis Volpano - 1998
229 Protecting privacy using the decentralized label model – Andrew C. Myers, Barbara Liskov - 2000
1213 Lattice-Based Access Control Models – Ravi S. Sandhu - 1993
544 Data Security – Dorothy E. Denning, Peter J. Denning - 1979
9 Secure flow typing – Dennis Volpano, Cynthia Irvine - 1997