Postulates for Revocation Schemes

DOI10.1007/978-3-662-54455-6_11zbMath1444.68039OpenAlexW2600062742MaRDI QIDQ3304817

Giovanni Casini, Marcos Cramer

Publication date: 3 August 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/29413

zbMATH Keywords

belief revisionsocial choice theoryaxiomatic methodauthorization specificationdominance dimension

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer security (68M25)

Cites Work

• Reasoning about delegation and revocation schemes in answer set programming
• Unnamed Item
• Unnamed Item

This page was built for publication: Postulates for Revocation Schemes