基于着色Petri网的铁路时间同步协议建模及安全性分析

针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入侵时协议认证过程的不安全状态,建立模型状态方程;应用逆向状态分析法对铁路时间同步协议认证过程的安全性进行分析,得到中间人在认证阶段攻击协议的实施序列。研究结果表明:基于Autokey模型的铁路时间同步协议的认证过程是不安全的。     

OGSI通知机制的研究及基于GT3的应用

利用网格技术能够实现各种资源的全面共享与连通.通过结合Web服务技术和网格技术,形成了新一代的网格体系结构OGSA.开放网格基础设施(OGSI)是OGSA的软件实现模型和技术规范.GT3是第一个完全符合OGSA标准和OGSI规范的版本.网格服务通知机制是网格服务规范中定义的主要部分.OGSI通过一套WSDL接口,规范了网格服务的创建、管理、通信机制.本文深入分析了OGSI的通知机制及Globus工具集中的GT3对通知机制的实现,实现了一个具有通知功能的网格服务,并且总结了开发具有通知机制网格服务的流程.     

基于半马尔可夫过程的铁路时间同步网协议安全量化分析

针对基于Autokey模型的铁路时间同步网协议安全性问题,考虑时间同步协议在攻击行为下的状态驻留时间为非指数分布,提出基于半马尔可夫过程的铁路时间同步协议的安全性量化分析方法。剖析基于Autokey模型的铁路时间同步协议序列执行流程,建立带有网络攻击行为的铁路时间同步协议完整性验证过程的状态变迁模型。分析协议的不安全状态与协议相关安全性指标之间的关系,得到协议各安全性相关指标与协议不安全状态的变迁概率和状态驻留时间之间的关系曲线,分析影响铁路时间同步网协议安全性的关键因素。研究结果可为铁路时间同步网信息安全维护提供借鉴。     

改善潜艇舱室热舒适和空气品质的技术探讨

为解决当前潜艇舱室的热不舒适状况和恶劣空气品质限制潜艇长期潜航的问题,对国内外相关研究进行了综合评析。分析发现,人体热舒适存在种族和地域等差异,基于发达国家的研究成果建立的空调热舒适标准不能直接用于指导中国建筑室内的空调系统设计,更不能直接用于具有很大特殊性的水下密闭空间性质的潜艇。因此,提出运用现场问卷调查与客观生理参数测量相结合的研究方法,来确定适合中国人自身特点的、针对潜艇特殊环境的热舒适标准和空气品质需求标准。同时,重点探讨了改善潜艇舱室空气品质的技术措施。结果表明,以合适的标准为指导,以多种技术综合为手段,可以切实改善潜艇舱室内的热舒适状况和空气品质。