×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
主管：中华人民共和国教育部
主办：上海交通大学
ISSN 1006-2467 CN 31-1466/U
导航切换
Journal of Shanghai Jiao Tong University
Home
About Journal
Editorial Board
Open Access
Indexed in
Guide for Authors
Subscribe
Contacts Us
中文
RRASAP Security Verification Based on Model Checking for RBAC Access Control Systems
ZOU Lin1,2,PAN Li1,2
Journal of Shanghai Jiaotong University . 2010, (
09
): 1192 -1196 .
