电力智能单元传输规约安全性分析模型研究

• 作者: 汪晨 费稼轩 陈喆 马媛媛 黄秀丽
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 协议安全性分析 符号模型 计算模型 计算可靠的形式化方法 电力智能单元传输规约
• 年，卷（期）: 2016,（z2）
• 所属期刊栏目: 信息安全
• 页码范围: 329-337
• 页数: 9页
• 分类号: TP309|TM769
• 字数: 12609字
• 语种: 中文

摘要

电力智能单元传输规约的安全性是保障智能电网中智能通信实现高速、可靠、安全的基础.为了构建适用于电力智能单元传输规约的安全性分析模型,概述了主流的协议安全性分析理论与方法.基于符号模型的形式化方法包括逻辑推理、模型检验、定理证明;基于计算模型的计算方法包括RO模型、BCP模型、CK模型以及UC模型;基于计算可靠性理论的方法包括映射方法、模型方法、形式化方法的计算可靠性以及计算方法的直接形式化.提出了面向智能电网领域的电力智能单元传输规约安全性分析模型,为进一步的电力智能化单元传输规约的安全性分析奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马媛媛	全球能源互联网研究院信息通信研究所	17	40	5.0	5.0
2	费稼轩	全球能源互联网研究院信息通信研究所	3	10	2.0	3.0
3	黄秀丽	全球能源互联网研究院信息通信研究所	9	17	2.0	4.0
4	陈喆	国家电网公司信息通信部运行处	1	2	1.0	1.0
5	汪晨	全球能源互联网研究院信息通信研究所	1	2	1.0	1.0