[en] We describe Kripke semantics for the access control logics BL0 and BL, developed
by Garg and Pfenning.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
CRAMER, Marcos ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Garg, Deepak
Langue du document :
Anglais
Titre :
Kripke Semantics for BL0 and BL – Technical report
Date de publication/diffusion :
2017
Maison d'édition :
University of Luxembourg, Luxembourg, Luxembourg
Nombre de pages :
32
Focus Area :
Security, Reliability and Trust
Projet FnR :
FNR4758104 - Specification Logics And Inference Tools For Verification And Enforcement Of Policies, 2011 (01/06/2012-30/04/2017) - Leon Van Der Torre
