A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Information flow controls vs inference controls: An integrated approach
[chapter]
1994
Lecture Notes in Computer Science
This paper proposes a formal method for modeling database security based on a logical interpretation of two problems: the (internal) information flow controls and the (external) information inference controis. Examples are developed that illustrate the inability of "classical" security models such as non-interference and non-deducibility to completely take into account the inference problem, because both are too constraining: the former model leads to the existence problem, whereas the latter
doi:10.1007/3-540-58618-0_78
fatcat:hcyq6hpe7bax7ghuvcypifjrwu