1997 · 285 citations · 18 references
ComputingComputer ScienceComputer SystemsAccess ManagementComputer SecuritySecurity PolicyAccess ControlAccess RightsAuthorizationPolicy-based Access ControlSecurity ControlsSystem SecurityAccess Control EnforcementAuthorization ManagementAuthorization ModelsAuthorization PoliciesControl ActionsPolicy Enforcement
Although several access control policies can be devised for controlling access to information, all existing authorization models, and the corresponding enforcement mechanisms, are based on a specific policy (usually the closed policy). As a consequence, although different policy choices are possible in theory, in practice only a specific policy can be actually applied within a given system. However, protection requirements within a system can vary dramatically, and no single policy may simultaneously satisfy them all.
18
The stable model semantics for logic programming
Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations
The Chinese Wall security policy
David Brewer, Mike Nash · 2003 · 887 citations
The alternating fixpoint of logic programs with negation
Allen Van Gelder · 1989 · 372 citations · Full text