您的位置： 专家智库 > >

孟国柱

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

合作作者

文献类型

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

领域

  • 4篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇网络
  • 3篇网络协议
  • 2篇代码
  • 2篇业务逻辑
  • 2篇映射
  • 2篇映射关系
  • 2篇有效信息
  • 2篇预处理
  • 2篇源代码
  • 2篇知识库
  • 2篇软件工程
  • 2篇软件开发
  • 2篇设计阶段
  • 2篇顺序图
  • 2篇漏洞
  • 2篇结果信息
  • 2篇可信计算
  • 2篇后台
  • 2篇规则知识
  • 2篇规则知识库

机构

  • 7篇天津大学

作者

  • 7篇孟国柱
  • 6篇李晓红
  • 4篇胡昌
  • 4篇刘丰煦
  • 2篇潘东
  • 2篇邢金亮
  • 2篇王建刚
  • 2篇徐超
  • 2篇王钦
  • 2篇余小飞
  • 2篇许光全

年份

  • 1篇2013
  • 3篇2012
  • 2篇2011
  • 1篇2010
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
网络协议的形式化建模与基于模型检测的攻击发现
随着信息化时代的逐步推进，通信服务正发生着日新月异的变化。而网络协议作为构成通信服务骨架的关键部分，其安全性和可靠性是制约正常网络通信的因素。协议的漏洞及缺陷往往给攻击者提供了攻击可能性。为了对网络协议进行安全分析，为网...
孟国柱
关键词：通信服务网络协议形式化建模
一种Firefox扩展的安全缺陷检测方法
本发明公开了Firefox扩展的安全缺陷检测方法，涉及网络与软件安全交叉领域，构建用于静态分析的演绎数据库和用于动态分析的非安全动作序列数据库；提取扩展内容中的源代码信息；在非安全动作序列数据库中，建立起映射关系；将预处...
李晓红王钦王建刚孟国柱刘丰煦胡昌
文献传递
基于安全知识库的顺序图缺陷检测方法
本发明属于可信计算领域，涉及一种基于安全知识库的顺序图缺陷检测方法：利用UML顺序图描述设计阶段中的某一业务逻辑，首先对这些顺序图添加安全属性的扩展，然后对这些业务逻辑进行FSA建模并从模型中提取出所有的攻击路径，最后借...
李晓红孟国柱许光全徐超潘东
文献传递
一种Firefox扩展的安全缺陷检测方法
本发明公开了Firefox扩展的安全缺陷检测方法，涉及网络与软件安全交叉领域，构建用于静态分析的演绎数据库和用于动态分析的非安全动作序列数据库；提取扩展内容中的源代码信息；在非安全动作序列数据库中，建立起映射关系；将预处...
李晓红王钦王建刚孟国柱刘丰煦胡昌
一种网络协议安全缺陷分析方法
本发明公开了一种网络协议安全缺陷分析方法，涉及安全软件工程领域，本方法对网络协议进行了分析和总结，提取协议的资源、行为和危害，进行网络协议建模，形成了攻击规则图；根据攻击规则图，对攻击规则图中的节点和参数所有组合进行分析...
李晓红余小飞邢金亮孟国柱刘丰煦胡昌
文献传递
基于安全知识库的顺序图缺陷检测方法
本发明属于可信计算领域，涉及一种基于安全知识库的顺序图缺陷检测方法：利用UML顺序图描述设计阶段中的某一业务逻辑，首先对这些顺序图添加安全属性的扩展，然后对这些业务逻辑进行FSA建模并从模型中提取出所有的攻击路径，最后借...
李晓红孟国柱许光全徐超潘东
一种网络协议安全缺陷分析方法
本发明公开了一种网络协议安全缺陷分析方法，涉及安全软件工程领域，本方法对网络协议进行了分析和总结，提取协议的资源、行为和危害，进行网络协议建模，形成了攻击规则图；根据攻击规则图，对攻击规则图中的节点和参数所有组合进行分析...
李晓红余小飞邢金亮孟国柱刘丰煦胡昌
全选 清除 导出
共1页<1>
聚类工具0