Dimensions and principles of declassification

By Andrei Sabelfeld, David Sands. 18th IEEE Computer Security Foundations Workshop (CSFW'05), 2005

296 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems, Signal Processing

View Paper: https://www.semanticscholar.org/paper/b8dc964166b780fcb8ea871e1508e42c46d93824

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. D. Clarke
2. César Sánchez
3. Bernd Finkbeiner
4. Markus Norman Rabe
5. Wim Beck
6. Geoffrey Smith
7. Michael R. Clarkson
8. Dimiter Milushev

In Information Systems

1. D. Clarke
2. Markus Norman Rabe
3. Wim Beck
4. Geoffrey Smith
5. Michael R. Clarkson
6. Dimiter Milushev

In Signal Processing

1. D. Clarke
2. Wim Beck
3. Geoffrey Smith
4. Michael R. Clarkson
5. Dimiter Milushev

Citations in the corpus

• Temporal Logics for Hyperproperties (2013, background): “More flexible security policies have been designed to permit declassification of information; see [61] for a survey.”
• On the Foundations of Quantitative Information Flow (2009, background): “A variety of approaches for dealing with these sorts of deliberate violations of noninterference are currently being explored; see Sabelfeld and Sands [4] for a survey.”
• Noninterference via Symbolic Execution (2012, background): “Declassification is also a well-studied topic (see [18] for an overview).”