On obligations

DOI10.1007/11555827_7MaRDI QIDQ5862662zbMATH OpenOpenAlexFDO

Authors Manuel Hilty, Alexander Pretschner, David Basin

Publication date 9 March 2022

Published in Computer Security – ESORICS 2005 (Search for Journal in Brave)

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

zbMATH Keywords

access controldata ownerdata protectionlinear temporal logicpolicy language

Mathematics Subject Classification ID

Temporal logic (03B44) Computer security (68M25)

Recommendations

• Access control and obligations in the category-based metamodel: a rewrite-based semantics
• Permission to speak: a logic for access control and conformance
• scientific article; zbMATH DE number 1925554
• scientific article; zbMATH DE number 2080689
• Information Security

Cites work

• Flexible support for multiple access control policies
• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 3624762 (Why is no real title available?)
• scientific article; zbMATH DE number 1182731 (Why is no real title available?)
• scientific article; zbMATH DE number 2146561 (Why is no real title available?)
• Metareasoning about security protocols using distributed temporal logic
• Revisiting Software Protection
• Specifying communication in distributed information systems

Cited in

(7)

• Some debts I owe
• Prima facie obligation
• Contrary-to-duty obligations
• Access control and obligations in the category-based metamodel: a rewrite-based semantics
• scientific article; zbMATH DE number 1163372 (Why is no real title available?)
• Conditional Obligation
• An expressive model for the specification and analysis of obligations

This page was built for publication: On obligations

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