CFL＿BLP模型

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