您的位置： 专家智库 > >

谭渊

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

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇通信
  • 2篇通信协议
  • 2篇全通
  • 2篇安全通信
  • 2篇安全通信协议
  • 1篇有限状态机
  • 1篇状态机
  • 1篇扩展有限状态...
  • 1篇安全需求

机构

  • 2篇同济大学
  • 1篇上海大学

作者

  • 2篇徐中伟
  • 2篇谭渊
  • 1篇喻钢
  • 1篇梅萌
  • 1篇吴剑
  • 1篇李弋强

传媒

  • 1篇计算机应用
  • 1篇计算机应用研...

年份

  • 2篇2009
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种新的安全通信协议安全性验证框架
2009年
将CRA应用于安全通信协议的层次结构分析领域,采用LTS对协议的层次结构进行行为建模,并利用映像LTS描述协议行为的安全属性。采用接口技术对行为模型和属性模型进行组合约简,通过观察组合模型中错误状态是否可达来判定协议是否安全,为安全通信协议的安全性验证提供了一种新的框架。最后基于该框架给出FSFB/2(fail safe field bus/2)协议的安全性验证,表明该框架的可用性。
谭渊徐中伟梅萌吴剑
关键词：安全通信协议
面向安全需求的安全通信协议测试序列生成算法被引量：1
2009年
安全苛求系统仿真测试中,安全通信协议测试是重要的组成部分,而完备有效的测试序列生成是安全通信协议测试中的关键。面向安全需求,提出安全因子的定义,通过建立带安全因子的安全EFSM模型,设计了一种新的基于最小安全因子的协议安全性测试序列生成算法,该算法与传统的算法相比具有较高的安全性测试效率,能确保安全性测试的完备性。此方法已成功应用到高速铁路客运专线列车运行控制系统中的安全通信协议仿真测试中。
李弋强徐中伟喻钢谭渊
关键词：扩展有限状态机
全选 清除 导出
共1页<1>
聚类工具0