EON: modeling and analyzing dynamic access control systems with logic programs.
Avik ChaudhuriPrasad NaldurgSriram K. RajamaniG. RamalingamLakshmisubrahmanyam VelagaPublished in: CCS (2008)
Keyphrases
- logic programs
- logic programming
- access control systems
- answer sets
- answer set programming
- stable models
- fixpoint
- inductive logic programming
- computational properties
- normal logic programs
- functional programs
- partial deduction
- prolog programs
- logic program updates
- data mining
- minimal models
- horn clauses
- nonmonotonic reasoning
- strong equivalence
- recursive programs
- access control
- knowledge base