您的位置： 专家智库 > >

吴晓菲

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

合作作者

文献类型

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

领域

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

主题

  • 5篇安全需求
  • 3篇形式化
  • 3篇形式化建模
  • 2篇需求获取方法
  • 2篇需求文档
  • 2篇文档
  • 2篇计算软件
  • 2篇加权平均值
  • 2篇风险度
  • 2篇风险评估
  • 2篇风险值
  • 2篇安全保证
  • 1篇语言描述
  • 1篇软件开发
  • 1篇软件漏洞
  • 1篇软件系统
  • 1篇软件资产
  • 1篇资产
  • 1篇自然语言
  • 1篇自然语言描述

机构

  • 7篇天津大学

作者

  • 7篇吴晓菲
  • 6篇李晓红
  • 4篇李洪波
  • 3篇张蕾
  • 3篇胡静
  • 3篇孙达志
  • 3篇韩卓兵
  • 2篇杜长霄
  • 2篇朱明悦

年份

  • 1篇2017
  • 1篇2016
  • 2篇2015
  • 2篇2014
  • 1篇2013
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
基于形式化建模的软件安全需求获取方法
本发明公开了一种基于形式化建模的软件安全需求获取方法，包括功能需求获取、安全环境分析、安全目的分析、安全要求导出以及最终生成系统安全需求文档，该文档至少包含系统资产、行为序列、缺陷、威胁、安全策略、安全假设、安全目的、安...
李晓红李洪波吴晓菲孙达志张蕾
基于缺陷分析的软件风险评估方法
本发明公开了一种基于缺陷分析的软件风险评估方法，该风险评估方法包括以下步骤：通过软件资产识别、缺陷分析、后果属性评定获取风险计算所需输入数据及输入关系；计算各个功能模块中每一个后果属性的后果属性因子；计算整个软件各个后果...
李晓红吴晓菲韩卓兵胡静朱明悦杜长霄
文献传递
基于未确知测度理论和粗糙集的软件安全等级细化方法
本发明公开了一种基于未确知测度理论和粗糙集的软件安全等级细化方法，包括：第一步，获得软件系统分类；第二步，抽取CC官网上已发布的各类型的软件系统的PP、ST文档中选取的安全功能组件，从中选取各软件系统的安全功能组件；第三...
李晓红李洪波吴晓菲孙达志张蕾
文献传递
基于形式化建模的软件安全需求获取方法
本发明公开了一种基于形式化建模的软件安全需求获取方法，包括功能需求获取、安全环境分析、安全目的分析、安全要求导出以及最终生成系统安全需求文档，该文档至少包含系统资产、行为序列、缺陷、威胁、安全策略、安全假设、安全目的、安...
李晓红李洪波吴晓菲孙达志张蕾
文献传递
一种基于三维证据模型的安全需求度量方法
本发明公开了一种基于三维证据模型的安全需求度量方法，涉及可信计算领域，所述方法包括以下步骤：（1）构建安全需求三维证据模型；（2）构建三维证据库：（3）实现三维证据融合算法；本发明以软件需求工程的安全性为出发点，在需求阶...
李晓红韩卓兵胡静吴晓菲李洪波宋姣娇
文献传递
基于缺陷分析的软件风险评估方法
本发明公开了一种基于缺陷分析的软件风险评估方法，该风险评估方法包括以下步骤：通过软件资产识别、缺陷分析、后果属性评定获取风险计算所需输入数据及输入关系；计算各个功能模块中每一个后果属性的后果属性因子；计算整个软件各个后果...
李晓红吴晓菲韩卓兵胡静朱明悦杜长霄
文献传递
基于等级和形式化建模的软件安全需求自动获取方法与工具
随着IT技术的迅速发展及其在社会各领域应用的不断深入，软件安全问题日益凸显，已成为各行业关注的焦点。研究发现，软件安全问题多数是由需求阶段安全信息遗漏造成的，制定合理的安全需求对安全隐患的及早发现起着至关重要的作用，可在...
吴晓菲
关键词：形式化建模未确知测度
全选 清除 导出
共1页<1>
聚类工具0