[Lecture Notes in Computer Science] Engineering Secure Software and Systems Volume 6542 || Automatic Conformance Checking of Role-Based Access Control Policies via Alloy
Erlingsson, Úlfar, Wieringa, Roel, Zannone, NicolaVolume:
10.1007/97
Year:
2011
Language:
english
Pages:
14
DOI:
10.1007/978-3-642-19125-1_2
File:
PDF, 386 KB
english, 2011