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 metadata

Cited literature [4 references]  Display  Hide  Download
Contributor : Co-Responsables Du Mri V. Gouranton Et S. Blazy Connect in order to contact the contributor
Submitted on : Friday, August 24, 2012 - 2:06:25 PM
Last modification on : Tuesday, October 19, 2021 - 11:58:53 PM
Long-term archiving on: : Sunday, November 25, 2012 - 2:36:05 AM


  • HAL Id : dumas-00725237, version 1


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



Record views


Files downloads