可执行可信软件安全性分析技术

• 作者: 毕芳芳
• 来源期刊: 中小学电教：下
• 学科: 工学
• 关键词: 计算技术 安全性分析 软件 计算机系统 静态分析 安全性检测 信任根 可信计算
• 年，卷（期）: 2011,（5）
• 页码范围: 24
• 页数: 1页
• 分类号: TP3

摘要

随着国内可信计算技术的迅猛发展，近几年来，基于此技术的可信应用也逐渐增多。可信计算之所以能够保证计算机系统的整体可信，是因为它的组成部件既有信号的发出源。即信任根，又有一条信任链。从信任根发出的信号可经由各种硬件平台、操作系统最后扩展到各级具体应用，这种一级确认下一级的信号扩展模式使得信任可遍及整个计算机系统。现在，软件安全性检测有三种方法：静态分析、动态测试和形式化验。静态分析是通过对程序的代码进行分析，

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毕芳芳	河北师范大学附属民族学院	12	5	1.0	1.0