您的位置: 专家智库 > >

国家教育部博士点基金(20050013011)

作品数:5 被引量:27H指数:3
相关作者:徐国爱杨义先朱振荣彭俊好张淼更多>>
相关机构:北京邮电大学广州大学天津市国瑞数码安全系统有限公司更多>>
发文基金:国家教育部博士点基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 5篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇代码
  • 2篇代码分析
  • 2篇蠕虫
  • 2篇静态代码分析
  • 2篇控制流
  • 2篇控制流分析
  • 1篇多线程
  • 1篇信息安全
  • 1篇源代码
  • 1篇整数
  • 1篇整数溢出
  • 1篇蠕虫传播
  • 1篇蠕虫传播模型
  • 1篇数据流
  • 1篇数据流分析
  • 1篇拓扑
  • 1篇拓扑发现
  • 1篇网络
  • 1篇网络拓扑
  • 1篇稳定性

机构

  • 5篇北京邮电大学
  • 1篇广州大学
  • 1篇天津市国瑞数...

作者

  • 5篇徐国爱
  • 3篇杨义先
  • 2篇李忠献
  • 2篇张淼
  • 2篇彭俊好
  • 2篇朱振荣
  • 1篇张明剑
  • 1篇陈爱国
  • 1篇梁婕

传媒

  • 2篇计算机工程
  • 1篇计算机应用研...
  • 1篇北京邮电大学...
  • 1篇Wuhan ...

年份

  • 4篇2008
  • 1篇2007
  • 1篇2006
5 条 记 录,以下是 1-6
排序方式:
一种基于多线程的网络拓扑发现方法
在网络拓扑发现过程中,向不存在的主机发送 ICMP 请求或者 PING 命令等,通常会浪费大量时间, 从而降低拓扑发现的效率。本文综合了传统的拓扑发现方法,采用多线程技术,根据 IP 地址存活的概率不同, 使用不同线程进...
张明剑徐国爱李忠献
关键词:拓扑发现SNMPICMP
文献传递
SIRS蠕虫传播模型及其分析被引量:7
2008年
提出SIRS蠕虫传播模型并对其稳定性进行分析,当R0<1时,网络最终将处于"无病"状态,当R0>1时,将出现蠕虫"地方病"。利用CAIDA提供的蠕虫数据进行检验,结果表明模型与实际数据吻合。基于该模型,分析了主机不能保持免疫力、感染蠕虫后及时关机或断开网络、主机主动免疫等不同策略对蠕虫控制的影响。
彭俊好徐国爱朱振荣杨义先
关键词:蠕虫稳定性
蠕虫对抗蠕虫模型的分析与改进被引量:6
2008年
指出蠕虫对抗蠕虫模型中存在的错误,通过分析蠕虫传播规律,提出修正模型。根据良性蠕虫的不同对抗策略,补充建立相应的蠕虫对抗蠕虫模型。通过数值模拟,分析良性蠕虫出现早晚及良性蠕虫的不同对抗策略对蠕虫传播控制的影响。结果表明,良性蠕虫引入越早,其查杀及修复漏洞功能就越全面,控制恶意蠕虫传播的效果也越好。
彭俊好徐国爱朱振荣杨义先
关键词:蠕虫
基于整型变量一致化的整数溢出检测被引量:1
2008年
在研究整数溢出产生原因的基础上,提出基于整型变量一致化处理且面向软件源代码整数溢出的检测方法.该方法将整数溢出检测问题抽象为1个多元不等式组求解的问题,用以解决上下文环境对整数溢出检测的影响.实例分析表明,该方法可有效解决源代码中整数溢出漏洞的检测问题.
徐国爱张淼陈爱国李忠献
关键词:整数溢出静态代码分析控制流分析信息安全
A Trusted Host’s Authentication Access and Control Model Faced on User Action被引量:1
2006年
The conception of trusted network connection (TNC) is introduced, and the weakness of TNC to control user's action is analyzed. After this, the paper brings out a set of secure access and control model based on access, authorization and control, and related authentication protocol. At last the security of this model is analyzed. The model can improve TNC's security of user control and authorization.
ZHANG Miao XU Guoai HU Zhengming YANG Yixian
基于静态分析技术的源代码安全检测模型被引量:12
2008年
介绍了当前主流的静态代码分析技术,在分析讨论其优缺点的基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分析技术,并借鉴了编译器中数据流和控制流分析的思想,获取上下文关联的数据信息,从而更加准确地分析代码中存在的安全问题。
梁婕张淼徐国爱杨义先
关键词:数据流分析控制流分析别名分析静态代码分析源代码
共1页<1>
聚类工具0