TUHH Open Research
Help
  • Log In
    New user? Click here to register.Have you forgotten your password?
  • English
  • Deutsch
  • Communities & Collections
  • Publications
  • Research Data
  • People
  • Institutions
  • Projects
  • Statistics
  1. Home
  2. TUHH
  3. Publication References
  4. Who can declassify?
 
Options

Who can declassify?

Publikationstyp
Conference Paper
Date Issued
2008-10
Sprache
English
Author(s)
Lux, Alexander  
Mantel, Heiko 
TORE-URI
http://hdl.handle.net/11420/13914
First published in
Lecture notes in computer science  
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
5th International Workshop on Formal Aspects in Security and Trust, FAST 2008  
Publisher DOI
10.1007/978-3-642-01465-9_3
Scopus ID
2-s2.0-67650688395
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
TUHH
Weiterführende Links
  • Contact
  • Send Feedback
  • Cookie settings
  • Privacy policy
  • Impress
DSpace Software

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science
Design by effective webwork GmbH

  • Deutsche NationalbibliothekDeutsche Nationalbibliothek
  • ORCiD Member OrganizationORCiD Member Organization
  • DataCiteDataCite
  • Re3DataRe3Data
  • OpenDOAROpenDOAR
  • OpenAireOpenAire
  • BASE Bielefeld Academic Search EngineBASE Bielefeld Academic Search Engine
Feedback