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

马媛媛; 陈喆; 汪晨; 费稼轩; 黄秀丽

首页> 中文期刊> 《计算机科学》 >电力智能单元传输规约安全性分析模型研究

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

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机科学》 |2016年第z2期|329-337|共9页
作者
马媛媛; 陈喆; 汪晨; 费稼轩; 黄秀丽;
展开▼
作者单位

全球能源互联网研究院;

国家电网有限公司;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;电子计算机在电力系统中的应用;
关键词
协议安全性分析; 符号模型; 计算模型; 计算可靠的形式化方法; 电力智能单元传输规约;

相似文献

中文文献
外文文献
专利

1. 电力智能单元传输规约安全性分析模型研究 [J] . 马媛媛 ,陈喆 ,汪晨 . 计算机科学 . 2016,第s2期
2. 基于北斗卫星通信方式与电力104规约结合的智能物联网数据研究与应用 [J] . 梅林常 ,殷晔平 . 重庆电力高等专科学校学报 . 2015,第2期
3. 电力系统GPRS数据传输安全性研究 [J] . 丁官元 ,王俊清 . 科学技术创新 . 2007,第6x期
4. 电力系统GPRS数据传输安全性研究 [J] . 丁官元 ,王俊清 . 科学技术创新 . 2007,第12期
5. 电力系统GPRS数据传输安全性研究 [J] . 万子扬 . 华中电力 . 2006,第3期
6. 电力系统信息传输规约 [C] . 赵祖康 . 2000年全国远动及厂站自动化学术年会 . 2000
7. 基于远动规约的电力信息传输系统的研究 [A] . 马强 . 2008

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

摘要

著录项

相似文献

相关主题

期刊订阅