Institutional Repository
| a verifiable formal specification for rbac model with constraints of separation of duty | |
| Yuan Chunyang; He Yeping; He Jianbo; Zhou Zhouyi | |
| 2006 | |
| 会议名称 | 2nd SKLOIS Conference on Information Security and Cryptology |
| 页码 | 196-210 |
| 会议日期 | NOV 29-DEC |
| 会议地点 | Beijing, PEOPLES R CHINA |
| 出版地 | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| 出版者 | Information Security and Cryptology, Proceedings |
| ISSN | 0302-9743 |
| ISBN | 978-3-540-49608-3 |
| 部门归属 | Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. |
| 摘要 | Formal method provides a way to achieve an exact and consistent definition of security for a given scenario. This paper presents a formal state-based verifiable RBAC model described with Z language, in which the state-transition functions are |
| 关键词 | Formal Specification Verification Rbac Separation Of Duty. |
| 主办者 | Chinese Acad Sci, State Key Lab Informat Secur, Inst Software, Chinese Acad Sci, CAS, Grad Univ, Natl Nat Sci Fdn China |
| 内容类型 | 会议论文 |
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12262 |
| 专题 | 基础软件国家工程研究中心 |
| 推荐引用方式 GB/T 7714 | Yuan Chunyang,He Yeping,He Jianbo,et al. a verifiable formal specification for rbac model with constraints of separation of duty[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Information Security and Cryptology, Proceedings,2006:196-210. |
| 条目包含的文件 | ||||||
| 文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 | ||
| a verifiable formal (578KB) | 开放获取 | -- | 请求全文 | |||
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论