Publication | Closed Access
A logic-based approach for enforcing access control1
28
Citations
0
References
2000
Year
Authentication AuthorizationEngineeringInformation SecurityVerificationAuthorizationFormal VerificationAdvanced Authorization MechanismHardware SecurityLogical Access ControlAccess ControlAccess Control1Data PrivacyDerivation RulesComputer ScienceLogic FormalismData SecurityCryptographyAutomated ReasoningFormal MethodsAuthentication Access ControlComputer Security Model
This paper describes an advanced authorization mechanism based on a logic formalism. The model supports both positive and negative authorizations. It also supports derivation rules by which an authorization can be granted on the basis of the presence