Formal specification of security requirements using the theory of normative positions
From MaRDI portal
Publication:5857802
DOI10.1007/BFb0013894zbMath1458.68034MaRDI 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
03B45: Modal logic (including the logic of norms)
68Q60: Specification and verification (program logics, model checking, etc.)
68M25: Computer security
Related Items
A modal action logic based framework for organization specification and analysis, Permission to speak: a logic for access control and conformance, Deontic STIT logic, from logical paradox to security policy