论文部分内容阅读
在CFL认证体制、 BLP模型的基础上, 给出了CFL_BLP模型.给出了CFL_BLP模型的八元组、 安全公理以及安全规则.该模型保证了用户的BLP模型权限的完整性, 确保了BLP模型的可信性、 安全性.在防范隐蔽信道的基础上, 基于CFL_BLP模型可以实现自主可控等级保护高等级安全的信息系统.