摘要：软件代码的静态分析是一种针对代码的自动验证的非常有效的方法,其目的是在不运行代码的情况下,通过分析软件代码本身的语法和数据流,检查代码是否满足安全性和可靠性要求。为控制程序的复杂性,便于后期的检测与维护,《GJBZ 102A-2012军用软件安全性设计指南》对软件的复杂性提出了控制要求,对此引入Understand软件对程序代码的模块规模进行分析。在分析Understand软件及其在分析程序代码后生成的TXT文件后,设计一种统计工具,利用C++语言对文件中的数据进行筛选,提取所需数据并对其进行处理,以此提高静态分析时的工作效率。

摘要：移动互联网已逐步进入稳定发展期,但网络安全事件频发,以恶意篡改应用为代表的攻击方式极大地损害了用户的利益,威胁着网络安全。针对此类问题,设计并实现了一种基于可信计算的移动应用静态度量方法,利用可信计算主动免疫机制对移动应用的结构和运行进行分析,保证应用在安装和使用过程中的合法性和完整性,有效防止应用被篡改。

摘要：针对当前工业控制系统所面临的信息安全问题,提出了一种安全可信的体系架构。首先分析了工控系统特点、整体模型和控制流程,然后结合可信计算的思想,对工控系统的启动、组态和运行进行了安全加固,设计了静态度量、安全传输以及运行结果安全性验证。该体系可有效提高工控系统的安全防御能力。

摘要：现如今网络中的攻击形式更加多样化,攻击的对象不仅是针对于磁盘上的应用程序源文件,而是针对于应用程序中的内存映像,通过对其进行修改来达到攻击的目的。程序的动态完整性度量能很好地对进程的完整性进行判断,本文基于OpenSSL采用静态度量和动态度量相结合的方式有效地避免了TOC-TOU(Time of Check-Time of Use)问题,提高了度量结果的准确性。特别是对于正在执行中的程序的检测有很好效果。