A modal logical framework for security policies

DOI10.1007/3-540-63614-5_56MaRDI QIDQ4366601zbMATH OpenFDO

Authors Frédéric Cuppens, Robert Demolombe

Publication date 15 April 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63614-5_56

zbMATH Keywords

confidentialityknowledge representationmodal logicsecurity in information systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Database theory (68P15) Knowledge representation (68T30)

Recommendations

• A logical approach to multilevel security of probabilistic systems
• Privacy policies with modal logic: the dynamic turn
• A linear logic of authorization and knowledge
• Logical approaches to authorization policies
• MODAL LOGICS IN THE THEORY OF INFORMATION SYSTEMS

Cited in

(9)

• Unauthorized inferences in semistructured databases
• Specifying and verifying organizational security properties in first-order logic
• Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic
• Reasoning with an Incomplete Information Exchange Policy
• Beyond separation of duty
• Privacy policies with modal logic: the dynamic turn
• A logical approach to multilevel security of probabilistic systems
• A Modal Deconstruction of Access Control Logics
• A kernelized architecture for multilevel secure application policies

This page was built for publication: A modal logical framework for security policies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4366601)