%0 Journal Article
%T 一种实用动态完整性保护模型的形式化分析
%A 唐礼勇
%A 孔令波
%A 王永刚
%A 胡建斌
%A 陈  钟
%A 杨  涛
%J -
%D 2013
%X 从完整性保护模型提出到现在,其成熟度远不如机密性模型.究其原..
%K [完整性策略
%K 形式化模型
%K 动态完整性级别
%K 实用完整性
%K 动态完整性保护模型
%K integrity policy
%K formal model
%K dynamic integrity level
%K usable integrity
%K dynamic integrity protection model (DMIP)]
%U http://crad.ict.ac.cn/CN/Y2013/V50/I10/2082