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

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

电力工业电力设备及仪表质量检验测试中心远动(方)终端、变电站自动化系统及智能单元委托、型式检验质检公告(第五号)

根据国家电力公司下发的“关于加强电力自动化设备及产品质量检测与管理的通知”的精神,电力工业电力设备及仪表质检中心对将在电力系统中使用的产品依据相应标准和厂家的申请进行了委托检验或型式试验。检验结果代表检验样机的质量。现将检验合格并在有效期内的产品及厂家予以公布。其他未检产品,根据厂家申请安排检测。检测结果(见检验报告)以检验报告发出之日起两年内有效。