【摘 要】
：
沙箱验证机制的测试需要首先识别沙箱拦截,即识别沙箱截获的系统函数集。已有的Hook识别方法大多仅关注钩子的存在性,识别沙箱拦截的能力不足。该文设计了一种基于函数注入的
【机 构】
：
解放军信息工程大学,数学工程与先进计算国家重点实验室
【基金项目】
：
国家863计划项目（2012AA012902）
论文部分内容阅读
沙箱验证机制的测试需要首先识别沙箱拦截,即识别沙箱截获的系统函数集。已有的Hook识别方法大多仅关注钩子的存在性,识别沙箱拦截的能力不足。该文设计了一种基于函数注入的沙箱拦截识别方法,该方法分析系统函数的指令执行记录（Trace）来识别沙箱截获的系统函数。首先,向不可信进程注入并执行系统函数来获取函数的执行记录;其次,根据沙箱截获系统函数执行记录的特点,设计了地址空间有限状态自动机,并在自动机内分析获取的执行记录来判别沙箱截获的系统函数;最后,遍历测试函数集来识别目标沙箱截获的系统函数集。该文设计实现了原
其他文献
湖南农村经济发展还处于全国的中下水平，而人口和老龄人口又高于全国平均水平。湖南农村是在“未富先老”的情况下进入老龄化行列的，这就出现了许多需要解决的问题如养老资金不
对于南京三桥收费年限将延长至30年一事，南京政府竟然批准了企业的这一要求，这不得不令人诧异。国家的相关法律规定，一般的路桥收费年限最长不能超过25年，而只有西部的一些地区才能延长到30年，但南京不在西部，似乎不应该享受这种特殊待遇，可是三桥竟然有能力将法定的25年收费期延长至30年，这不得不让人佩服三桥的能力。 三桥延长收费年限的理由更让人匪夷所思，因为没有车走，所以亏损：因为亏损，所以延长收费
【正】目前,校园电视台已成为我国职业学校中一道亮丽的风景线。济南电子机械工程学校校园电视台成立4年来,充分发挥闭路电视系统、电视媒体的特点,在日常教学工作中进行了有