摘要
提出了一种基于实体语义的多级安全数据模型。该模型借鉴了Smith-Winslett模型基于置信的语义和MLR模型数据借用的思想。定义了ESM数据模型,并描述了它的4个完整性性质和4个数据操作。ESM模型消除了语义模糊性,同时又保持了向上的信息流。证明了ESM模型的正确性、完备性和安全性。
A new multilevel secure data model is proposed which is based on the semantics of entities. It borrows the belief-based semantics from Smith Winslett model and the data-borrow idea from MLR model. This paper defines the ESM data model and describes its four integrity properties and tour data operations. ESM eliminates semantic ambiguity and retains upward information flow. This paper provcs soundness, completeness and security of ESM.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第8期157-158,212,共3页
Computer Engineering
关键词
多级安全
实体语义
语义模糊性
Multilevel security
Entity semantics
Semantic ambiguity