欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
软件的可信性不仅依赖于软件自身，也依赖于软件所在的环境（恶意代码）。构建面向威胁的软件预期行为模型是保障软件可信性的基础。该项目研究了软件的文件结构、控制流、数据流、系统函数调用等，提出了结构完整性模型、基于颜色矩的结构指纹、基于对象的软件行为模型、基于参数污点传播的软件行为模型、结合控制流和数据流的行为模式挖掘方法、软件行为认证码、基于行为完整性的软件动态可信理论模型等。给出了结构完整性、行为完整性以及风险场的概念，丰富了可信软件的基本理论；软件行为模型的构建从传统的系统调用拓展到软件作用的系统资源对象，并引入参数污点分析，从而可以刻画更精确的软件行为，检测非控制数据攻击。 该项目利用上述理论和技术，设计和实现了基于Hooking的模块级恶意代码分析工具-MAT、基于属性和签名的二进制文件比较工具-PEDiff、基于硬件虚拟化的内核完整性保护工具-HV_KDAP，基于软件数据指纹和行为指纹认证的主机保护系统以及可信软件栈的安全测试工具-TSS_Fuzzing。 总之，上述研究成果为软件的预期行为构建、软件威胁模式的获取、软件环境的安全确保等提供了有效理论、技术以及工具的支持。
结论摘要：
英文主题词Trusted Software; Malicious code; Behavior model; Structure Integrity; Behavior Integrity
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
相关项目
傅建明的项目
