IPv6安全风险与防范方案

随着逐步展开IPv6网络规模部署,IPv6网络攻击数量不断增加,在系统、应用、硬件和协议等层面均存在安全漏洞。为此,从IPv6与IPv4相同的安全风险、IPv6新特性引发的特有安全风险及IPv4/IPv6过渡期安全风险3个方面综述IPv6的安全风险,总结防范方案。首先,针对与IPv4相同的网络攻击,研究IPv6网络攻击防护技术。然后,相较于IPv4,IPv6报头新增流标签字段、扩展报头、地址空间变大,有状态地址配置DHCP升级为DHCPv6,新增无状态地址配置,ICMP升级为ICMPv6,新增邻居发现协议等新特性,讨论其新特性引发的特有安全风险与防范方案。最后,针对IPv6部署过程中使用的双栈、隧道、翻译等过渡机制的安全风险,研究安全防护方案,为发现未知攻击、有力抵御网络攻击提供理论与技术支持。

基于自动机的设备维修状态演化模型研究

目前采用维修文档记录与管理每次设备维修活动,对于设备维修过程没有建立模型,导致设备维修信息缺乏系统性。为此在逻辑层次建立设备维修状态演化模型,对设备维修过程进行定性描述。在分析设备维修过程的动力学特性的基础上,提出维修状态项与维修状态的概念。维修状态项的所有维修事件被归纳为恢复性维修事件、换改型维修事件以及设备改造型维修事件这3类维修事件,维修状态项的维修过程被归纳A/B/C这3种维修模式,在每种维修模式下,维修状态项的维修过程被分解为维修事件序列以及维修状态转移序列,维修状态转移序列被维修事件序列驱动与控制,两类符号序列之间的逻辑关联采用有穷自动机进行形式化的定义,从而建立设备维修状态演化模型。最后以碳酸吹瓶机的设备维修状态演化模型为案例进行例证。