网络空间安全数据交换关键技术研究

作者：李伟^*; 金靓; 万蓉; 刘伟

来源：信息网络安全, 2020, S2: 86-89.

• 云网络
• BIBA模型
• 完整性等级赋值
• 强制访问控制机制

通过建立强制访问控制机制 (Mandatory Access Control，MAC) 来识别非法数据流以抵御恶意网络攻击，是实现网络云空间信任体系的重要手段。BIBA完整性模型是实现MAC极其重要的一种方法，文章对BIBA模型(标记Label及三个组件：Level、Compartment和Range)进行了详细完整性等级赋值方法设计，通过一阶谓词演算实现逻辑推演，将现实空间转换到数学空间中进行运算，进而保证过程自洽和结果完备，经深入研究网络云空间业务应用后，引入严密理论进行实例化分析，在实体完整性技术上实现突破，为可信操作实现提供保证。

• 单位
  四川久远银海软件股份有限公司