具有冲突约束的RBAC模型的形式化规范与证明
| Data(s) |
2006
|
|---|---|
| Resumo |
中国计算机学会 |
| Identificador | |
| Fonte |
袁春阳; 贺也平; 何建波; 周洲仪.具有冲突约束的RBAC模型的形式化规范与证明,计算机研究与发展,2006,43(z2): |
| Palavras-Chave | #基于角色的访问控制 #形式化规范和证明 #责任分离 #冲突约束 #Z语言 |
| Tipo |
期刊论文 |
