| AC-RBAC模型的形式化规约研究 |
| |
| 引用本文： | 毕然,李雅丽.AC-RBAC模型的形式化规约研究[J].科技信息,2008(24). |
| |
| 作者姓名： | 毕然 李雅丽 |
| |
| 作者单位： | 石家庄信息工程职业学院计算机系 |
| |
| 摘 要： | 本文提出的规约式简化了建模元素。对于大型系统,更易设计和实现。对于提出RBAC的部分规约,其中不涉及权限之间角色与权利之间规约,因而不完备,而且过于复杂,难以验证和实现。本文给出了模型形式化规约,这对进一步的机器验证和软件开发将有很重要的作用。
|
| 关 键 词： | 模型 规约 网络安全 证书 |
AC-RBAC model formalized terms research |
| |
| Bi Ran Li Yali.AC-RBAC model formalized terms research[J].Science,2008(24). |
| |
| Authors: | Bi Ran Li Yali |
| |
| Institution: | Bi Ran Li Yali (Computer department; Shijiazhuang Information Engineering Vocational College; Shijiazhuang; 050035; China); |
| |
| Abstract: | This article proposed the terms type simplified the modelling element. Regarding the large-scale system, the change designs and realizes. Regarding proposed that RBAC partial terms, does not involve the jurisdiction between the role and the right of terms, moreover too complex, confirms with difficulty and realizes. This article has given the model formalization terms, this will take the very role to the further machine confirmation and the software development. |
| |
| Keywords: | model Formal Statute network security certificate |
| 本文献已被 维普 等数据库收录！ |
|
