您的位置: 专家智库 > >

夏志翔

作品数:2 被引量:10H指数:2
供职机构:同济大学电子与信息工程学院更多>>
发文基金:国家自然科学基金国家科技支撑计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化B方法
  • 1篇用例图
  • 1篇数据加密
  • 1篇数据加密标准
  • 1篇顺序图
  • 1篇加密
  • 1篇加密标准
  • 1篇高级加密标准
  • 1篇UML模型
  • 1篇B方法
  • 1篇MAC

机构

  • 2篇同济大学

作者

  • 2篇徐中伟
  • 2篇夏志翔
  • 2篇张元玲
  • 1篇万勇兵
  • 1篇陈祖希

传媒

  • 1篇计算机工程
  • 1篇计算机应用与...

年份

  • 1篇2012
  • 1篇2011
2 条 记 录,以下是 1-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模型用例图顺序图
共1页<1>
聚类工具0