Journal of Shanghai Jiao Tong University

Journal of Shanghai Jiaotong University

• Automation Technique, Computer Technology • Previous Articles     Next Articles

RRASAP Security Verification Based on Model Checking for RBAC Access Control Systems

ZOU Lin1,2,PAN Li1,2
  

  1. (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)
  • Received:2009-10-07 Revised:1900-01-01 Online:2010-09-28 Published:2010-09-28

Abstract: A new security analysis problem named rolerole assignmentsecurity analysis problem(RRASAP) was proposed. The impact of role hierarchy changes on security was analyzed, and the computational complexity of this problem proved. An algorithm of translating RRASAP 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 RRASAP in expected time.

CLC Number: