信息流跟踪的研究与实现

摘要

近年来，嵌入式系统受到了来自恶意软件的严重威胁，恶意软件已经开始威胁嵌入式设备的正常使用。由于嵌入式处理器不会检查所执行的程序是否安全，从处理器的角度来看，恶意软件与正常程序相同，这就造成了恶意软件在指令级层次是透明的，从而为恶意软件的攻击留下了潜在隐患。如果嵌入式处理器在软件运行的过程中能及时发现具有安全威胁的程序并予以中止，就可以大大提高嵌入式系统在运行时的安全性，为嵌入式设备在不安全的环境下的应用提供可靠保障。
　　 本文从指令级层次入手研究嵌入式处理器的细粒度安全运行机制，提出了一种基于动态信息流追踪思想的监控机制FPM（Full Protection Mechanism），对整个指令和数据路径进行监控保护。通过添加特殊寄存器，由用户来配置安全策略，具有很高的灵活性和可编程性，可以针对设备受到的恶意威胁种类配置相应的安全策略，达到较高的效率。同时为敏感信息和特殊服务程序提供定制的监控策略，防止敏感信息泄漏和特殊服务程序遭篡改。本文使用硬件描述语言设计实现了FPM安全防御机制，并在FPGA上验证了FPM安全防御机制。仿真和验证结果表明，FPM安全防御机制可以高效的检测到多种恶意攻击。

目录

文摘

英文文摘

声明

1 绪论

2 信息流跟踪的思想

3 各种恶意攻击的攻击机制

4 动态信息流跟踪的实现

5 安全性能分析与测试

6 总结展望

7 致谢

参考文献

附录 攻读硕士学位期间发表的主要论文和申请专利