Conformance checking of dynamic access control policies
D. J. Power‚ M. A. Slaymaker and A. C. Simpson
Book Title
Proceedings of the 13th International Conference on Formal Methods and Software Engineering (ICFEM 2011)
Pages
227–242
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6255
Year
2011