SEAL: a logic programming framework for specifying and verifying access control models.

Prasad Naldurg, K. R. Raghavendra

Browse the full SACMAT paper archive.