Title :
Non-interference in constructive authorization logic
Author :
Garg, Deepak ; Pfenning, Frank
Author_Institution :
Carnegie Mellon Univ., Pittsburgh, PA
Abstract :
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access control policies expressed in the logic and their implementation coincide. We study the proof-theoretic consequences of our design including cut-elimination and two non-interference properties that allow administrators to explore the correctness of their policies by establishing that for a given policy, assertions made by certain principals will not affect the truth of assertions made by others
Keywords :
authorisation; inference mechanisms; access control policies; associated inference rules; constructive authorization logic noninterference; cut-elimination; proof-theoretic consequences; Access control; Authentication; Authorization; Computer security; Conferences; Cryptography; Digital signatures; Logic design; Principal component analysis; Proposals;
Conference_Titel :
Computer Security Foundations Workshop, 2006. 19th IEEE
Conference_Location :
Venice
Print_ISBN :
0-7695-2615-2
DOI :
10.1109/CSFW.2006.18
