|
|
|
RRASAP Security Verification Based on Model Checking for RBAC Access Control Systems
|
ZOU Lin1,2,PAN Li1,2
|
(1. School of Electronic Information and Electric Engineering, Shanghai Jiaotong University, Shanghai 200240, China; 2. Shanghai Key Laboratory of Information Security Synthesis Management Technique Research, Shanghai 200240, China)
|
|
|
|
Abstract A new security analysis problem named rolerole assignmentsecurity analysis problem(RRASAP) was proposed. The impact of role hierarchy changes on security was analyzed, and the computational complexity of this problem proved. An algorithm of translating RRASAP into a Model checking formalism was also proposed to do automatic verification, and to prove the feasibility of this method. The experiment shows that this algorithm can automaticly solve RRASAP in expected time.
|
|
Received: 07 October 2009
Published: 28 September 2010
|
|
|
|
|
|
| [1] |
WANG Haoxiang,ZENG Shan,LIU Huiyang. An Importance Analytical Approach for Online Social Network[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2013, 47(07): 1055-1059. |
| [2] |
HOU Ping-1, 2 , WANG Zhi-Quan-1. A New AQM Algorithm Based on H∞ Control[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2011, 45(08): 1191-1195. |
| [3] |
DENG Han-Lin, LI Lei, HUANG He-Qing, YUAN Xiao-Bing, WANG Ying-Guan. Energy Consumption Analysis and Improvement Strategy for ClusterHead Rotation in Wireless Sensor Networks[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2011, 45(03): 321-0326. |
| [4] |
ZHENG Ziyuan，WANG Xiaofan
. Analytics of Human Dynamics in Email Networks
[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2011, 45(02): 195-0201. |
| [5] |
BAO Zhen,HE Di
. An Intrusion Detection Method Based on Graph Theory
[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2010, 44(09): 1176-1180. |
| [6] |
SHAO Jinming,HE Chen，JIANG Lingge
. ChannelRouting Joint Optimization Algorithm for Wireless Mesh Networks
[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2010, 44(08): 1051-1056. |
| [7] |
LIU Yuliang1,2，ZHU Jie2. Research on Bifurcation and Nonlinear Stability of an Improved TimeDelayed Dual Model in Internet Congestion Control [J]. J. Shanghai Jiaotong Univ.(Sci.) , 2010, 44(07): 916-0920. |
| [8] |
FAN Fengjun1,ZOU Junni1，WANG Min1，XIONG Hongkai2. Scheduling Optimization for Scalable Video Streaming Based on Partially Observable Markov Decision Processes[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2010, 44(03): 393-0397. |
| [9] |
JI Qijin. A Novel Optimal Data Scheduling Approach to P2P Content Distribution[J]. J. Shanghai Jiaotong Univ.(Sci.) , 2010, 44(03): 403-0406. |
| [10] |
CHENG Zhen，LI Layuan . A QoS Routing Algorithm Based on Geographical Location Information for Wireless Sensor Networks [J]. J. Shanghai Jiaotong Univ.(Sci.) , 2010, 44(03): 413-0417. |
|
|
|
|
