CFL＿BLP模型

作者：范文钊; 范宇宁; 和子郅; 范修斌; 崔晓风; 王福驰

来源：泰山学院学报, 2018, 40(06): 60-66.

• CFL(Chen,Fan,Lü)
• BLP
• 信息安全
• 等级保护

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

• 单位
  泰山学院; 中国科学院软件研究所