Proposes and implements in Datalog a policy language for expressing complex authorization conditions including dynamic process status, then evaluates it by composing SELinux policies.
Pereira, and Fernando Pereira
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Policy Description Language for Authorization using Logic-Based Programming
Proposes and implements in Datalog a policy language for expressing complex authorization conditions including dynamic process status, then evaluates it by composing SELinux policies.