| 具有冲突约束的RBAC模型的形式化规范与证明 |
| 其他题名 | formal specification and proof of the rbac model with constraints of conflicts
|
| 袁春阳; 贺也平; 何建波; 周洲仪
|
| 2006
|
| 发表期刊 | 计算机研究与发展
 |
| 卷号 | 43期号:z2 |
| 收录类别 | wanfang
|
| 关键词 | 基于角色的访问控制
形式化规范和证明
责任分离
冲突约束
Z语言
|
| 部门归属 | 基础软件国家工程研究中心
|
| 资助者 | 中国计算机学会
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/3774
|
| 专题 | 基础软件国家工程研究中心
|
推荐引用方式
GB/T 7714 |
袁春阳,贺也平,何建波,等. 具有冲突约束的RBAC模型的形式化规范与证明[J]. 计算机研究与发展,2006,43(z2).
|
| APA |
袁春阳,贺也平,何建波,&周洲仪.(2006).具有冲突约束的RBAC模型的形式化规范与证明.计算机研究与发展,43(z2).
|
| MLA |
袁春阳,et al."具有冲突约束的RBAC模型的形式化规范与证明".计算机研究与发展 43.z2(2006).
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论