计算机系统结构安全检测,计算机软件安全检测法综述

1计算机软件安全检测的流程

由于计算机软件的系统规模比较大，系统中又包括了很多子系统，在各个子系统中又包括了很多模块。一般来说，计算机软件安全检测工作要严格按照以下流程进行检测：对各个子系统中的模块进行测试；对软件系统进行组装工作；对计算机软件的系统结构进行准确检测；测试计算机软件的性能与功能；测试计算机软件系统。

2计算机软件安全检测的方法

2.1形式化安全检测

形式化安全检测，是以计算机软件数学模型为基础，运用形式化、规格化的语言，所构成的一种形式化说明形式。该种方法主要模型语言、有效状态语言和行为语言三种形式化、规格化的语言。形式化的安全检测所使用的检测方法，以模型检查和数学定理模型证明为主。

2.2语法检测方法

语法检测方法，是一种运用语法形式，对生成功能接口的计算机软件进行检测的一种方法。通常情况下，这种检测方法主要以对计算机软件进行研究和反映为目的。也就是说，在不同的输入环境下，对计算机软件的不同类型进行的反映。

2.3以模型为主的计算机软件功能检测方法

以模型为主的计算机软件功能检测方法，在实现计算机软件行为与结构建模相结合的前提下，所组成的一种测试模型。这个测试模型具有满足检测机器要求的可读性功能。以模型为主的计算机软件功能检测方法与形式化安全检测方法，在进行对比后，前者将系统模型中的一组测试用例，运用该组测试用例对等待检测的计算机软件系统进行测试工作，在获得充分的信息证据后，证明待检测软件系统行为与模型期望之间的一致性。其不对待检测计算机软件的系统、规格说明之间的一致性进行检测。以模型为基础的安全静态检测方法主要运用有限状态机与马尔科夫链两种检测方法。

2.4模糊式检测模糊式检测，在运用白盒模糊检测方法的基础上，将传统检测方法和动态检测相融合，实现了传统检测方法的升华。虽然模糊式检测方法比较简单，但是其能够将程序中的bug揭示出来，并对现实中存在的错误模式进行验证，在软件发货之前，能够提示可能阻塞的攻击渠道。

2.5以故障注入为基础的安全检测

经过具体的实践证明，以故障注入为基础的软件检测方法，对于提升计算机软件安全检测方法的自动化水平具有十分重要的作用。

2.6基于属性的检测方法

通过将基于属性的检测方法和其他种类的检测方法进行对比后，了解到该种检测方法能够全面的对计算机软件系统安全漏洞的扩展性、交互性进行分析。在运用该检测方法时，要对计算机软件的相关规范章程进行了解，将规范章程作为安全检测工作的重要属性依据。然后运用安全属性检测计算机软件系统程序的代码，对计算机系统代码和规则的符合性进行严格的验证。

3结语

总之，计算机越来越广泛的应用在人们的生活、工作和学习中，其自身的安全性能对人们使用计算机具有十分重要的影响。因此，需要运用科学、合理的软件安全检测方法，最终有效的提高计算机的安全、稳定运行，提高计算机信息的可靠性，增强计算机软件的性能。

作者：段立峰

计算机系统结构安全检测,计算机软件安全检测法综述相关推荐

计算机系统结构总概,计算机系统结构概论
第一章计算机系统结构概论,,目录,计算机系统的多级层次结构计算机系统结构.组成与实现计算机系统的软硬取舍.性能评测及定量设计原理软件.应用.器件对系统结构的影响系统结构中的并行性发展和计算机系统的分类 ...
常见的计算机系统结构不包括,计算机系统结构
摘要: 本书系统地讲述了计算机系统结构的基本概念,设计原理和设计方法.本书是为高等院校计算机本科专业的高年级学生而编写的教材.其内容丰富,由浅人深,理论联系实际,每章利用一定的篇幅介绍了当今Penti ...
计算机系统结构相关技术,计算机系统结构第1章技术总结.pptx
1 计算机系统结构主讲:任国林 Email:renguolin@seu.edu.cn 2 引言一.计算机系统的性能与结构 1.计算机系统性能 *系统性能:指在计算机硬件上运行的计算机软件的性能 ...
计算机系统结构教程卷子,计算机系统结构试卷试题.docx
第一章: 1．试述 Flynn分类的 4 种计算机系统结构有何特点. 2．假设高速缓存Cache 工作速度为主存的5 倍,且 Cache 被访问命中的概率为90%, 则采用 Cache 后,能使整个存 ...
计算机系统结构树形流程图,计算机系统结构第七章自考练习题答案
计算机系统结构自考复习资料第七章多处理机历年真题精选 1. 在多处理机上,两个程序段既能顺序串行.交换串行,又能并行,则这两个程序段之间必须是( B ) . A. 只有数据相关 B. 只有源数 ...
华中科技大学计算机系统结构,华中科技大学计算机系统结构复习题.pdf
Advanced Computer Architecture 高级计算机系统结构 (复习题) -考试时间:1月20号下午根据曹强老师的写的,不知道会不会有错误,祝大家好成绩--by刘梦博 By刘梦博 ...
计算机系统结构开设学校,计算机系统结构专业介绍及考研院校排名
近几年参加考研的人数呈现上升趋势,如何选到自己心仪的专业,录取率相对有保障的院校是各位考研生需要关注和用心的,小编为大家准备一份专业介绍和院校排名信息,希望能对大家有所帮助. 基本信息专业名称:计算 ...
华中科技大学计算机系统结构,华中科技大学计算机系统结构考研
一.华中科技大学计算机系统结构考研的研究方向有哪些? 学校每年的专业设置及研究方向会根据实际情况有所变动,考生需要登录华中科技大学研究生院官网,查看院校每年公布的研究生招生简章.招生专业目录.2013 ...
解释术语计算机系统结构,北京邮电大学计算机系统结构(体系结构) 期末复习术语解释.doc...
文档介绍: 计算机系统结构:机器语言程序员所看到的传统机器级所具有的属性,它包括概念性结构和功能特性两个方面.计算机组成:指的是计算机系统结构的逻辑实现,包括物理机器级内的数据流和控制流的组成以及逻辑 ...
计算机系统结构外文,计算机系统结构外文文献计算机系统结构参考文献怎么写...
[100个]关于计算机系统结构外文文献汇总,作为大学生的毕业生应该明白了计算机系统结构参考文献怎么写,收集好参考文献后的计算机系统结构论文写作起来会更轻松! 一.计算机系统结构论文参考文献范文 [1 ...

计算机系统结构安全检测,计算机软件安全检测法综述

计算机系统结构安全检测,计算机软件安全检测法综述相关推荐

最新文章

热门文章