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

作　　者：毕芳芳[1] 

机构地区：[1]河北师范大学附属民族学院

出　　处：《中小学电教（下）》2011年第5期24-24,共1页Primary and Middle School Educational Technology

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

关 键 词：计算技术 安全性分析 软件 计算机系统 静态分析 安全性检测 信任根 可信计算 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]