a verifiable formal specification for rbac model with constraints of     separation of duty

	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.