Mantel, Heiko ; Reinhard, Alexander
Hrsg.: Nicola, Rocco De (2007)
Controlling the What and Where of Declassification in Language-Based Security.
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassification.Sabelfeld and Sands categorized the existing approaches to controlling declassification in their overview along four dimensions and according to four prudent principles.In this article, we propose three novel security conditions for controlling the dimensions where and what, and we explain why these conditions constitute improvements over prior approaches. Moreover, we present a type-based security analysis and, as another novelty, prove a soundness result that considers more than one dimension of declassification.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2007 |
| Herausgeber: | Nicola, Rocco De |
| Autor(en): | Mantel, Heiko ; Reinhard, Alexander |
| Art des Eintrags: | Bibliographie |
| Titel: | Controlling the What and Where of Declassification in Language-Based Security |
| Sprache: | Englisch |
| Publikationsjahr: | 2007 |
| Verlag: | Springer |
| Buchtitel: | European Symposium on Programming (ESOP) |
| Reihe: | LNCS |
| Band einer Reihe: | 4421 |
| Kurzbeschreibung (Abstract): | While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassification.Sabelfeld and Sands categorized the existing approaches to controlling declassification in their overview along four dimensions and according to four prudent principles.In this article, we propose three novel security conditions for controlling the dimensions where and what, and we explain why these conditions constitute improvements over prior approaches. Moreover, we present a type-based security analysis and, as another novelty, prove a soundness result that considers more than one dimension of declassification. |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Modellierung und Analyse von Informationssystemen (MAIS) |
| Hinterlegungsdatum: | 31 Dez 2016 09:57 |
| Letzte Änderung: | 03 Jun 2018 21:30 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum