[en] We describe Kripke semantics for the access control logics BL0 and BL, developed
by Garg and Pfenning.
Disciplines :
Computer science
Author, co-author :
Cramer, Marcos ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Garg, Deepak
Language :
English
Title :
Kripke Semantics for BL0 and BL – Technical report
Publication date :
2017
Publisher :
University of Luxembourg, Luxembourg, Luxembourg
Number of pages :
32
Focus Area :
Security, Reliability and Trust
FnR Project :
FNR4758104 - Specification Logics And Inference Tools For Verification And Enforcement Of Policies, 2011 (01/06/2012-30/04/2017) - Leon Van Der Torre