EON: Modeling and Analyzing Access Control Systems with Logic Programs

Avik Chaudhuri, Prasad Naldurg, G. Ramalingam, Sriram Rajamani, and L. Velaga

Details

Publication typeInproceedings
Published inACM Conference on Computer and Communications Security (CCS)
PublisherAssociation for Computing Machinery, Inc.
> Publications > EON: Modeling and Analyzing Access Control Systems with Logic Programs