Options
Who can declassify?
Publikationstyp
Conference Paper
Date Issued
2008-10
Sprache
English
Author(s)
Mantel, Heiko
First published in
Number in series
5491 LNCS
Start Page
35
End Page
49
Citation
Lecture Notes in Computer Science 5491 LNCS: 35-49 (2009-07-23)
Contribution to Conference
Publisher DOI
Scopus ID
Publisher
Springer
Noninterference provides reliable guarantees for the confidentiality of sensitive information, but it is too restrictive if exceptions shall be permitted. Although many approaches to permitting and controlling exceptional information release have been proposed, the problem of declassification is not yet satisfactorily solved. The aim of our project is to proviDe adequate control for declassification in language-based security. The main contribution of this article is a novel approach for controlling who can initiate a declassification. Our contributions incluDe a formal security condition and a sound approach to statically enforcing this condition. This article complements our earlier work on controlling where declassification can occur and what can be declassified.
DDC Class
004: Informatik