Skip to Main content Skip to Navigation
Master Thesis

Defining an Information Flow Control Policy with Declassification and Countermeasures

Abstract : Information systems manage different types of data, commonly classified between public and secret data. The origin of some programs are not known by the final user, having the risk of executing a program and leaking some of the secret data. Information flow control serves to track how are the variables accessed and used in order to know if a program may leak a secret. Information flow policies define how information can flow, allowing no flow from secret to public variables in the case of the noninterference property or accepting certain flows in the case of information declassification. However, countermeasures are not considered at the level of defining a policy. This work intends to give a framework to accept countermeasures during the definition of a policy, improving its expressiveness. The proposals are formally defined in order to allow a future systematization of the security analysis.
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download

https://dumas.ccsd.cnrs.fr/dumas-00725237
Contributor : Co-Responsables Du Mri V. Gouranton Et S. Blazy <>
Submitted on : Friday, August 24, 2012 - 2:06:25 PM
Last modification on : Saturday, July 11, 2020 - 3:23:02 AM
Long-term archiving on: : Sunday, November 25, 2012 - 2:36:05 AM

Identifiers

  • HAL Id : dumas-00725237, version 1

Citation

Llorenç Garcia Cases. Defining an Information Flow Control Policy with Declassification and Countermeasures. Computation and Language [cs.CL]. 2012. ⟨dumas-00725237⟩

Share

Metrics

Record views

314

Files downloads

530