Stack-based Access Control and Secure Information Flow (2003)

View PDF

Download Links

by Anindya Banerjee , David A. Naumann
Citations:89 - 18 self

Documents Related by Co-Citation

619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
486 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
774 Security policies and security models – J Goguen, J Meseguer - 1982
443 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
225 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
418 Certification of programs for secure information flow – D E DENNING, P J DENNING - 1977
224 Information flow inference for ML – François Pottier, Vincent Simonet
585 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
590 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999