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

linear temporal logicaccess controldata protectionpolicy languagedata owner

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

• 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?)
• Flexible support for multiple access control policies
• Metareasoning about security protocols using distributed temporal logic
• Revisiting Software Protection
• Specifying communication in distributed information systems

Cited in

(6)

• scientific article; zbMATH DE number 1163372 (Why is no real title available?)
• Some debts I owe
• Conditional Obligation
• Prima facie obligation
• Access control and obligations in the category-based metamodel: a rewrite-based semantics
• Contrary-to-duty 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)