Lux, AlexanderAlexanderLuxMantel, HeikoHeikoMantel2022-11-032022-11-032008-10Lecture Notes in Computer Science 5491 LNCS: 35-49 (2009-07-23)http://hdl.handle.net/11420/13914Noninterference 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.enInformatikConference Paper10.1007/978-3-642-01465-9_3Other