AC-RBAC模型的形式化规约研究

• 作者: 李雅丽 毕然
• 来源期刊: 科技信息
• 学科: 工学
• 关键词: 模型 规约 网络安全 证书
• 年，卷（期）: 2008,（24）
• 所属期刊栏目: IT 技术论坛1
• 页码范围: 71,55
• 页数: 2页
• 分类号: TP3
• 字数: 1931字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-9960.2008.24.056

摘要

本文提出的规约式简化了建模元素.对于大型系统,更易设计和实现.对于提出RBAC的部分规约,其中不涉及权限之间角色与权利之间规约,因而不完备,而且过于复杂,难以验证和实现.本文给出了模型形式化规约,这对进一步的机器验证和软件开发将有很重要的作用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李雅丽	石家庄信息工程职业学院计算机系	29	40	4.0	5.0
2	毕然	石家庄信息工程职业学院计算机系	5	53	2.0	5.0