Sciweavers

CCS
2008
ACM

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

13 years 5 months ago
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
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where CCS
Authors Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga
Comments (0)