基于改进NSSK协议的智能变电站密钥管理方案

密钥管理是智能变电站信息安全防护措施成功实施的关键,密钥管理方案设计的难点在于结合智能变电站通信特点与安全需求,平衡安全性和效率。文中在分析智能变电站通信特点及其报文安全需求、Needham-Schroeder密钥管理方案应用于智能变电站可行性的基础上,提出一种基于改进NSSK协议的智能变电站密钥管理方案,给出该方案中密钥生成、分发、更新、销毁的详细流程及其产生问题的解决办法,分析该方案的密钥安全性、抗伪造攻击性、抗中间人攻击性、抗重放攻击性、前向和后向安全性、运算和传输时间开销,采用BAN逻辑判断该方案的有效性。分析结果表明,所提密钥管理方案对常见的攻击有较好的抵抗性,具有较少的运算和传输时间开销,能满足智能变电站信息安全需求。

NSSK协议的串空间模型及分析

本文介绍了串空间模型中的基本概念和定理,并首次利用串空间理论,从机密性和认证性两个方面,对改进的NSSK协议进行了分析。分析结果表明改进的NSSK协议是安全的。

基于赋时颜色Petri网的NSSK协议建模

随着对计算机网络应用的不断深入,对网络协议的安全性进行分析和研究已经成为信息安全领域的一个十分重要的研究方向。设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤。验证安全协议的模型和工具有很多,主要应用赋时颜色Petri网分析了安全协议中著名的NSSK协议,应用赋时颜色Petri网的变迁为导向的建模方法,成功地对NSSK协议进行了建模,并验证了协议运行过程中的有效性。为下一步利用颜色Petri网协议针对NSSK协议的安全性进行分析打下了良好的基础。

形式化分析验证一种改进的NSSK协议

认证协议是保证网络安全的基础,NSSK协议是最早最经典的一种认证密码协议.本文分析了NSSK协议的安全特性,提出了一种改进的NSSK协议,并利用形式化建模语言CSP和模型检测工具FDR分别对其建模和验证.实验结果表明改进的NSSK协议可以满足期望的安全目标,达到保障网络安全的目的.

一种改进的NSSK协议

针对NSSK协议存在重放攻击的威胁和系统负担较重的缺陷,提出一种改进的NSSK协议,即ENS协议。利用文献[7]的方法对协议进行了验证,分析表明,ENS协议具有较高的安全性。该协议可广泛应用于分布式环境下多客户之间的双向认证。

NSSK协议改进及其形式化分析

NSSK协议的主要功能是完成身份的双向认证,提出一种新的攻击方法,并给出改进方案,使之具有更强的安全性,最后应用BAN形式化分析改进的协议是成功有效的。

NSSK协议的SPIN模型检测

安全协议是以密码学为基础的消息交换协议。针对传统的改进NSSK安全协议,通过使用Promela语言对协议进行建模,并使用SPIN模型检测工具进行验证,发现仍然存在安全漏洞,攻击者可以冒充合法者进行通信。针对上述缺陷,提出了一种有效的改进方案,主要是在协议中增加了自身产生的随机数和发送者的身份标识,该改进方案提高了协议安全性。

一种安全协议的形式化分析方法

对快速、高效的形式化分析安全协议进行研究,提出"信任域"的概念。采用与图形化相结合的分析方法,使得协议流程的推导过程清晰、直观。该方法直接分析协议参与主体的信任域,简化分析过程和步骤。实验结果表明,与传统方法相比,该方法更快速、直观,并能为分析协议的冗余性提供具体方法和依据。

基于Spi演算的安全协议验证

在安全协议的各种验证方法中,进程代数方法依托完善的进程演算理论得到了很好的应用。Spi演算在PI演算的基础上扩充了密码操作原语来刻画安全协议,并使用测试等价验证安全属性。讨论了利用Spi演算进行验证的过程,并对经典NSSK协议进行分析。

LIPS-200离子推力器寿命地面试验方案研究

在系统调研和分析国外用于地球静止轨道(GEO)卫星南北位置保持的离子推力器寿命试验方法和技术的基础上,结合我国通信卫星工作寿命需求和LIPS-200离子推力器产品研制现状,提出和论证了LIPS-200离子推力器地面寿命试验验证的目的和技术方案,讨论和分析了与寿命试验方案密切相关的内容。

离子推进系统用于GEO卫星南北位保使命的能力与效益

离子电推进系统LIPS-200由兰州物理研究所研制。在考虑卫星质量和卫星服役期限,以及离子电推进系统LIPS-200的系统配置、系统干重、推力器工作性能等关键因素的基础上,分析了LIPS-200系统用于GEO卫星南北位保(NSSK)使命的能力与效益,给出了实现与卫星匹配的分析计算方法和具体的算例。结果表明,LIPS-200能够满足我国所有GEO卫星NSSK使命需求。

静止轨道卫星南北位置保持推力器效率补偿方法及应用

文章通过对南北位置保持原理和10N推力器工作原理分析发现,由于推进系统10N推力器安装位置差异等因素,使成对点火的推力器产生的控制力矩存在偏差,在控制过程中不可避免地会出现卫星姿态超调量过大的现象。针对某静止轨道卫星位置保持过程中卫星姿态超调量过大现象的分析,提出了南北位置保持的推力器效率补偿方法,在实际在轨操作中有效地解决了姿态角超调量过大问题。

基于联合供电的GEO卫星电推进工作策略

针对电推进系统高功率需求,以整星能源的高效利用为目标,以电推力器的复杂工程参数和整星能源为约束,提出基于太阳电池阵和蓄电池组联合供电的静止轨道卫星电推进在轨工作策略,定量分析不同电推进类型、太阳翼构型、电源系统配置等对工作策略的影响,得到复杂工程约束条件下的南北位保、东西位保和角动量卸载控制周期的优选方法.仿真算例表明,在留有工程设计余量的情况下,根据该方法优选得到的电推进工作策略可以满足电推进系统的使用要求和整星能源平衡要求,与采用增大太阳帆板面积的方法相比,可避免卫星平台承重能力降低(约60 kg),并提高整星能源利用率.

基于TPM的Needham-Schroeder协议

论文针对Needham—Schroeder对称密钥协议存在的问题,提出了在参与协议运行的各个实体中嵌入可信平台模块TPM,利用TPM的保护存储等功能,实现对各个实体的本地保护;利用TPM的平台证实功能使得认证服务器与实体A、实体A与实体B在协议的运行中分别进行双向证实;由此对协议进行改进,增强了协议运行的安全性。