陈喆

作品数：1被引量：0H指数：0
导出分析报告
供职机构：国家电网公司更多>>
发文主题：传输规约GIL防尘滚轮形式化方法更多>>
发文领域：自动化与计算机技术电气工程更多>>
发文期刊：《计算机科学》更多>>
所获基金：国家电网公司科技项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
电力智能单元传输规约安全性分析模型研究
《计算机科学》2016年第S2期329-337,共9页马媛媛 陈喆 汪晨 费稼轩 黄秀丽 
国家电网公司项目:电网智能化单元传输规约安全分析及增强技术研究资助
电力智能单元传输规约的安全性是保障智能电网中智能通信实现高速、可靠、安全的基础。为了构建适用于电力智能单元传输规约的安全性分析模型,概述了主流的协议安全性分析理论与方法。基于符号模型的形式化方法包括逻辑推理、模型检验...
关键词：协议安全性分析 符号模型 计算模型 计算可靠的形式化方法 电力智能单元传输规约 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部