Gran: Model Checking Grsecurity RBAC Policies

M. Bugliesi; S. Calzavara; R. Focardi; M. Squarcina

doi:10.1109/CSF.2012.29

Previous
Next
Table of Contents
Related Articles

2012 IEEE 25th Computer Security Foundations Symposium

Gran: Model Checking Grsecurity RBAC Policies

Year: 2012, Pages: 126-138

DOI Bookmark: 10.1109/CSF.2012.29

Authors

M. Bugliesi, DAIS, Univ. Ca' Foscari, Venezia, Italy
S. Calzavara, DAIS, Univ. Ca' Foscari, Venezia, Italy
R. Focardi, DAIS, Univ. Ca' Foscari, Venezia, Italy
M. Squarcina, DAIS, Univ. Ca' Foscari, Venezia, Italy

Gran: Model Checking Grsecurity RBAC Policies

Authors

Abstract