Formal specification of security requirements using the theory of normative positions

DOI10.1007/BFb0013894zbMath1458.68034OpenAlexW1528726871MaRDI QIDQ5857802

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) Specification and verification (program logics, model checking, etc.) (68Q60) Computer security (68M25)

Related Items (3)

Permission to speak: a logic for access control and conformance ⋮ Deontic STIT logic, from logical paradox to security policy ⋮ A modal action logic based framework for organization specification and analysis

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