万勇兵
- 作品数：8 被引量：33H指数：4
- 供职机构：同济大学电子与信息工程学院更多>>
- 发文基金：国家自然科学基金铁道部科技基金国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- CTCS-3级列控系统临时限速服务器建模与形式化验证被引量：10
- 2013年
- 临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性。分析CTCS-3级列控系统临时限速服务器的组成结构,提取系统功能和性能规范约束,利用消息顺序图对TSRS与外部系统之间的信息交互行为建模,并将系统MSC模型转化为UPPAAL中的时间自动机仿真模型,对系统的功能和性能要求进行形式化验证。验证结果确认了系统的安全性和受限活性,为进一步完善TSRS设计和系统开发提供参考。
- 万勇兵徐中伟梅萌
- 关键词：时间自动机UPPAAL
- 铁路信号安全通信协议中的MAC改进算法被引量：4
- 2012年
- 改进铁路信号安全通信协议II(RSSP-II)中的ER层消息验证码(MAC)算法,将高级加密标准作为MAC的核心算法,使用密文分组链接方式对报文加解密,并将其运用到CTCS-3列控系统临时限速服务器测试平台的RSSP-II仿真测试中。结果表明,改进算法能够克服原算法存在的弱密钥、半弱密钥等安全隐患,具有更强的安全性与实时性。
- 张元玲徐中伟万勇兵夏志翔
- 关键词：数据加密标准高级加密标准
- 基于ASM的元模型形式化语义的研究被引量：4
- 2012年
- 提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精确的语义描述,从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析与验证,并以简单Petri网为例,说明该方法可以有效地支持模型转换和代码生成。
- 李智伟徐中伟万勇兵李盼
- 关键词：元模型抽象状态机
- 一种基于SIP下VoIP身份认证技术的解决方案
- VoIP系统是一项通过IP网络数据包传送语音的通信业务,保证VoIP的安全是提供IP通信业务的前提,而身份认证则是IP网络安全体制中最为重要的环节之一。随着SIP正成为VoIP通信系统的主流协议,文章在总结了当前VoIP...
- 万勇兵刘凯黄明和汪浩
- 关键词：SIP协议身份认证智能卡
- 文献传递
- 基于P2P架构和SIP协议的通信系统的研究与设计
- 通信技术的迅猛发展,因特网的不断普及,使得VoIP技术凭借其成本低廉,网络资源利用率高的优势得到了广泛应用。VoIP系统集成数据、语音、图像等媒体流信息以实现交互式实时通信,已逐渐取代了传统的PSTN通信系统。SIP作为...
- 万勇兵
- 关键词：会话初始化协议点对点网络CHORD算法P2P-SIP
- 文献传递
- 一种符号化执行的实时系统一致性测试生成方法被引量：3
- 2013年
- 系统一致性测试用来验证和确认系统实现的正确性.针对实时系统在进行数据处理时受到时间约束,容易导致状态空间爆炸的问题,提出一种符号化测试生成方法.首先对符号变迁系统和时间自动机进行扩展,建立一种新的符号语义模型TSIOSTS,基于该模型定义了时间一致性关系(tioco);然后以tioco关系为指导,结合符号化执行策略,生成被测系统模型的时间符号化测试行为树,并转化为测试用例;最后将提出的理论和方法应用于CTCS-3列控系统临时限速服务器的一致性测试中,验证了该方法的可行性和有效性.
- 万勇兵徐中伟梅萌
- 关键词：实时系统测试用例生成
- 列控系统临时限速服务器仿真测试平台研究被引量：8
- 2012年
- 为了更有效地对高速铁路列控系统中的设备在投入使用前进行严格的测试。以CTCS-3列控系统中的核心设备之一临时限速服务器作为测试对象,提出了一种软件仿真测试平台的实现方法,分析了临时限速服务器与外部系统的关系,在此基础上建立了测试平台的体系结构,并介绍了仿真环境模块、测试工具模块的设计过程、测试平台搭建方法和平台仿真测试过程。通过仿真测试结果表明,该平台提高了测试效率和灵活性,降低了测试成本。
- 岑博文陈邦兴万勇兵靳庆庆
- 关键词：CTCS-3仿真软件测试仿真测试平台
- 一种基于SIP下VoIP身份认证技术的解决方案被引量：5
- 2008年
- VoIP系统是一项通过IP网络数据包传送语音的通信业务,保证VoIP的安全是提供IP通信业务的前提,而身份认证则是IP网络安全体制中最为重要的环节之一.随着SIP正成为VoIP通信系统的主流协议,文章在总结了当前VoIP系统对呼叫者身份进行认证的方法的基础上,提出了一种基于智能卡和SIP来电ID的双因素身份认证技术解决方案,并通过模拟攻击实验,对其安全性进行了分析.
- 万勇兵刘凯黄明和汪浩
- 关键词：SIP身份认证VOIP智能卡
