基于CFL_BLP模型的CFL SSL安全通信协议

摘要：

现有PKI、IBC认证技术与SSL/TLS通信协议已不能满足当今网络空间新兴信息产业的毫秒级信息安全需求.针对新兴信息产业的毫秒级通信安全问题,以CFL为原点技术,并基于CFL_BLP模型给出CFL SSL协议及其形式化描述,从协议层面上证明该协议可实现毫秒级双向认证、通信的机密性和完整性保护、自主可控以及防止中间人攻击等信息安全属性.实验结果表明,与SSL/TLS协议相比,该协议的可用性和安全性更高,且能够满足各种新兴信息产业通信机制的毫秒级信息安全需求.

关键词：公钥基础设施、基于标识的密码体制、工业控制系统、CFL认证体制、CFL_BLP模型

所属期刊栏目：47

分类号：TN915.04

资助基金：国家社会科学基金QDSKL2001156

在线出版日期：2021-06-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：152-163