您的位置： 专家智库 > >

杜志杰

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

合作作者

文献类型

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

领域

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

主题

  • 2篇知识库
  • 2篇CC标准
  • 1篇代码
  • 1篇形式化
  • 1篇形式化方法
  • 1篇软件工程
  • 1篇软件系统
  • 1篇软件系统开发
  • 1篇组件
  • 1篇谓词
  • 1篇系统开发
  • 1篇漏洞
  • 1篇目标代码
  • 1篇功能组件
  • 1篇二义性
  • 1篇安全漏洞
  • 1篇安全评估
  • 1篇测试用例
  • 1篇测试用例生成
  • 1篇测试用例生成...

机构

  • 3篇天津大学

作者

  • 3篇杜志杰
  • 2篇李晓红
  • 1篇陈世展
  • 1篇于永新
  • 1篇冯志勇
  • 1篇李衍法
  • 1篇朱明悦
  • 1篇胡静
  • 1篇许光全
  • 1篇韩卓兵

年份

  • 2篇2012
  • 1篇2011
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于CC标准的安全评估知识库的设计与实现
随着计算机软件的快速发展及其在社会各领域应用的不断深入,软件安全问题日益凸显,已成为社会各行业关注的焦点。基于CC(Common Criteria)的软件安全评估作为一种提高软件安全质量的有效方法,对于解决软件安全问题具...
杜志杰
关键词：CC标准
文献传递
基于CC标准的软件安全功能组件管理方法
本发明公开了一种基于CC标准的软件安全功能组件管理方法，在软件工程的需求分析阶段，基于CC标准，实现安全功能组件的推荐和调整，该方法包括以下步骤：将基于CC标准体系下各领域中的评估文档中对威胁信息的描述加以抽象分析并进行...
李晓红韩卓兵胡静许光全杜志杰朱明悦
文献传递
基于Z规格的测试用例生成方法
本发明涉及数据处理、测试。为实现高效、准确的对测量对象进行测试，本发明采用的技术方案是，基于Z规格的测试方法，包括下列步骤：1、用Z语言来描述一个软件系统的规格说明，使形式化方法的描述准确，没有二义性的优势得到充分发挥；...
李晓红杜志杰李衍法冯志勇陈世展于永新
文献传递
全选 清除 导出
共1页<1>
聚类工具0