2024年8月31日
星期六
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
韩卓兵
作品数:
9
被引量:0
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张