@inproceedings{72f11df128014a95a610fa28c8dc61f5,
title = "Belief semantics of authorization logic",
abstract = "A formal belief semantics for authorization logics is given. The belief semantics is proved to subsume a standard Kripke semantics. The belief semantics yields a direct representation of principals' beliefs, without resorting to the technical machinery used in Kripke semantics. A proof system is given for the logic; that system is proved sound with respect to the belief and Kripke semantics. The soundness proofs are mechanized in Coq.",
keywords = "authorization logic, cdd, nal",
author = "Hirsch, \{Andrew K.\} and Clarkson, \{Michael R.\}",
year = "2013",
doi = "10.1145/2508859.2516667",
language = "English",
isbn = "9781450324779",
series = "Proceedings of the ACM Conference on Computer and Communications Security",
pages = "561--572",
booktitle = "CCS 2013 - Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security",
note = "2013 ACM SIGSAC Conference on Computer and Communications Security, CCS 2013 ; Conference date: 04-11-2013 Through 08-11-2013",
}