Formal Verification of Liferay RBAC presented at ESSoS 2015

by Michele Bugliesi, Stefano Calzavara, Alvise Rabitti,

Summary : N/A