论文部分内容阅读
摘 要：计算机的核心就是软件，就像是人的大脑一样，那么软件的安全就像大脑是否能够正常运转，因此软件的安全性非常重要。当我们开发一个软件时，不仅要注意到软件的快、美观等要求，更要注意软件的安全性能检测。计算机软件安全检测技术有：模型检测技术、语法检测技术、形式化安全检测技术等。这些安全检测技术广泛的应用于各类计算机软件的安全检测中。本文我们将就“计算机软件安全检测技术”展开讨论和分析。
关键词：计算机；软件；安全；检测技术
0 引言
计算机软件充斥着我们生活的方方面面，计算机软件也涉及了我们个人、企业乃至国家各方面的公共信息和个人隐私、财产安全、企业机密、国家机密等，所以计算机的软件安全很重要。计算机的软件安全需要使用科学有效的计算机安全检查技术解决，因此，本文我们将就“计算机软件安全检测技术”展开讨论和分析。
1 计算机软件安全检测概述及重要性
计算机的核心就是软件，就像是人的大脑一样，那么软件的安全就像大脑是否能够正常运转，因此软件的安全性非常重要。当我们开发一个软件时，不仅要注意到软件的快、美观等要求，更要注意软件的安全性能检测。计算机软件安全检测的本质就是利用利用一些科技手段、科学技术来系统的、全面的对计算的软件进行安全检测，从而避免一些漏洞。计算机安全安全检测不仅仅是对现有的漏洞等进行检测，也可以对软件存在的风险进行预测、解除等。
计算机软件安全检测技术，只能避免已知的错误或者弥补已知的漏洞，对于未发现的错误和漏洞是无法避免的，不能完全的保证软件的绝对安全。
2 计算机软件安全检测技术的流程
计算机软件安全检测技术流程如下：
2.1 分析、检测软件质量问题
计算机软件的质量问题形形色色，但是也是至关重要的，它会给软件的使用者带来一定得安全威胁。
2.2 计算机软件追踪
通过坚持不懈的努力，我们国家的软件追踪技术取得了很大的发展。
2.3 计算机软的非法复制
在我们的生活中，很多人可能都见过或者听过盗版软件，由于计算计软件比较容易复制，导致一些别有用心的人，复制一些盗版软，盗版软件的安全是不能保障的，那么其中的危险就更难以避免和解除。
2.4 计算机数据信息泄露等
计算机软件使用过程中客户等人员数据信息的泄露，会给客户等人员带来不可估量的损失。例如：刚刚过去的双十一，许多人都曾网购，我们网购时，在淘宝或天猫上都曾留下自己的个人信息，包括个人的身份证号、姓名、家庭住址、電话号、银行卡信息。如果这些信息的泄露，都将给客户带来不可估量的损失。
3 计算机软件安全检测技术分析及其应用
大多数的软件安全检测都是通过程序来分析，不需要软件的运行。随着人们越来越重视计算机软件的安全性能，计算机软件安全检测技术也出现了多种，通常使用的有：形式化安全检测技术、模型检测技术等。计算机软件安全检测技术的应用也是非常广泛的，有助于及时找到软件存在的各方面问题。
3.1 形式化安全检测技术
形式化安全检测技术就是建立一个数学模型，对每一局语言都有一定的形式要求，例如：我们使用的eclipse软件就能够对我们的编写程序代码时检测出我们存在的一些语法错误。在我们通过形式化安全检测过的软件，并不代表软件中不存在错误，也只是计算机软件安全的一道屏障。
3.2 语法检测技术
在计算机软件安全检测技术中，语法检测是较为早出现的一种安全检测方式。语法检测技术是根据软件程序编写时所使用的语言，根据该语言的使用规则，例如：我们编写软件时，所使用的语言是java语言，我们的输入，输出语句就要符合java语言的编写规则，而不能使用C++的编写方式。这也是一种能够有效地保护计算的安全的一种安全检测技术。
3.3 模型检测技术
模型检测技术是对计算机软件后台软件编写时的软件的结构及行为进行检测的一项技术，这个安全检测技术较为特殊的一点是需要人员去手动检测计算机软件安全是否存在问题。
3.4 计算机软件安全检测技术的应用
计算机软件存在的安全问题五花八门，主要的问题有：其一是软件的非法盗用问题，这一问题一直困扰着许多软件出版商。因为计算机软件是比较容易被别人COPY的。其二是计算机软件存在的质量问题，这些质量问题会给我们的软件使用者带来一些安全威胁。生活中常见的安全漏洞有：dreamwever的页面设计、jquery的前端设计、java的应用等。
4 总结
计算机软件充斥着我们生活的方方面面，计算机软件也涉及了我们个人、企业乃至国家各方面的公共信息和个人隐私、财产安全等。所以计算机的软件安全很重要。计算机软件安全检测技术有：模型检测技术、语法检测技术、形式化安全检测技术等。这些安全检测技术广泛的应用于各类计算机软件的安全检测中。
参考文献
[1]朱力根.探析计算机软件中安全漏洞检测技术及其应用[J].信息通信，2015，（4）：124.
[2]亓静，刘新颖.计算机软件中安全漏洞检测技术的应用[J].电脑迷，2014，（15）：90.
[3]陈楷.计算机软件中安全漏洞检测技术的应用[J].数字技术与应用，2010，（7）：90.
（作者单位：河北省冀州市中学）
关键词：计算机；软件；安全；检测技术
0 引言
计算机软件充斥着我们生活的方方面面，计算机软件也涉及了我们个人、企业乃至国家各方面的公共信息和个人隐私、财产安全、企业机密、国家机密等，所以计算机的软件安全很重要。计算机的软件安全需要使用科学有效的计算机安全检查技术解决，因此，本文我们将就“计算机软件安全检测技术”展开讨论和分析。
1 计算机软件安全检测概述及重要性
计算机的核心就是软件，就像是人的大脑一样，那么软件的安全就像大脑是否能够正常运转，因此软件的安全性非常重要。当我们开发一个软件时，不仅要注意到软件的快、美观等要求，更要注意软件的安全性能检测。计算机软件安全检测的本质就是利用利用一些科技手段、科学技术来系统的、全面的对计算的软件进行安全检测，从而避免一些漏洞。计算机安全安全检测不仅仅是对现有的漏洞等进行检测，也可以对软件存在的风险进行预测、解除等。
计算机软件安全检测技术，只能避免已知的错误或者弥补已知的漏洞，对于未发现的错误和漏洞是无法避免的，不能完全的保证软件的绝对安全。
2 计算机软件安全检测技术的流程
计算机软件安全检测技术流程如下：
2.1 分析、检测软件质量问题
计算机软件的质量问题形形色色，但是也是至关重要的，它会给软件的使用者带来一定得安全威胁。
2.2 计算机软件追踪
通过坚持不懈的努力，我们国家的软件追踪技术取得了很大的发展。
2.3 计算机软的非法复制
在我们的生活中，很多人可能都见过或者听过盗版软件，由于计算计软件比较容易复制，导致一些别有用心的人，复制一些盗版软，盗版软件的安全是不能保障的，那么其中的危险就更难以避免和解除。
2.4 计算机数据信息泄露等
计算机软件使用过程中客户等人员数据信息的泄露，会给客户等人员带来不可估量的损失。例如：刚刚过去的双十一，许多人都曾网购，我们网购时，在淘宝或天猫上都曾留下自己的个人信息，包括个人的身份证号、姓名、家庭住址、電话号、银行卡信息。如果这些信息的泄露，都将给客户带来不可估量的损失。
3 计算机软件安全检测技术分析及其应用
大多数的软件安全检测都是通过程序来分析，不需要软件的运行。随着人们越来越重视计算机软件的安全性能，计算机软件安全检测技术也出现了多种，通常使用的有：形式化安全检测技术、模型检测技术等。计算机软件安全检测技术的应用也是非常广泛的，有助于及时找到软件存在的各方面问题。
3.1 形式化安全检测技术
形式化安全检测技术就是建立一个数学模型，对每一局语言都有一定的形式要求，例如：我们使用的eclipse软件就能够对我们的编写程序代码时检测出我们存在的一些语法错误。在我们通过形式化安全检测过的软件，并不代表软件中不存在错误，也只是计算机软件安全的一道屏障。
3.2 语法检测技术
在计算机软件安全检测技术中，语法检测是较为早出现的一种安全检测方式。语法检测技术是根据软件程序编写时所使用的语言，根据该语言的使用规则，例如：我们编写软件时，所使用的语言是java语言，我们的输入，输出语句就要符合java语言的编写规则，而不能使用C++的编写方式。这也是一种能够有效地保护计算的安全的一种安全检测技术。
3.3 模型检测技术
模型检测技术是对计算机软件后台软件编写时的软件的结构及行为进行检测的一项技术，这个安全检测技术较为特殊的一点是需要人员去手动检测计算机软件安全是否存在问题。
3.4 计算机软件安全检测技术的应用
计算机软件存在的安全问题五花八门，主要的问题有：其一是软件的非法盗用问题，这一问题一直困扰着许多软件出版商。因为计算机软件是比较容易被别人COPY的。其二是计算机软件存在的质量问题，这些质量问题会给我们的软件使用者带来一些安全威胁。生活中常见的安全漏洞有：dreamwever的页面设计、jquery的前端设计、java的应用等。
4 总结
计算机软件充斥着我们生活的方方面面，计算机软件也涉及了我们个人、企业乃至国家各方面的公共信息和个人隐私、财产安全等。所以计算机的软件安全很重要。计算机软件安全检测技术有：模型检测技术、语法检测技术、形式化安全检测技术等。这些安全检测技术广泛的应用于各类计算机软件的安全检测中。
参考文献
[1]朱力根.探析计算机软件中安全漏洞检测技术及其应用[J].信息通信，2015，（4）：124.
[2]亓静，刘新颖.计算机软件中安全漏洞检测技术的应用[J].电脑迷，2014，（15）：90.
[3]陈楷.计算机软件中安全漏洞检测技术的应用[J].数字技术与应用，2010，（7）：90.
（作者单位：河北省冀州市中学）