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

Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani, G. Ramalingam, Lakshmisubrahmanyam Velaga

Browse the full CCS paper archive.