电力系统安全协议形式化分析技术研究

被引量 : 0次 | 上传用户:yingchali
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
电力通信是电力系统的重要组成部分。电力通信的安全需求包括身份认证,存取控制,防火墙等,这些安全需求的实现都依靠安全协议。安全协议是构建在密码体制上的一种交互协议,是电力通信系统可靠性的重要保障。但是,设计一个符合安全目标的安全协议是十分困难的。从安全协议的发展过程分析,往往是先设计协议,若在使用过程中发现了某个安全漏洞,弥补该漏洞,再继续使用。有些漏洞甚至在协议设计后的十几年才得以发现。因此,我们必须借助一些方法和技术指导协议的设计,并在协议设计后对其进行分析。本文研究协议的分析技术。自动
其他文献
可再生能源建筑(Building Integrated Renewable Energy,BIRE)是我国建筑节能的发展方向,为此,我国正在大力发展可再生能源示范建筑,“十一五”国家科技支撑计划也专门制定了“可
本文主要介绍了工业控制网络的发展历程,阐述了以太网络进入工业控制领域的必然性,然后在理论方面研究了工业以太网的协议体系,着重对各层的主要协议进行了分析,并且说明了需
主动磁力轴承是利用受控电磁力将转子稳定悬浮在空中,实现转子和定子之间无机械接触的一种新型高性能轴承。它具有无摩擦、无磨损、无需润滑、寿命长、转速只受转子材料限制等优良特性,特别适合在高速、真空、洁净等环境下使用。转子的质量分布是否均匀平衡很大程度上影响着磁力轴承系统的稳定性,采用质量分布均匀对称的转子和好的不平衡补偿方法可以极大地改善系统高速运行时的稳定性和安全性。为了提高主动磁力轴承高速运行时的
电液伺服控制系统以其控制精度高、响应速度快、输出功率大等优点在电力、航空、航天及军事等行业有着广泛的应用。汽轮机调节系统是其主要应用之一,在汽轮机组调节系统中,控制信号的处理最终需要通过调节阀门开度来实现,而电液伺服系统作为汽轮机调节系统中阀门开度调节的最终执行机构,是整个控制系统的核心部件之一。电液伺服系统本身是一个具有多个时变参数及外负载干扰的非线性系统,其结构及工作环境复杂,因此对其性能进行
高压输电线路担负着传输大量电能的重要任务,如何尽快确定故障点、尽快排除故障一直以来都受到了电力部门以及专家、学者的普遍重视。如何根据不同的故障特征快速准确地判定故
在射频系统中常用传输线来连接射频源和负载。为了实现传输功率的最大化和减少功率反射,要求源的输出阻抗等于传输线的特征阻抗且负载阻抗等于传输线特征阻抗。在实际应用中,前
数据检索已经成为信息处理领域非常重要的课题之一,基于XML标准的格式化文档日益得到业界的普遍重视,其简明、易于理解、跨平台的特点使其在很多领域都有广泛的应用。对XML提
机器学习是伴随着人工智能理论和技术的发展而产生一个重要领域,也是其中发展最热门的领域之一。机器学习的目的不是寻找意识那么复杂和深奥,通俗讲,它是设计一种算法,可以让
当前地理信息系统(GIS)已经应用于很广泛的领域中,特别是由于铁路运输所具有的鲜明的地理信息特点,因此在这个领域内,有很多的研究都依托于GIS,同时GIS的存在,也使铁路很多部
本论文是在导师杨正瓴副教授悉心指导下完成的。导师渊博的专业知识,严谨的治学态度,精益求精的工作作风,诲人不倦的高尚师德,严以律己、宽以待人的崇高风范,朴实无华、平易近人的人格魅力对我影响深远。不仅使我树立了远大的学术目标、掌握了基本的研究方法,还使我明白了许多待人接物与为人处世的道理。本论文从选题到完成,每一步都是在导师的指导下完成的,倾注了导师大量的心血。在此,谨向导师表示崇高的敬意和衷心的感谢