Automatic Conformance Checking of Role-Based Access Control Policies via Alloy - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David J. Power, Mark Slaymaker, Andrew Simpson. Automatic Conformance Checking of Role-Based Access Control Policies via Alloy. In Úlfar Erlingsson, Roel Wieringa, Nicola Zannone, editors, Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings. Volume 6542 of Lecture Notes in Computer Science, pages 15-28, Springer, 2011. [doi]

This author has not been identified. Look up 'David J. Power' in GoogleThis author has not been identified. Look up 'Mark Slaymaker' in GoogleThis author has not been identified. Look up 'Andrew Simpson' in Google

runs on WebDSL