您的位置： 专家智库 > >

曹燕

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

合作作者

文献类型

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

领域

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

主题

  • 2篇形式化
  • 2篇语言
  • 2篇知识库
  • 2篇软件开发
  • 2篇软件开发过程
  • 2篇软件系统
  • 2篇数据库
  • 2篇开发过程
  • 1篇定理
  • 1篇定理证明
  • 1篇形式化建模
  • 1篇形式化语言
  • 1篇软件产品
  • 1篇软件模型
  • 1篇软件质量
  • 1篇设计缺陷
  • 1篇设计人员
  • 1篇设计信息
  • 1篇顺序图
  • 1篇开发方法

机构

  • 6篇天津大学

作者

  • 6篇曹燕
  • 5篇李晓红
  • 4篇杜洪伟
  • 3篇邢金亮
  • 2篇王建刚
  • 2篇王翔宇
  • 1篇曹坤宇
  • 1篇胡昌
  • 1篇陈世展
  • 1篇潘东
  • 1篇饶国政

年份

  • 1篇2012
  • 1篇2011
  • 4篇2010
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
一种基于形式化及统一软件模型的软件可信工程方法
本发明公开了一种基于形式化及统一软件模型的软件可信工程方法，属于软件可信领域，所述方法包括以下步骤：基于形式化语言、传统UML视图，构建包含软件需求设计信息、软件实现信息和运行环境信息的统一软件模型；根据软件可信工程技术...
李晓红曹坤宇陈世展饶国政邢金亮曹燕
文献传递
基于安全缺陷知识库的可信软件开发方法
本发明属于软件安全技术领域，涉及一种基于安全缺陷知识库的可信软件开发方法，包括：(1)建立基于安全缺陷知识库；(2)将设计人员的用例图及需求说明文档作为信息收集的载体，找到设计中相关的误用例，并提供可度量效果及代价分析的...
李晓红王翔宇杜洪伟潘东曹燕
文献传递
一种软件系统安全缺陷检测方法
本发明属于软件安全领域，涉及一种软件系统安全缺陷检测方法，通过对大量安全缺陷的研究，抽象出安全缺陷的基本结构并对其进行形式化；然后，基于形式化之后的安全缺陷构建了一个可用于验证的安全缺陷数据库；接着，用扩展了的Z语言对软...
李晓红王建刚曹燕邢金亮杜洪伟
文献传递
一种软件系统安全缺陷检测方法
本发明属于软件安全领域，涉及一种软件系统安全缺陷检测方法，通过对大量安全缺陷的研究，抽象出安全缺陷的基本结构并对其进行形式化；然后，基于形式化之后的安全缺陷构建了一个可用于验证的安全缺陷数据库；接着，用扩展了的Z语言对软...
李晓红王建刚曹燕邢金亮杜洪伟
基于形式化建模的安全缺陷知识库的构建
随着web应用的日益普及,对软件可信性的要求越来越高。软件安全性是可信性的重要组成部分。软件安全问题的本质是软件安全缺陷被攻击者的恶意利用。因此对于安全缺陷进行分析和研究至关重要。近年来,在软件安全领域中对安全缺陷的研究...
曹燕
关键词：形式化建模
文献传递
基于软件缺陷的软件可信性定量评估方法
本发明属于软件安全领域，涉及一种基于软件缺陷的软件可信性定量评估方法，该方法包括：根据可信的定义，将每个缺陷归类；确定各个缺陷可能存在的攻击模式；通过对所涉及的攻击模式所造成的危害程度的分析，按照危害程度的高低，确定各个...
李晓红胡昌王翔宇杜洪伟曹燕
文献传递
全选 清除 导出
共1页<1>
聚类工具0