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

Cached

Download Links

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

Documents Related by Co-Citation

576 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
449 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
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
228 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
221 Information flow inference for ML – François Pottier, Vincent Simonet
399 Certification of programs for secure information flow – D E Denning, P J Denning - 1977
107 Dimensions and Principles of Declassification – Andrei Sabelfeld , David Sands - 2005
110 Noninterference, transitivity and channel-control security policies – John Rushby - 1992
69 Security policies for downgrading – S Chong, A C Myers - 2004
68 Information Transmission in Sequential Programs – E S Cohen - 1978
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
26 Modular and Constraint-based Information Flow Inference for an Object-oriented Language – Qi Sun, Anindya Banerjee, David A. Naumann - 2004
17 Controlled downgrading based on intransitive (non)interference – H Mantel, D Sands - 2004
211 Protecting privacy using the decentralized label model – Andrew C. Myers, Barbara Liskov - 2000
80 A Theorem Proving Approach to Analysis of Secure Information Flow – Adam Darvas, Reiner Hähnle, David Sands - 2003
57 A logic for information flow in objectoriented programs – Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee - 2006
20 Designing a security-typed language with certificate-based declassification – Stephen Tse, Steve Zdancewic - 2005
139 Robust Declassification – Steve Zdancewic, Andrew C. Myers - 2001