Publication | Closed Access

Ontology-based access control model for security policy reasoning in cloud computing

Security ModellingEngineeringSecurity PolicyLogical Access ControlInformation SecurityCloud ComputingAccess ControlFormal MethodsSecuritySystems EngineeringComputer ScienceFormal VerificationComputer Security ModelData SecurityModel-driven Security