分析计算机软件安全检测技术及其运用.docxVIP

分析计算机软件安全检测技术及其运用 　　摘要：随着信息技术的不断发展，计算机软件的功能也更加全面，计算机软件是保证计算机安全运行的关键，如果软件出现问题，将会对计算机的性能产生直接影响。因此，要合理利用计算机软件安全检测技术，对软件进行检测，保证软件的安全性。本文主要分析了利用计算机软件安全检测技术时需要注意的问题，并且探讨了计算机软件安全检测技术的应用方法。 　　关键词：计算机软件;安全检测技术;应用 　　如今，计算机网络已经渗透到人们工作和学习的各个方面，计算机软件的不断开发和更新为人们的生活带来了很多方便，然而，在软件的实际应用过程中，也存在着一些安全问题，影响了计算机的正常运行。因此，要认识到计算机软件安全的重要性，正确利用计算机软件安全检测技术，及时发现软件中存在的问题，保证计算机的运行安全。 　　1、计算机软件安全问题分类 　　1.1软件版权安全 　　随着现代化信息技术的高速发展，计算机技术和网络技术在人们生产和生活当中的运用也越来越广泛。作为计算机功能实现的重要载体，计算机软件一直是人们研究和开发的重点对象。相对于计算机的硬件，计算机软件在内容和功能上更加丰富多彩，尽管这种丰富多彩的实现是建立在完备的计算机硬件基础上的，但实际上，计算机软件的成本要远远高于計算机硬件的成本。特别是在经济水平和人们的生活质量不断提高的情况下，人们对计算机软件的使用功能和操纵便捷性等方面的要求越来越高，使得计算机软件的设计和开发成本越来越高。有些计算机软件开发公司为了在计算机软件市场争得头筹，竟不惜血本，引进大量国外的优秀技术和人才，各种新创意和新方法的交融，也让计算机软件得到了快速的发展。然而，近些年来，一些居心不良的商贩为了降低软件的进购成本，对一些软件进行非法的复制甚至是盗版。这样不仅严重侵犯了软件版权持有者的版权，欺骗了消费者，同时，这些被非法复制和盗版的软件中所存在的问题，还会给消费者带来一定程度的危害，不利于计算机软件行业的健康发展。 　　1.2软件应用安全 　　随着计算机技术和网络信息技术的优势不断被人们所了解，人们在日常的工作和生活中也越来越倾向于使用计算机。随着计算机软件设计开发行业的迅猛发展，有关的技术人才也不断涌现，相关的行业和部门也愈来愈多。一些图谋不轨的人借助于计算机软件，入侵他人的计算机，导致了许多防御不足的计算机被人非法监控，许多用户不愿意泄露的信息和资源被非法窃取，用户计算机的正常稳定运行也受到了严重的干扰。另外，一些不法分子还通过计算机网络技术将病毒软件隐蔽地植入用户的电脑当中，通过对病毒软件的操控，肆意对用户计算机中的内容进行破坏，给用户带来了损失和困扰。还有一些人通过这些病毒软件进行暴力色情或者是有悖社会和谐的理论等信息的传播，严重影响了计算机网络环境的文明和安定。 　　2、计算机软件安全检测技术的应用 　　2.1计算机软件安全检测流程 　　一般情况下，在计算机软件的安全检测程序中，规模较大的计算机软件系统中有多个子系统，每个子系统中又有多个模块。计算机软件安全检测的流程是模块检测、组装检测、系统结构安全检测、软件功能和性能检测、系统检测。模块检测指的是对子系统中的最小单位的模块进行检测，模块检测的最终目标是实现测试覆盖范围的细节化和全面化，能够将小模块中的潜在风险检测出来。在完成对小模块的检测之后，要进行模块的组装工作，并且对组装的系统进行全面检测，然后要进行系统软件性能的有效测试，保证系统软件性能符合用户的实际需求。在完成整个测试后，要对整个软件进行系统性测试，切实保证软件的安全性。 　　2.2形式化安全检测技术 　　形式化的安全检测技术是在计算机软件数学模型的基础之上形成的，需要形式规格语言的支持，并且提供形式化的规格说明。当前，最为常用的形式规格语言主要有模型语言、行为语言和有效状态语言三种，软件安全检测方法主要有基于模型的检查方式和定理证明模式。 　　2.3模型安全检测技术 　　模型安全检测技术是利用软件行为和结构建模的手段，建立安全检测模型，使机器能够对模型可读。与形式化的安全检测方法相比，模型安全检测技术并不要求软件系统和规格说明要始终保持统一，而是从模型中产生一组测试用例，然后通过测试用例进行软件系统的检测，最终得出结果，说明模型期望与待测系统的一致性。 　　2.4语法检测技术 　　语法检测技术的主要原理是在语法的基础上，对生成的功能接口软件进行检测。一般情况下，语法检测技术的主要目的是研究软件的反映，尤其是在不同的输入条件下，软件所产生的有差异性的反映。采用语法检测技术，能够对计算机软件接口处的语言语法进行定义，对语言进行识别和判断，并且在语法的