Gran: Model Checking Grsecurity RBAC Policies | IEEE Conference Publication | IEEE Xplore