上海交通大学学报
基于角色访问控制系统中角色结构安全性分析问题的模型检测验证
邹林,潘理,
RRASAP Security Verification Based on Model Checking for RBAC Access Control Systems
ZOU Lin1,2,PAN Li1,2
上海交通大学学报（自然版） . 2010, (09): 1192 -1196 .