您的位置： 专家智库 > >

沈岗

作品数：4 被引量：0H指数：0
供职机构：天津大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇专利
  • 1篇学位论文

领域

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

主题

  • 4篇安全协议
  • 3篇形式化
  • 2篇形式化建模
  • 2篇图形化
  • 2篇分块
  • 2篇报表
  • 1篇信息交换
  • 1篇形式化验证
  • 1篇形式化验证方...
  • 1篇软件开发
  • 1篇自动化
  • 1篇自动转换
  • 1篇精化
  • 1篇可靠性
  • 1篇基于UML
  • 1篇安全协议验证
  • 1篇UML模型

机构

  • 4篇天津大学

作者

  • 4篇沈岗
  • 3篇李晓红
  • 3篇胡静
  • 3篇张程伟
  • 2篇韩卓兵

年份

  • 1篇2016
  • 1篇2015
  • 1篇2014
  • 1篇2013
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于扩展UML的轻量级安全协议形式化验证方法
本发明公开了一种基于扩展的UML模型为框架的安全协议形式化验证方法，首先提取软件工程建模的关键步骤，并分析安全协议建模过程，构建基于UML的轻量级形式化框架；之后根据框架所提供的步骤，提出安全协议的形式化验证方法，逐步进...
李晓红方坤丁沈岗胡静谢肖飞张程伟
文献传递
针对安全协议的形式化建模及验证方法
本发明涉及信息交换安全技术领域，为尽快发现在协议建模过程中存在的错误或者协议本身存在的缺陷，从而尽快修复安全协议的缺陷并再次验证，直至安全协议的安全属性得以满足，为此，本发明采用的技术方案是，针对安全协议的形式化建模及验...
李晓红沈岗胡静韩卓兵谢肖飞张程伟
文献传递
针对安全协议的形式化建模及验证方法
本发明涉及信息交换安全技术领域，为尽快发现在协议建模过程中存在的错误或者协议本身存在的缺陷，从而尽快修复安全协议的缺陷并再次验证，直至安全协议的安全属性得以满足，为此，本发明采用的技术方案是，针对安全协议的形式化建模及验...
李晓红沈岗胡静韩卓兵谢肖飞张程伟
文献传递
基于UML的形式化框架及其在安全协议验证中的应用
随着信息技术的飞速发展，计算机软件系统已广泛应用到社会的各个领域。软件规模和复杂性在不断增加，软件出现错误的可能性也随之增加。为了保证软件的质量、提高软件的可靠性，将主流的软件开发方法与形式化方法相结合是一种可行的方法。...
沈岗
关键词：软件开发UML模型安全协议验证可靠性
全选 清除 导出
共1页<1>
聚类工具0