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