A Per Model of Secure Information Flow in Sequential Programs (1998)

by Andrei Sabelfeld , David Sands
Venue:HIGHER-ORDER AND SYMBOLIC COMPUTATION
Citations:89 - 18 self

Active Bibliography

28 A Unifying Approach to the Security of Distributed and Multi-Threaded Programs – Heiko Mantel, Andrei Sabelfeld - 2002
18 A Generic Approach to the Security of Multi-Threaded Programs – Heiko Mantel, Andrei Sabelfeld - 2001
3 Semantic Models for the Security of Sequential and Concurrent Programs – Andrei Sabelfeld - 2001
6 Decidability and proof systems for language-based noninterference relations – Mads Dam
Making distributed computation secure by construction – Lantian Zheng - 2007
19 The Impact of Synchronisation on Secure Information Flow in Concurrent Programs – Andrei Sabelfeld - 2001
126 Probabilistic Noninterference for Multi-threaded Programs – Andrei Sabelfeld , David Sands - 1999
576 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
139 Robust Declassification – Steve Zdancewic, Andrew C. Myers - 2001
31 Enforcing robust declassification and qualified robustness – Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic - 2006
211 Protecting privacy using the decentralized label model – Andrew C. Myers, Barbara Liskov - 2000
101 Secure Information Flow and Pointer Confinement in a Java-like Language – Anindya Banerjee, David A. Naumann - 2002
51 Information Flow Security in Dynamic Contexts – Riccardo Focardi, Sabina Rossi - 2002
66 A Model for Delimited Information Release – Andrei Sabelfeld, Andrew C. Myers - 2004
3 Principles of Secure Information Flow Analysis – Geoffrey Smith - 2007
14 Confinement Properties for Programming Languages – Dennis Volpano, Geoffrey Smith - 1998
3 A Perspective on Information-Flow Control – Daniel Hedin , Andrei Sabelfeld - 2011
48 Observational Determinism for Concurrent Program Security – Steve Zdancewic, Andrew C. Myers - 2003
67 Secure Program Partitioning – Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers - 2001