dc.contributor.advisor | Kozyri, Elisavet | |
dc.contributor.advisor | Johansen, Håvard D. | |
dc.contributor.author | Hansen, Steinar Brenna | |
dc.date.accessioned | 2022-08-08T08:52:50Z | |
dc.date.available | 2022-08-08T08:52:50Z | |
dc.date.issued | 2022-06-01 | |
dc.description.abstract | An emerging problem in systems security is controlling how a program uses the
data it has access to. Information Flow Control (ifc) propagates restrictions
on data by following the flow of information, for example if a secret value
flows to a public value, that value should be considered secret as well. A
common problem in ifc is reclassification of data, for instance to explicitly
make data less restricted. An ifc mechanism often has strict flow rules in
its normal operation, but reclassification by definition need to bypass these
restrictions.
This thesis proposes correctness criteria that aim to provide stronger semantic
guarantees for the behavior of reclassification functions. We first conduct a
survey on prior work in IFC, which concludes that little emphasis has been put
on crystallizing such criteria. We then define a set of criteria for reclassification
and implement a parser to enforce these criteria. If a piece of code is successfully
analyzed by the parser, then that code can be safely used to reclassify data. Rust
is emerging as one of the more prominent languages for systems programming
due to its memory safety, and we conjecture this can be analogously continued
to target ifc as well. | en_US |
dc.identifier.uri | https://hdl.handle.net/10037/26005 | |
dc.language.iso | eng | en_US |
dc.publisher | UiT Norges arktiske universitet | en_US |
dc.publisher | UiT The Arctic University of Norway | en_US |
dc.rights.accessRights | openAccess | en_US |
dc.rights.holder | Copyright 2022 The Author(s) | |
dc.rights.uri | https://creativecommons.org/licenses/by-nc-sa/4.0 | en_US |
dc.rights | Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) | en_US |
dc.subject.courseID | INF-3981 | |
dc.subject | VDP::Technology: 500::Information and communication technology: 550::Computer technology: 551 | en_US |
dc.subject | VDP::Teknologi: 500::Informasjons- og kommunikasjonsteknologi: 550::Datateknologi: 551 | en_US |
dc.title | Correctness Criteria for Function-Based Reclassifiers: A Language Based Approach | en_US |
dc.type | Master thesis | en_US |
dc.type | Mastergradsoppgave | en_US |