论文部分内容阅读
在计算机信息系统中，为了保障信息的机密性和完整性，对信息的访问和操作，一般需要遵循一定的安全策略。BLP模型只解决了机密性问题，而Biba模型只解决了完整性问题，其他模型也都类似，无法使二者同时兼顾。基于安全模型的敏感标记集合在数学上应形成格的理论，提出了一种融合以上两种模型信息流的格安全模型，可以同时保持信息机密性与完整性。
通过构建新的信息流格模型，将推动信息安全模型的理论研究。