In this paper, we propose a general unwinding framework for formalizing different noninterference properties permitting downgrading, i.e., allowing information ...
scholar.google.com › citations
Information flow security properties such as noninterfe- rence ensure the protection of confidential data by strongly limiting the flow of sensitive ...
In many practical applications confidential data can flow from high to low provided that the flow is not direct and it is controlled by the system, i.e.,.
This paper proposes a general unwinding framework for formalizing different noninterference properties permitting downgrading, i.e., allowing information to ...
Information flow security properties such as noninterferenceensure the protection of confidential data by stronglylimiting the flow of sensitive information.
In this paper, we propose a general unwinding framework for formalizing different noninterference properties permitting downgrading, i.e., allowing information ...
In traditional security models, information downgrading is however most of the time not taken into account and must be managed by external systems. In some ...
People also ask
What is the information flow model of security?
What are the three layers of the information security model explain?
By comparing the user input with the password and sending the result back to the user, data flows from high to low, thus the noninterference property is ...
Type systems and program analyses have been defined that not only attempt to control information flow but also support downgrading, an escape hatch that enables ...
Aug 31, 2017 · Mechanisms for downgrading information are needed to capture real-world security requirements, but downgrading eliminates the strong ...