随着时代的发展，计算机逐步融入到人们的生产生活中，作为计算机灵魂的软件其可信性问题成为威胁计算机安全的关键。软件的可信度量应运而生，软件可信度量的属性包括：可用性、可靠性、防危性、安全性、可维持性，其中安全性又可进一步细分为机密性与完整性，依据各属性的权值，通过加权求和得到软件的可信度量值。完整性作为可信性的一种属性，虽然不完全等同于可信，但更符合可信的定义，因此可信度量使用完整性为信任的基本属性。完整性度量技术作为可信度量的一种重要的技术在不断发展并逐步走向应用，但是现有的完整性度量技术存在以下不足：　　（1）完整性度量散列算法性能较低，影响完整性度量的整体性能；　　（2）完整性度量大多只监控软件的静态属性，不能实现程序执行时的动态度量；　　（3）现有的动态度量系统实现困难且未验证系统的安全性。　　针对现有完整性度量存在的问题，本文主要的工作及创新点如下：　　（1）提出了一种基于多线程流水并行的完整性度量散列算法优化方法，通过引入线程级并行技术及存储级并行技术实现了完整性度量散列算法的并行执行，提升了完整性度量散列算法的性能。　　（2）设计实现了一种可配置策略的软件动态完整性度量框架，通过策略配置模块的设计实现使度量框架可灵活配置软件的度量策略，合理配置策略并内嵌策略实现策略的快速解析提升框架的性能，降低其对系统性能的影响；通过对软件执行全生命周期的分析，选择合适的度量点，实现了粗粒度度量与细粒度度量结合的度量方式，保证了程序的静态完整性及执行的动态完整性；采用优化的度量算法作为完整性度量算法有效提升了度量框架的执行效率。　　（3）形式化分析验证了度量框架的安全性，使用现有的一种描述可信计算的逻辑——安全系统逻辑（A Logic of Secure Systems，LS2）对度量过程进行描述并证明了度量框架的安全性。