基于移动Agent的分布式网管系统安全认证机制

在实现基于移动Agent的分布式网管基本系统的基础上,分析了Agent系统所面临的安全威胁,针对Agent系统的特点,提出了一个完整的3层相互信任关系模型,深入研究了Agent系统的认证机制,提出并实现了具有系统授权Tickets功能的证书签发协议及其安全迁移认证方法,采用该方法,可以在不显增加移动Agent系统的复杂性的前提下加强其安全可靠性。     

基于三因素的远程身份认证系统安全威胁研究

三因素(密码、智能卡、生物特征)身份认证是目前身份认证领域研究热点.三因素身份认证面临来自客户端、网络、服务器端等多个环节的安全威胁,只有理清可能面临的安全威胁才能设计符合要求的安全高效身份认证协议.通过总结分析国内外相关文献后总结出基于三因素身份认证协议面临的安全威胁和需要实现目标,为下一步实现安全高效的基于三因素身份认证方案提供基础.     

轨道交通信号系统安全评估与认证体系研究

本文介绍了国外轨道交通系统的安全标准,研究了国外轨道交通信号系统的安全评估体系,并提出建立轨道交通安全评估与认证体系框架的设想。     

上海市无线电管理局推进CBTC测试

近期，按照工信部副部长刘利华与局长谢飞波在上海调研轨交无线CBTC安全工作期间的指示精神，上海市无线电管理局（以下简称“市无管局”）在前期模拟仿真、实验室测试和试车线测试的基础上，开展轨交无线CBTC正线测试。本轮正线测试主要是对上海轨交7号线、     

西门子CBTC系统简介

介绍基于无线的CBTC系统各子系统功能及系统优越性；以及南京地铁二号线使用CBTC系统运营以来出现的无线相关故障分析。     

CBTC系统测试用例生成方法的研究

针对CBTC系统测试案例的特点和生成过程,本文使用基于MSC建模语言来生成测试用例,并且说明了使用该方法生成测试用例的优点所在.在基于MSC生成测试用例的过程中,对MSC添加状态约束条件,分析MSC图,得到场景测试树,再遍历该场景树,得到场景的输入、预期输出、约束条件以及场景环境,测试用例即由这四部分内容组成.     

基于无线通信的CBTC系统

本文介绍了国、内外基于通信的列车控制(CBTC)系统的发展,在分析我国铁路智能交通系统(RITS)的体系结构的基础上,阐述了CBTC的原理及高速列车定位、列车动态运行间隔控制等关键技术。     

CBTC系统中GSM—R网络覆盖方案探讨

本文对CBTC系统广泛应用的GSM-R方式中的四种基本无线网络覆盖方案进行了对比、分析,在确定了适合铁路未来发展趋势的GSM—R基本网络结构后,从室外覆盖和室内覆盖两方面对CBTC中GSM—R网络覆盖方案进行了探讨。     

中电科微波通信(上海)有限公司 裂缝波导型CBTC车地RF系统

正裂缝波导型CBTC车地RF系统项目属于轨道交通信号系统领域。轨道交通安全、高效运行的关键是CBTC(基于通信的列车控制系统),CBTC通过车地之间通信,使列车命令和状态在车辆和地面之间进行实时可靠的交换,并确定列车的准确位置及列车间的相对距离,保证列车的安全间隔。因此CBTC对无线传输的系统容量、稳定性、抗干扰能     

基于软件实名认证的系统安全机制

为了解决当前计算机系统内软件滥用的问题,提出使用公钥密码数字签名技术实现软件实名(software real-name, SRN)认证的概念.设计一种基于软件实名认证的系统安全机制, 该机制包括软件标识模型和软件认证模型.给出了在Windows环境下的软件标识器、软件静态认证和软件动态认证的实现方案.实验结果表明, SRN机制可以查验软件合法来源,检查软件发布后是否被非法篡改,可有效阻止恶意软件运行,对于保证计算机系统安全有明显效果.     

地铁车辆CBTC系统车载信号常见故障探析

地铁车辆CBTC系统在地铁列车运行中应用极为广泛,但是,在实际地铁车辆CBTC系统运行的过程中,经常出现系统车载信号故障,对地铁车辆的运行也造成一定的影响,因此,针对系统车载信号常见的故障要采取有效的措施,这样才能确保地铁车辆能够安全的运行。基于此,本文概述了地铁车辆CBTC系统,分析了地铁车辆CBTC系统的结构以及功能,并对地铁车辆CBTC系统车载信号常见的故障进行研究,进而提出解决措施,以供参考。     

通过ISM规则认证

为保证船舶安全、保护海洋环境、防止人员伤亡，并使公司1998年7月1日后继续拥有管理国际营运船舶的资格，公司于1995年4月开始实施ISM规则认证，通过建立并保持文件化的安全管理体系，规范岸基地的安全管理、优化资源配置，提高船舶安全管理及操作能力。自1996年9月公司第一版SMS文件生效后，     

CBTC系统中的车一地通信技术分析

本文针对基于通信的列车控制系统的特点,分析了目前成熟CBTC系统中车一地通信的内容和方式;着重论述了其中无线传播方式的部分,并对各种方式的优缺点进行了比较,供大家参考。     

轨道交通ATP系统安全完善度等级SIL的分析和研究

论述了安全完善度等级SIL在安全相关系统设计和评估中的重要作用,研究了轨道交通安全相关系统安全完善度等级SIL的定义、分级和确定方法,以轨道交通ATP系统为例,给出了确定ATP系统的安全完善度等级SIL的风险分析模型和方法.     

概率模型检验的CBTC系统通信协议的形式化验证

通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证.分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范.结果证明,当信道正常概率为99%,系统无延时概率为99%时,通信协议失效率小于1.5×1010.说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了.     

基于CBTC的ATS系统平台研究

本文对列车监控系统的组成及功能进行了研究,详细分析了ATS系统中心及车站设备组成及所能实现的功能,对中心ATS系统的用户等级、运行模式和功能配置进行了说明,对基于CBTC的ATS系统的发展有促进意义。     

基于双钥体制的3G系统安全认证方案

移动通信系统最初采用单钥体制密码技术来设计用户认证方案，其优点是易实现，缺点是不能解决系统的安全问题。3GPP提出的3G系统的安全认证方案进行了分析研究，并针对单钥体制的缺陷提出了一种基于双钥体制的改进方案。它是移动通信系统中安全认证方案发展的趋势。     

Gen-2标签的RFID认证协议的研究

针对RFID系统的Gen-2类标签容量有限的特点,提出了一种基于Gen-2标签的RFID认证协议,将标签32位ID号分为低16位和高16位,利用标签的CRC-16位生成相应校验码作为密文传输.该协议避免了已有协议在安全性方面的5个缺陷,提高了数据库查询速度、降低了RFID标签的设计成本.并利用BAN逻辑对所提出协议的目标、假设和消息传递进行形式化分析,从理论上证明了该协议是安全可达的.     

移动通信系统安全机制发展的研究

从移动通信系统演进的角度介绍了安全机制的发展历程,分析研究了2G的安全性措施,阐述了3G认证签权方案及其优缺点,并对移动通信安全机制提出了一些见解。     

基于双钥体制的3G系统安全认证方案

移动通信系统最初采用单钥体制密码技术来设计用户认证方案,其优点是易实现,缺点是不能解决系统的安全问题.对3GPP提出的3G系统的安全认证方案进行了分析研究,并针对单钥体制的缺陷提出了一种基于双钥体制的改进方案.它是移动通信系统中安全认证方案发展的趋势.