Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing policy composition approaches tend to be ad-hoc, and do not explain whether too many or too few policy combinators have been defined.  define an access controlpolicy as a  four-valued  predicate that maps accesses to either  grant, deny, conflict , or  unspecified . These correspond to the four elements of the Belnap bilattice. Functions on this bilattice are then extended to policies to serve as policy combinators.  argue that this approach provides a simple andnatural semantic framework for policy composition, with a minimal but functionally complete set of policy combinators.  define derived, higher-level operators that are convenient for the specification of access control policies, and enable the decoupling of conflict resolution from policy composition. Finally,  propose a basic query language and show that it can reduce important analyses (e.g., conflict analysis) to checks of policy refinement.
['Glenn Bruns', 'Daniel S. Dantas', 'Michael Huth']
I am writing a research paper on a idea A simple and expressive semantic framework for policy composition in access control
[{"from": "human", "value": "I am writing a research paper on a idea A simple and expressive semantic framework for policy composition in access control"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing policy composition approaches tend to be ad-hoc, and do not explain whether too many or too few policy combinators have been defined.  define an access controlpolicy as a  four-valued  predicate that maps accesses to either  grant, deny, conflict , or  unspecified . These correspond to the four elements of the Belnap bilattice. Functions on this bilattice are then extended to policies to serve as policy combinators.  argue that this approach provides a simple andnatural semantic framework for policy composition, with a minimal but functionally complete set of policy combinators.  define derived, higher-level operators that are convenient for the specification of access control policies, and enable the decoupling of conflict resolution from policy composition. Finally,  propose a basic query language and show that it can reduce important analyses (e.g., conflict analysis) to checks of policy refinement."}]