| 基于角色的访问控制Petri网及协商树模型 |
| |
| 引用本文： | 孟健,曹立明,王小平,姚亮.基于角色的访问控制Petri网及协商树模型[J].同济大学学报(自然科学版),2007,35(6):815-819. |
| |
| 作者姓名： | 孟健 曹立明 王小平 姚亮 |
| |
| 作者单位： | 1. 同济大学,计算机科学与技术系,上海,200092;上海水产大学信息学院,上海,200090
2. 同济大学,计算机科学与技术系,上海,200092 |
| |
| 基金项目： | 上海市高校优秀青年教师后备人选科研项目 |
| |
| 摘 要： | 针对基于角色的访问控制自动机等模型存在的缺陷,对Petri网进行了改进,并将改进后的Petri网应用于基于角色的访问控制中,实现了基于角色的访问控制Petri网.在角色转换过程的条件控制中,提出了协商树的方法,描述双方证书协商、形成协商树、满足角色转换条件、使角色转换得以实现的过程,实现了较为完整的基于角色的访问控制Petri网.
|
| 关 键 词： | 基于角色访问控制 Petri网 协商树 |
| 文章编号： | 0253-374X（2007）06-0815-05 |
| 修稿时间： | 2005-09-14 |
A Role-Based Access Control Petri Net and Negotiation Tree Model |
| |
| MENG Jian,CAO Liming,WANG Xiaoping,YAO Liang.A Role-Based Access Control Petri Net and Negotiation Tree Model[J].Journal of Tongji University(Natural Science),2007,35(6):815-819. |
| |
| Authors: | MENG Jian CAO Liming WANG Xiaoping YAO Liang |
| |
| Institution: | 1. Department of Computer Science and Technology, Tongji University,Shanghai 200092,Chitin; 2. College of Information, Shanghai Fisheries University,Shanghai 200090,China |
| |
| Abstract: | This paper presents some improvements role-based access control models such as automatic on Petri nets to overcome the shortcomings of some machines. The role-based access control Petri net is realized by applying the improved Petri net to the role-based access control. Therefore, the access con- trol is more intuitionistic and effective. During the control process when a role is transformed to another, the method of negotiation tree is presented. The negotiation of credentials is first described; and negotiation trees are formed. Conditions of roles transformation are satisfied. Finally, role transformation is fulfilled. A more integrated role-based access control Petri net is realized. |
| |
| Keywords: | role-based access control(RBAC) Petri net negotiation tree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
