您的位置： 专家智库 > >

丁刚刚

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

合作作者

文献类型

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

领域

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

主题

  • 3篇软件产品
  • 3篇软件质量
  • 2篇数据服务
  • 2篇数据库
  • 2篇数据库模型
  • 2篇主题挖掘
  • 2篇本体
  • 2篇本体技术
  • 1篇信息抽取
  • 1篇形式化
  • 1篇形式化分析
  • 1篇语义标注
  • 1篇软件系统
  • 1篇适应值
  • 1篇树根
  • 1篇顺序图
  • 1篇搜索
  • 1篇网页
  • 1篇网页过滤
  • 1篇漏洞

机构

  • 5篇天津大学

作者

  • 5篇丁刚刚
  • 4篇李晓红
  • 3篇邢金亮
  • 3篇刘然
  • 3篇许光全
  • 1篇冯志勇
  • 1篇李衍法
  • 1篇徐超

年份

  • 1篇2011
  • 1篇2010
  • 3篇2009
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于攻击模式的软件安全缺陷库系统及其管理方法
本发明公开了一种基于攻击模式的软件安全缺陷数据库系统，包括安全缺陷数据库的构建单元和管理单元以及安全缺陷本体，其特征在于，所述安全缺陷数据库的构建单元包括建立从攻击模式到软件缺陷结构的映射；建立从攻击模式与安全缺陷的映射...
李晓红许光全刘然丁刚刚邢金亮
文献传递
基于攻击模式的软件安全缺陷库系统及其管理方法
本发明公开了一种基于攻击模式的软件安全缺陷数据库系统，包括安全缺陷数据库的构建单元和管理单元以及安全缺陷本体，其特征在于，所述安全缺陷数据库的构建单元包括建立从攻击模式到软件缺陷结构的映射；建立从攻击模式与安全缺陷的映射...
李晓红许光全刘然丁刚刚邢金亮
文献传递
加入攻击路径形式化分析的威胁建模方法
本发明公开了一种加入攻击路径形式化分析的威胁建模方法，在软件设计阶段通过UML活动图分解应用程序或系统，提取软件缺陷信息，进行威胁建模，该方法包括以下步骤：创建用例建模；创建应用程序或系统的概图；使用活动图分解应用程序或...
李晓红邢金亮许光全刘然丁刚刚
文献传递
一种基于模型驱动的安全测试方法
本发明属于软件安全技术领域，涉及一种基于模型驱动的安全测试方法，包括下列步骤：制作顺序图；通过遍历顺序图里表达的所有消息传递序列，得到攻击路径的总和；在程序中植入代码；生成随机数据的方式，运行植入代码后的程序，将程序运行...
李晓红李衍法丁刚刚徐超冯志勇
文献传递
基于垂直搜索及语义标注的安全缺陷库更新方法研究
随着万维网的迅速发展，越来越多的组织、公司在万维网上发布已发现的软件安全缺陷信息。本文基于垂直搜索技术从网上获取软件安全缺陷信息，并进一步基于语义标注抽取该信息用于更新管理软件安全缺陷库。　　 研究基于垂直搜索和语义标...
丁刚刚
关键词：垂直搜索网页过滤语义标注信息抽取
文献传递
全选 清除 导出
共1页<1>
聚类工具0