Publication | Closed Access

The Policy Machine: A novel architecture and framework for access control policy specification and enforcement

Policy MachineSecure Network AccessEngineeringLogical Access ControlInformation SecurityAccess ControlFormal MethodsSecuritySystems EngineeringData PrivacyComputer ScienceNovel ArchitectureFormal VerificationComputer Security ModelData SecurityCryptographyModel-driven Security