论文研究 操作系统安全机制复合行为模型掘取技术研究.pdf

以信息安全理论和软件逆向工程技术为依托，研究了操作系统安全机制复合行为模型掘取技术及其实现方法和技术路线。通过结合操作系统的多尺度软件逆向理解技术，对操作系统安全机制的相关程序进行逆向分析、模型掘取和形式化描述，从而发现潜在漏洞、后门、隐通道等操作系统高层安全机制存在的安全问题，为实施修补、反制及利用等相应安全措施提供有力依据。在该技术基础上实现了一套原型系统，实验验证该系统的程序理解和模型掘取结果满足要求。