基于认证及区块链的CFL_BLP_BC模型

作     者：廉文娟 赵朵朵 范修斌 耿玉年 范新桐 LIAN Wen-juan;ZHAO Duo-duo;FAN Xiu-bin;GENG Yu-nian;FAN Xin-tong

作者机构：山东科技大学计算机科学与工程学院山东青岛266590 中国科学院软件研究所青岛分部山东青岛266114 曲阜师范大学计算机学院山东日照276800 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2021年第48卷第11期

页      面：36-45页

学科分类：08[工学] 081203[工学-计算机应用技术] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：青岛市社科规划项目(QDSKL2001156)。 

主　　题：可信认证 CFL认证体制 区块链 BLP模型 

摘      要：5G时代的到来给新兴信息产业的信息安全问题带来了新的挑战,现有的安全技术已不能满足5G时代下特定场景对毫秒级认证、可信认证等的相关需求。因此,以CFL技术为信息安全原点技术,提出了CFL_BLP_BC模型。CFL_BLP_BC模型在局部修改原BLP模型安全公理的基础上,结合区块链技术对该模型的基本元素、安全公理和状态转换规则进行了形式化描述。该模型不仅支持信息安全五性,而且具有毫秒级、指令级、实证制等信息安全属性。该模型支持内生安全、先天免疫、主动防御技术,可为当今网络空间新兴信息产业提供重要的理论指标。