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

Keywords: [完整性策略, 形式化模型, 动态完整性级别, 实用完整性, 动态完整性保护模型, integrity policy, formal model, dynamic integrity level, usable integrity, dynamic integrity protection model (DMIP)]

Full-Text   Cite this paper   Add to My Lib

Abstract:

从完整性保护模型提出到现在,其成熟度远不如机密性模型.究其原..

Full-Text