Using timed colored petri nets and CPN-tool to model and verify TRBAC security policies
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
Hi-index | 0.04 |
Efficiency and security is very important in office automation systems, this paper analyses how the role-based access control model (RBAC) works, and presents an effective authority control method based on RBAC model in web applications. Practice shows that the web application based on RABC model has excellent safety and stability. We have successfully developed a universal office automation management system based on RBAC model. The system has been successfully applied to several colleges in Jiangxi province. It has played an important role in improving administrative efficiency.