EON: modeling and analyzing dynamic access control systems with logic programs

We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully designed constructs

• Type: Conference
• Year: 2008
• Where: CCS
• Authors: Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga
• Keywords: CCS 2008, Dynamic Access Control, Language Extends Datalog, Logic-programming Language, Security Privacy