Inference Control on Information Flow in Logic Programming
This paper proposes a formal representation of inference control on information flow theory in logic programming.
In order to control the fact that the result returned by a query can convey confidential information, we propose the notion of indistinguishability of flow and elaborate definitions of protection mechanisms, secure mechanisms, precise mechanisms and confidentiality policies based on this notion. We give a secure and precise protection mechanism that prohibits any undesirable inferences and minimizes the number of denials of legitimate actions.
- There are currently no refbacks.
This work is licensed under a Creative Commons Attribution 3.0 License.