反恐怖武器装备发展问题浅探

从“9·11”事件到俄罗斯别斯兰人质事件,再到前不久刚刚发生的伦敦恐怖爆炸案,世界暴力恐怖活动呈现出日益猖獗的趋势。我国也面临着越来越严重的恐怖威胁,国际恐怖分子针对我国外工作人员的恐怖袭击和人质劫持事件越来越多熏打击恐怖主义同样成为我国政府面对的重要任务。现阶段,世界反恐行动都面临着获取情报困难、反恐手段单一、反恐武器装备有效性差等难题,而加强反恐武器装备研究发展,则是反恐行动的物质基础,必须引起高度关注。一、发展反恐武器装备的紧迫性和必要性研究发展反恐武器装备,将成为及时准确获取恐怖活动信息、推动反恐…     

8·23菲律宾人质劫持事件的教训及启示

2010年8月23日,菲律宾发生劫持中国香港游客的暴力事件,引起世界的关注。以此次事件为切入点,总结菲警方处置劫持事件的教训,以利于我国警方反劫持战斗顺利进行,提高处置此类案件的快速反应能力。     

俄罗斯恐怖活动探析

详细介绍俄罗斯境内恐怖活动的特点 ,分析俄罗斯政府针对恐怖活动所采取的各项策略 ,以期对我国的反恐有所借鉴。     

ASLR机制脆弱性自动分析方法

地址随机化是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄漏状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果表明,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

基于程序状态变迁的ASLR机制脆弱性分析方法

地址随机化ASLR是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,本文提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态；针对常见的内存泄漏与控制流劫持场景建立约束条件；通过求解内存泄露状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果显示,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。