一种实用动态完整性保护模型的形式化分析

CORC > 北京大学 > 信息科学技术学院

	一种实用动态完整性保护模型的形式化分析; A Practical Dynamic Integrity Protection Model
	杨涛 ; 王永刚 ; 唐礼勇 ; 孔令波 ; 胡建斌 ; 陈钟
刊名	计算机研究与发展
	2013
关键词	完整性策略形式化模型动态完整性级别实用完整性动态完整性保护模型 integrity policy formal model dynamic integrity level usable integrity dynamic integrity protection model (DMIP)
英文摘要	从完整性保护模型提出到现在,其成熟度远不如机密性模型.究其原因,完整级划分以及模型实用性是制约其发展的根本因素.从完整性模型的实用性角度出发,归纳总结几种现有完整性保护模型的优缺点,提出了一种实用型的动态完整性保护模型(dynamic integrity protection model,DMIP).它面向Linux系统,解决了完整性级别划分困难以及现有完整性模型可用性不强的问题.针对来自网络的攻击以及本地恶意代码破坏系统完整性等问题给出了保护策略.从与Linux系统及系统中已有的应用程序的兼容性角度出发,DMIP做到了无代价兼容.给出了DMIP模型的不变式和约束,针对模型进行了安全定理的形式化证明,保证了模型的安全性.; 国家自然科学基金项目; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 10; 2082-2091; 50
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/266012]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	杨涛,王永刚,唐礼勇,等. 一种实用动态完整性保护模型的形式化分析, A Practical Dynamic Integrity Protection Model[J]. 计算机研究与发展,2013.
APA	杨涛,王永刚,唐礼勇,孔令波,胡建斌,&陈钟.(2013).一种实用动态完整性保护模型的形式化分析.计算机研究与发展.
MLA	杨涛,et al."一种实用动态完整性保护模型的形式化分析".计算机研究与发展 (2013).