计算机软件安全检测技术简析论文.docx

计算机软件安全检测技术简析论文

计算机软件安全检测技术简析论文［摘要］随着科学技术的不断发展与创新，计算机已经成为人们日常生活工作中的必要工具，但同时随着计算机的应用不断深入，人们对计算机使用性能和安全程度有了更高的要求。计算机的功能由硬件和软件共同支撑，其中计算机软件是计算机赖以工作的基础，针对计算机软件的安全检测技术又是确保计算机安全工作的重要内容。计算机软件安全检测技术是针对计算机软件不同的安全指标进行安全检测，该技术的科学应用可以准确高效地识别出计算机软件中存在的安全漏洞。在本文中对计算机软件安全检测技术中存在的问题和解决方案进行简单分析，以帮助相关技术人员在实际应用中进行参考。［关键词］计算机软件；安全漏洞；检测技术doi:10.3969/j.issn.1673-0194.2016.05.098［中图分类号］TP31［文献标识码］A［文章编号］1673-0194（2016）05-0182-020引言对计算机软件安全性能进行考评是在计算机的软件开发和使用过程中极为重要的步骤，该步骤的顺利实施可以帮助相关技术人员找到软件运行中存在的故障和安全隐患，并可以根据检测结果及时进行修补，以保证软件的正确使用和推广。现行的计算机检测技术在应用过程中仍无法完全避免漏洞和错误的发生，因此在实际的应用中需要相关技术人员采取科学高效的安全检测手法对计算机软件进行评定。1计算机软件安全检查流程及注意问题1．1计算机软件安全检查流程在对计算机软件进行安全检查时，软件多为大型的应用软件，该软件内部往往包含着由多人开发的冗杂子系统，因此对大型软件进行安全检查是一项庞大复杂的工程。在实际的安全检测过程中通常将大型软件的子系统分割成互不影响的模块，对这些模块进行安全检测。大型软件的检测工作通常情况下先对模块进行测试，之后将各个模块组装成系统，然后对该系统的结构进行安全检测，最后在对软件整体的功能和性能进行有效测试，以判断软件的性能指标是否与预期相符，采用这样的检测流程就可以实现对软件安全指标进行科学的考评。1．2制定高效合理的软件安全检测方案在对计算机软件进行安全检测之前，需要对计算机软件的功能和特性进行充分的考察，并根据具体的情况制定出科学合理的软件检测方案，以确保安全检测方案实施的高效性。在进行软件安全检测具体工作时，应邀请具有专业知识经验的人员参与，并再配备熟悉和掌握该软件特点的技术人员参与，另外还可以聘请多领域相关的专家参与工作，从多个方面对软件进行考评测试与修正，以保证计算机软件可以达到理想的应用效果。1．3系统化全面性的分析计算机软件安全检测是一个冗杂繁复的过程，如何选择有效且可行的检测方案是执行人员需要着重考虑的问题，在实际工作中应该对计算机软件做到系统化和全面性的分析。大型计算机软件的程序通常具有较大规模，在进行软件安全检测时就要求技术人员对软件进行代码级、系统级和需要级的细致检测，另外进行计算机软件安全检测时对同级别检测也需要进行合理的技术分析。2计算机软件安全漏洞检测方式2．1形式化安全检测方式通常情况下若是可以搭建准确的计算机软件数学模型就可以采取形式化的安全检测方法，在实际的应用过程中往往采取形式规格语言进行使用，在检测的过程中常常使用行为语言、模型语言或是有效状态语言等规格语言。2．2静态模型检测方式静态模型检测方式是在使用的过程中需要对软件的具体行为和结构框架进行模型建立，在进行检测时实际就是对该测试模型进行检测，通常情况下使用的设备对该模型具有可读性，并可以具体运行，其中应用最为广泛的包括有限状态机和马尔可夫链两种方法。静态模型的检测方法通常情况下采用系统化的`建模检测方法，因此与形式化安全检测方法相比更加合理，不需要软件所有的工况都保持不变，而是通过对模型建模得出一系列的测试模型，当该模型经测试后与软件的期望值相同时证明该软件不存在漏洞。2．3语法检测方式语法检测方式是又一种较为常用的计算机软件检测方法，该种检测方法通常情况下是基于语法特点在软件的生成功能接口处进行检测，对该接口处的语言和语法进行检测，并在一定的条件下生成检测用的范例，通过改变计算机软件的上级输入条件，并在下级处检测不同输入条件下的输出结果，并根据不同的检测结果对软件的安全性能进行检测。2．4导入故障检测方式导入故障的检测方法是一种融合了传统故障检测技术和动态检测技术的科学软件安全检测方法，该种方法建立在白盒模糊检测基础上并在操作中不需要冗杂的操作规范，但是在查找软件漏洞方面却有很大成效。通常情况下需要考评常见的故障和漏洞类型，并建立系统的故障漏洞树，之后通过对软件的人为测试以对软件的漏洞和故障进行检测，该种检测方法可以极大地提高安全检测技术的自动化程度，因此在未来的计算机安全检测中会得到更广泛的应用。2．5安全属性检测方法在进行计算机软件开发过程中