a formal model for integrity protection based on dte technique

	a formal model for integrity protection based on dte technique
	Qingguang Ji; Sihan Qing; He Yeping; Ji, QG (通讯作者), Chinese Acad Sci, Inst Software, Engn Res Ctr Informat Secur Technol, Beijing 100080, Peoples R China
	2006
发表期刊	Science in China Series F: Information Sciences
卷号	49 期号:5 页码:545-565
收录类别	springer,sci
关键词	Formal Model Integrity Policy Information Flow Domain Type Enforcement Domain
部门归属	基础软件国家工程研究中心
WOS记录号	WOS:000242000000001
引用统计	被引频次：3[WOS] [WOS记录] [WOS相关记录]
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/3724
专题	基础软件国家工程研究中心
通讯作者	Ji, QG (通讯作者), Chinese Acad Sci, Inst Software, Engn Res Ctr Informat Secur Technol, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Qingguang Ji,Sihan Qing,He Yeping,et al. a formal model for integrity protection based on dte technique[J]. Science in China Series F: Information Sciences,2006,49(5):545-565.
APA	Qingguang Ji,Sihan Qing,He Yeping,&Ji, QG .(2006).a formal model for integrity protection based on dte technique.Science in China Series F: Information Sciences,49(5),545-565.
MLA	Qingguang Ji,et al."a formal model for integrity protection based on dte technique".Science in China Series F: Information Sciences 49.5(2006):545-565.