您的位置: 专家智库 > >

黄强

作品数:3 被引量:25H指数:2
供职机构:南京大学金陵学院更多>>
发文基金:国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

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

主题

  • 1篇代码
  • 1篇信息流
  • 1篇信息流分析
  • 1篇性能要求
  • 1篇源代码
  • 1篇远程
  • 1篇智能化
  • 1篇智能门禁
  • 1篇群控
  • 1篇群控系统
  • 1篇污点
  • 1篇门禁
  • 1篇门禁系统
  • 1篇编译器
  • 1篇SSA
  • 1篇脆弱性

机构

  • 3篇南京大学

作者

  • 3篇黄强
  • 2篇曾庆凯
  • 1篇张志伟
  • 1篇朱光亚
  • 1篇俞海

传媒

  • 1篇计算机工程
  • 1篇软件学报
  • 1篇市场周刊

年份

  • 1篇2013
  • 1篇2011
  • 1篇2009
3 条 记 录,以下是 1-3
排序方式:
基于信息流策略的污点传播分析及动态验证被引量:21
2011年
基于流和上下文敏感的SSA(static single assignment)信息流分析技术,提出了一种细粒度、可扩展的污点传播检测方法.利用控制流和数据流的相关信息,跟踪污染数据及其传播路径,可以检测缓冲区溢出、格式化串漏洞等程序脆弱性.分析过程在潜在问题点自动插装动态验证函数,在无需用户干预的情况下保证了程序的运行时安全.在GCC编译器的基础上实现了分析系统,实验结果表明,该方法具有较高的精确度和时空效率.
黄强曾庆凯
关键词:脆弱性信息流
智能门禁群控系统被引量:2
2013年
一、系统简介 智能门禁群控管理系统,适用于家庭、小区物业、宾馆酒店、商场、办公室、银行等一些对安全性能要求较高的场所,就是智能化地对客户的多个不同的出入门禁进行远程智能化的管理系统。这也是门禁系统的创新。
李丕峰付光健朱光亚张志伟俞海黄强
关键词:门禁系统智能化性能要求远程
基于SSA中间表示的源代码信息流分析被引量:2
2009年
提出一种基于SSA中间表示的源代码信息流分析算法,介绍隐蔽通道识别过程,采用基于信息流的工作表实现该算法,讨论其在时空代价以及分析精度方面的特点,并将分析框架嵌入GCC编译器。仿真实验结果表明,该算法是有效的,且具有一定应用价值。
黄强曾庆凯
关键词:信息流分析编译器
共1页<1>
聚类工具0