TY - GEN
T1 - Towards a logical account of declassification
AU - Banerjee, Anindya
AU - Naumann, David A.
AU - Rosenberg, Stan
PY - 2007
Y1 - 2007
N2 - Declassification is a vital ingredient for practical use of secure systems. Several recent efforts to formulate an end-to-end policy for declassification seem inconclusive and have focused on apparently different aspects. (e.g., what values are involved, where in the code declassification occurs, when declassification happens and who (which principal) releases information.) In this informal paper, we argue that key security goals addressed by the proposed notions can be expressed using assertions and auxiliary state (such as event history), building on a recently developed logic for noninterference that provides for local reasoning about the heap.
AB - Declassification is a vital ingredient for practical use of secure systems. Several recent efforts to formulate an end-to-end policy for declassification seem inconclusive and have focused on apparently different aspects. (e.g., what values are involved, where in the code declassification occurs, when declassification happens and who (which principal) releases information.) In this informal paper, we argue that key security goals addressed by the proposed notions can be expressed using assertions and auxiliary state (such as event history), building on a recently developed logic for noninterference that provides for local reasoning about the heap.
KW - Aliasing
KW - Confidentiality
KW - Information flow
UR - http://www.scopus.com/inward/record.url?scp=36448951937&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=36448951937&partnerID=8YFLogxK
U2 - 10.1145/1255329.1255340
DO - 10.1145/1255329.1255340
M3 - Conference contribution
AN - SCOPUS:36448951937
SN - 1595937110
SN - 9781595937117
T3 - PLAS'07 - Proceedings of the 2007 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
SP - 61
EP - 66
BT - PLAS'07 - Proceedings of the 2007 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
T2 - PLAS'07 - 2007 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
Y2 - 14 June 2007 through 14 June 2007
ER -