a practical alternative to domain and type enforcement integrity formal     models

	a practical alternative to domain and type enforcement integrity formal models
	Tang Liuying; Qing Sihan
	2006
会议名称	2nd SKLOIS Conference on Information Security and Cryptology
页码	225-237
会议日期	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, Engn Res Ctr Fundamental Software, Beijing 100080, Peoples R China.
摘要	Much secure system policy development uses the DTE (Domain and Type Enforcement) model, but the DTE model cannot explicitly provide the security goals of the policy. The invariants of the only based-DTE integrity protection formal model are to
关键词	Security Label Security Goal Integrity Information Flow Formal Model
主办者	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/12264
专题	基础软件国家工程研究中心
推荐引用方式 GB/T 7714	Tang Liuying,Qing Sihan. a practical alternative to domain and type enforcement integrity formal models[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Information Security and Cryptology, Proceedings,2006:225-237.