Formal specification of security requirements using the theory of normative positions
From MaRDI portal
Publication:5857802
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
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