Publication | Open Access

Ponder: A Language for Specifying Security and Management Policies for Distributed Systems

Information Security ManagementEngineeringInformation SecurityComputer Security ModelFormal MethodsSecuritySoftware EngineeringManagement PoliciesSecure By DesignDistributed SystemsComputer ScienceFormal VerificationLanguage-based SecuritySoftware DesignData SecurityModel-driven Security