Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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