Publication | Closed Access

Model checking authorization requirements in business processes

EngineeringInformation SecurityVerificationFormal MethodsProcess SpecificationAuthorization RequirementsConformance CheckingComputer ScienceFormal VerificationModel-driven Security