DMCA

Formal verification of Liferay RBAC

by Stefano Calzavara , Alvise Rabitti , Michele Bugliesi , Universita Ca , Foscari Venezia
Venue:in Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015
Citations:1 - 1 self