Formal specification of security requirements using the theory of normative positions

DOI10.1007/BFB0013894MaRDI QIDQ5857802zbMATH OpenOpenAlexFDO

Authors Andrew J. I. Jones, Marek Sergot

Publication date 7 April 2021

Published in Computer Security — ESORICS 92 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0013894

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Computer security (68M25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A computational theory of normative positions
• Towards specifying norms
• scientific article; zbMATH DE number 1735836
• scientific article; zbMATH DE number 1405888
• Normative positions

Cited in

(7)

• Towards specifying norms
• Deontic STIT logic, from logical paradox to security policy
• A modal action logic based framework for organization specification and analysis
• Formal requirements for utility and value functions for security‐related decisions
• A computational theory of normative positions
• Permission to speak: a logic for access control and conformance
• The formal specification of safety requirements for storing explosives

This page was built for publication: Formal specification of security requirements using the theory of normative positions

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