张元玲
- 作品数：2 被引量：10H指数：2
- 供职机构：同济大学电子与信息工程学院更多>>
- 发文基金：国家自然科学基金国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 铁路信号安全通信协议中的MAC改进算法被引量：4
- 2012年
- 改进铁路信号安全通信协议II(RSSP-II)中的ER层消息验证码(MAC)算法,将高级加密标准作为MAC的核心算法,使用密文分组链接方式对报文加解密,并将其运用到CTCS-3列控系统临时限速服务器测试平台的RSSP-II仿真测试中。结果表明,改进算法能够克服原算法存在的弱密钥、半弱密钥等安全隐患,具有更强的安全性与实时性。
- 张元玲徐中伟万勇兵夏志翔
- 关键词：数据加密标准高级加密标准
- UML模型形式化B方法转换的实现被引量：6
- 2011年
- UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。
- 夏志翔徐中伟陈祖希张元玲
- 关键词：B方法UML模型用例图顺序图
