匡春光 作品数:16 被引量:9 H指数:2 供职机构: 北京系统工程研究所 更多>> 相关领域: 自动化与计算机技术 更多>>
计算机性能测试 被引量:1 2014年 为了较全面并尽量准确地了解计算机的性能,对计算机可能具有的能力进行了分析,并针对其中重要的能力选定了测试方法,主要包括CPU的计算能力、内存访问能力、硬盘访问能力、光驱访问能力等。利用分析结果和选定的测试方法对一些计算机进行测试后较全面和较准确地了解了这些计算机的性能,分析具有实用价值。 匡春光 张鲁峰 崔益民关键词:计算机性能 网络安全试验平台研究 2015年 为开发并实现强大的网络安全试验平台,提高网络安全技术的测试和试验能力,对网络安全试验平台技术进展进行研究,概括网络安全试验平台的特性。基于网络安全试验的需要,提出网络安全试验平台的基本功能组成,以分层的方式描述平台的结构;在此基础上,重点分析与安全试验平台密切相关的技术,探讨未来亟需开展的研究内容。 郭艳来 崔益民 匡春光 王梓斌 张明关键词:描述语言 软件脆弱性分析概念研究 软件脆弱性分析是一个新兴的研究内容,本文探讨软件脆弱性分析概念模型,包括脆弱性概念,脆弱性分析的特征等,试图为认识软件脆弱性分析问题建立结构模型. 陈华 匡春光 汤志国关键词:软件脆弱性 可靠性 文献传递 一种格式化字符串脆弱性动态检测技术 2012年 为了提高计算机软件的安全性,对C程序中的格式化字符串脆弱性的原理、特征进行了分析,在分析的基础上提出了一种动态检测技术.利用此检测技术实现的一种格式化字符串脆弱性检测工具能较准确地检测到C目标程序中的格式化字符串脆弱性.分析结果对编写更安全的C程序具有参考价值,检测技术具有实用价值. 匡春光 王春雷 何蓉晖关键词:脆弱性 动态检测 基于数据流的脆弱性静态分析 2008年 为提高Java软件的安全性,针对Java程序的脆弱性分析问题,提出一种基于数据流的感染分析法,阐述了具体思路和实现步骤。依据该方法实现的分析系统能有效分析出Java字节码程序中存在的XPath注入、SQL注入等脆弱性,结果证明了基于数据流的感染分析法的正确性和可行性。 匡春光 陈华 张鲁峰关键词:脆弱性 控制流 数据流 C程序中的脆弱性模式研究 被引量:1 2009年 C程序中脆弱性的存在严重地降低了C程序的安全性,为了提高C程序的安全性,对C程序中的脆弱性模式进行了研究。应用了分类、分析、归纳总结等研究方法。较系统地提出了C程序中存在的脆弱性模式,阐述了各种脆弱性模式的产生原因及其危害,并针对部分脆弱性模式提出了相应的避免或缓解的方法。研究结果可以用于指导C程序的编写,也可以用于对已有的C程序进行脆弱性分析,大幅度提高C程序的安全性,由于脆弱性种类会随着应用的发展而发生变化,今后还需要研究其它的脆弱性模式。 匡春光 张鲁峰 何蓉晖关键词:缓冲区溢出 C库中易受缓冲区溢出攻击的脆弱函数分析 被引量:1 2011年 为了编写更安全的C程序和提高已有C程序的安全性,对C库函数中易受缓冲区溢出攻击的脆弱函数进行了分析,分析它们可能产生缓冲区溢出时的特征及如何避免缓冲区溢出.实现了一种缓冲区溢出检测工具,能较准确地检测到C目的程序中的缓冲区溢出漏洞,分析结果具有实用价值. 匡春光 王春雷 刘强 何蓉晖关键词:缓冲区溢出 COSIXV2.0中SCSI磁带机驱动程序的设计与实现 1999年 COSIXV2.0是在国家八五重点科技攻关项目支持下研制的UNIX操作系统。数据备份和恢复是操作系统中的一个重要功能,磁带作为一种廉价的后备介质得到了普遍应用,而SCSI磁带机则是目前最流行的磁带机之一。本文将介绍COSIXVZ.0中SCSI磁带机驱动程序的设计与实现。 匡春光 刘绍南 李艺关键词:程序设计 CSCI 磁带机 驱动程序 软件安全保证框架 2010年 在信息系统或软件系统中,安全功能和安全保证是安全要素的"一体两面"。对在安全方面有特殊要求的软件,在实现安全功能时,不应忽视安全保证。为提升软件安全性,应将一系列保证活动有机集成到软件开发者通常使用的软件过程中。首先探讨了软件安全保证的概念和实施原理,然后提出了一个软件安全保证框架模型,结合工程化方法应用该模型,将使软件的管理部门、用户、开发方以及独立的评估机构的安全保证过程更加全面、规范。 张剑波 张鲁峰 匡春光关键词:安全保证 软件工程 浅释量子计算的计算能力 2001年 Quantum computation is a new field of computer science. It is given attention to for its powerful computation ability. The paper explains the cause of its powerful computation ability by giving two typical quantum computation algorithms. 匡春光关键词:量子计算机 量子计算