SEAL: a logic programming framework for specifying and verifying access control models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Prasad Naldurg, Raghavendra K. R.. SEAL: a logic programming framework for specifying and verifying access control models. In Ruth Breu, Jason Crampton, Jorge Lobo, editors, SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Innsbruck, Austria, June 15-17, 2011, Proceedings. pages 83-92, ACM, 2011. [doi]

This author has not been identified. Look up 'Prasad Naldurg' in GoogleThis author has not been identified. Look up 'Raghavendra K. R.' in Google

runs on WebDSL