Publication | Closed Access

DW-RBAC: A formal security model of delegation and revocation in workflow systems

Workflow SecurityEngineeringInformation SecurityComputer Security ModelVerificationAccess ControlFormal MethodsSystems EngineeringSecure ComputingComputer ScienceWorkflow SystemsFormal VerificationFormal Security ModelData SecurityCryptographyModel-driven Security