您的位置： 专家智库 > >

韩卓兵

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

合作作者

文献类型

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

领域

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

主题

  • 3篇漏洞
  • 2篇形式化
  • 2篇形式化建模
  • 2篇知识库
  • 2篇图形化
  • 2篇计算软件
  • 2篇加权平均值
  • 2篇分块
  • 2篇风险度
  • 2篇风险评估
  • 2篇风险值
  • 2篇安全漏洞
  • 2篇安全协议
  • 2篇安全需求
  • 2篇报表
  • 1篇信息交换
  • 1篇语义信息
  • 1篇元模型
  • 1篇云安全
  • 1篇软件安全漏洞

机构

  • 9篇天津大学

作者

  • 9篇韩卓兵
  • 8篇李晓红
  • 7篇胡静
  • 3篇吴晓菲
  • 3篇朱明悦
  • 2篇杜长霄
  • 2篇许光全
  • 2篇张程伟
  • 2篇沈岗
  • 1篇李洪波
  • 1篇孙达志
  • 1篇杜志杰

年份

  • 1篇2018
  • 1篇2017
  • 2篇2016
  • 1篇2015
  • 1篇2014
  • 2篇2013
  • 1篇2012
共 9 条 记 录，以下是 1-9
全选 清除 导出
排序方式：
基于安全需求元模型的安全需求模板构建方法
本发明公开了一种基于安全需求元模型的安全需求模板构建方法；步骤1、构造超图模型且进行安全功能组件重分类；步骤2、通过进行安全功能组件问题及软件安全保护范围抽取，建立安全功能组件重分类与软件安全保护范围PR的多对多关联关系...
李晓红何慧娟韩卓兵胡静
文献传递
基于证据的软件安全评估框架及其关键技术研究
软件安全评估的目的是评价软件是否达到系统所要求的安全性,对于保障软件安全具有重要意义。现有方法主要通过专家的安全领域知识与经验,结合相关评估证据展开,受个人主观因素影响大、评估效率低。针对现行新形态软件的多源异构证据获取...
韩卓兵
关键词：软件安全漏洞语义信息
基于缺陷分析的软件风险评估方法
本发明公开了一种基于缺陷分析的软件风险评估方法，该风险评估方法包括以下步骤：通过软件资产识别、缺陷分析、后果属性评定获取风险计算所需输入数据及输入关系；计算各个功能模块中每一个后果属性的后果属性因子；计算整个软件各个后果...
李晓红吴晓菲韩卓兵胡静朱明悦杜长霄
文献传递
针对安全协议的形式化建模及验证方法
本发明涉及信息交换安全技术领域，为尽快发现在协议建模过程中存在的错误或者协议本身存在的缺陷，从而尽快修复安全协议的缺陷并再次验证，直至安全协议的安全属性得以满足，为此，本发明采用的技术方案是，针对安全协议的形式化建模及验...
李晓红沈岗胡静韩卓兵谢肖飞张程伟
文献传递
基于CC标准的软件安全功能组件管理方法
本发明公开了一种基于CC标准的软件安全功能组件管理方法，在软件工程的需求分析阶段，基于CC标准，实现安全功能组件的推荐和调整，该方法包括以下步骤：将基于CC标准体系下各领域中的评估文档中对威胁信息的描述加以抽象分析并进行...
李晓红韩卓兵胡静许光全杜志杰朱明悦
文献传递
云架构安全评估方法
本发明公开了一种云安全评估方法，包括：步骤(1)、对包括IaaS层、Paas层和Saas层在内的各层服务架构的递阶层次结构中的安全问题及安全证据进行定性和定量分析；步骤(2)、对云平台各层服务架构的安全性进行评估；步骤(...
李晓红白裕德孙达志许光全韩卓兵经雅婷
文献传递
一种基于三维证据模型的安全需求度量方法
本发明公开了一种基于三维证据模型的安全需求度量方法，涉及可信计算领域，所述方法包括以下步骤：（1）构建安全需求三维证据模型；（2）构建三维证据库：（3）实现三维证据融合算法；本发明以软件需求工程的安全性为出发点，在需求阶...
李晓红韩卓兵胡静吴晓菲李洪波宋姣娇
文献传递
基于缺陷分析的软件风险评估方法
本发明公开了一种基于缺陷分析的软件风险评估方法，该风险评估方法包括以下步骤：通过软件资产识别、缺陷分析、后果属性评定获取风险计算所需输入数据及输入关系；计算各个功能模块中每一个后果属性的后果属性因子；计算整个软件各个后果...
李晓红吴晓菲韩卓兵胡静朱明悦杜长霄
文献传递
针对安全协议的形式化建模及验证方法
本发明涉及信息交换安全技术领域，为尽快发现在协议建模过程中存在的错误或者协议本身存在的缺陷，从而尽快修复安全协议的缺陷并再次验证，直至安全协议的安全属性得以满足，为此，本发明采用的技术方案是，针对安全协议的形式化建模及验...
李晓红沈岗胡静韩卓兵谢肖飞张程伟
文献传递
全选 清除 导出
共1页<1>
聚类工具0