EON: Modeling and Analyzing Dynamic Access Control Systems with Logic Programs
Proc. 15th ACM Conference on Computer and Communications Security, Alexandria, USA (CCS 2008), pp. 381-390
Publication date: January 31, 2008
A. Chaudhuri, P. Naldurg, G. Ramalingam, S. Rajamani, S. Velaga