Documents Related by Co-Citation

388 Enforceable Security Policies – Fred B. Schneider
89 Access Control based on Execution History – Martin Abadi, Cedric Fournet - 2003
619 Security policies and security models – J Goguen, J Meseguer - 1982
65 A Systematic Approach to Static Access Control – François Pottier, Christian Skalka, Scott Smith - 2001
119 IRM Enforcement of Java Stack Inspection – Ulfar Erlingsson, Fred B. Schneider - 2000
379 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
214 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
345 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
201 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
458 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
99 Understanding Java Stack Inspection – Dan S. Wallach, Edward W. Felten - 1998
62 Verification of Control Flow Based Security Properties – T. Jensen , D. Le Métayer, T. Thorn - 1998
79 Inside Java 2 Platform Security – L Gong, G Ellison, M Dageforde - 2003
21 The security architecture formerly known as stack inspection: A security mechanism for language-based systems – Daniel Wallach, Andew Appel, Edward Felten
51 SAFKASI: A Security Mechanism for Language-Based Systems – Dan S. Wallach, Andrew W. Appel, Edward W. Felten - 2000
89 Secure Information Flow and Pointer Confinement in a Java-like Language – Anindya Banerjee, David A. Naumann - 2002
348 Certification of programs for secure information flow – D E Denning, P J Denning - 1977
179 SASI Enforcement of Security Policies: A Retrospective – Ulfar Erlingsson , Fred B. Schneider - 2000
182 Detecting Format String Vulnerabilities with Type – Qualifiers Umesh Shankar, Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner - 2001