Formal verification of Liferay RBAC (0)

by S Calzavara, A Rabitti, M Bugliesi
Venue:in Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015