首页>中文会议>工业技术>自动化技术与计算机技术>第三届信息安全漏洞分析与风险评估大会

第三届信息安全漏洞分析与风险评估大会

召开年：2010
召开地：合肥
出版时间： 2010-10

主办单位：中国信息安全测评中心

会议文集：第三届信息安全漏洞分析与风险评估大会论文集

会议论文

热门论文

全部论文

最新会议

更多>>

全选（0）

1.网页木马静态对抗的研究与防御
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：本文主要针对网页木马静态对抗的现状进行阐述,同时对网页木马静态对抗技术的攻击原理和攻击类型进行分析,并且提出了一套针对已有静态对抗技术的防御策略,最后探讨网页木马静态对抗的发展趋势.
2.基于统一中间表示的软件漏洞挖掘系统
- 王金锭;王嘉捷;程绍银;蒋凡
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：二进制软件逆向分析和漏洞挖掘一直是软件安全领域研究的热点.当前的研究和已有工具主要针对某一特定平台;分析方法需要大量手工操作,且依赖安全人员的特定于具体平台环境的分析经验,没有统一的分析框架和分析方法.本文提出一个基于统一中间表示的跨平台二进制软件漏洞挖掘系统,支持x86,PowerPC及ARM等平台下的软件自动分析和漏洞发掘.系统将底层指令提升到统一的中间表示,分析方法以静态分析技术为出发点,具有平台独立性,并构建经验知识库来指导软件漏洞的发掘.目前系统已实现,经测试验证了其有效性,可自动发掘二进制软件潜在的安全漏洞,并已成功验证多个已知软件漏洞.
3.一种基于信誉的威胁分析方法
- 卢小海
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：通过重复博弈理论改善信息不对等情况下对未来的预期,是降低交易成本并鼓励建立并维护信誉的关键.该文通过引入多定义维度、多行为场景和多评估参与者,提出一种基于信誉的威胁分析方法.该方法实现了根据信誉对场景和行为的适应性和传播性,降低风险分析中误报率和漏报率的计算模型.
4.云计算宏观安全风险的评估分析
- 刘恒;王红兵;王勇
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：为有效地进行云计算安全风险评估,本文定义了云计算宏观安全风险评估模型,提出了一种云计算宏观安全风险评估分析方法.通过一个典型的云计算场景用例,对云计算宏观安全风险评估方法进行了验证.该评估结果有效揭示了云计算环境下,面临的特殊的、宏观的脆弱性和风险,对有效管理云计算安全风险具有重要的意义。
5.基于危险函数逼近的漏洞检测技术研究
- 刘杰;王嘉捷;魏强;王清贤
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：当前漏洞检测存在测试数据有效性低的问题.本文提出一种基于程序内部危险函数覆盖的漏洞测试技术,依据漏洞污点传播模型,主要研究危险函数识别,包含危险函数的执行路径搜索,及危险函数逼近技术,动态引导遍历程序内部危险函数,提高漏洞测试效率和有效性.与随机测试和全路径覆盖测试技术相比,本文的方法可以产生更加有效的测试数据.
6.StreamBot:基于PPStream的新型P2P流媒体僵尸网络
- 李强;李舟军;余杰;丁健
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：僵尸网络是目前最流行的网络犯罪活动平台之一.研究僵尸网络的构建技术及其发展趋势,有助于全面深入了解僵尸网络的特性,更有针对性地开展僵尸网络检测和防御技术的研究.目前僵尸网络正向P2P分布式结构发展,研究表明大多数P2P僵尸网络都是基于P2P文件共享系统的,本文通过分析PPStream协议,设计了基于P2P流媒体的新型僵尸网络StreamBot.同时本文对StreamBot的命令传播速度、隐蔽性、健壮性、连通性等各项性能进行了系统的分析.最后讨论了针对此类僵尸网络可能的防御方法.
7.信息安全风险评估理论与方法研究
- 闵京华;张建军
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：本文针对信息安全风险评估实践中遇到的问题,试图从理论、方法和实践三个方面系统地寻求解决途径.首先,阐明了信息安全风险的概念模型,明确了构成风险的五要素:资产、脆弱性/漏洞、威胁、影响和控制措施,给出了基于风险要素进行信息安全风险评估的计算原理;然后,归纳了信息安全风险评估的整体方法,提出了风险要素的识别与分析方法,重点论述了资产分类识别法、资产关联分析法和资产价值评估法;最后,介绍了支持本文所述的风险评估原理和方法的工具和知识库的设计思路.
8.基于符合性判定的CME信息系统安全风险评估模型
- 张雪芹;江常青;徐萃华;林家骏
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：为了定量地分析信息系统安全风险等级,提出了一种基于符合性判定的CME信息系统安全风险评估模型,分别给出了信息系统安全现状、安全要求以及安全风险的定量计算方法.模型通过评价信息系统安全保障能力级和安全需求等级,判定安全现状和安全要求之间的符合程度,获取信息系统安全风险等级.该模型为描述和计算信息系统安全等级提供一种结构化和可计算的方法,实现了信息系统的安全风险的定量评估。
9.一种基于指令填充随机化的JIT-Spraying防护方法
- 段镭;韦韬;王铁磊;郭天放;邹维
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：JIT-Spraying技术是在Blackhat DC 2010上首次被提出的一种基于JIT编译的攻击方法.应用该方法,黑客能绕过现代操作系统提供的DEP(数据执行保护)和ASLR(地址空间布局随机化)等防护机制,进行网页挂马、网络渗透等攻击.目前尚没有针对该攻击的防护办法和措施,使广大的计算机用户受到严重威胁.本文对JIT-Spraying攻击技术进行了深入剖析,对其着陆区(Sledge)和Shellcode交接等关键环节进行建模.在此基础上,提出了一种基于指令填充随机化的防护机制,对其有效性进行了定量分析,并针对典型JIT环境求出了最优解--仅增加约13%的指令填充,即可以将JIT-Spraying的攻击成功率降低为约百万分之一.我们在chrome浏览器的JavaScript引擎V8上实现了该方法,实测性能损失小于1%验证了其有效性和实用性.该方法有效的改善了JIT编译器的安全属性,在DEP和ASLR的基础上,为系统提供更有效的安全防护.
10.基于风险分析的访问控制策略闭环设计方法研究
- 高志民;王声远
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：为改进过于依赖专家经验的定性安全策略设计方法,本文基于风险分析和反馈控制原理提出一种针对访问控制策略的闭环设计方法,该方法将业务流程的流转周期作为安全风险的度量基准,将风险作为信息系统的安全状态变量,并根据风险与业务流程要素间的关系建立访问控制策略闭环设计模型.该模型实现了单业务流程访问控制策略的自动设计与分析,包括:采取模型规定的安全策略能够将系统安全状态控制于期望的范围内;设定安全策略优先级,能确保选择适度的安全策略.
11.智能卡嵌入式操作系统安全机制分析
- 高金萍;杨永生;张翀斌;李娟
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：智能卡以其独特的安全性,在诸多领域中有着广泛的应用.智能卡嵌入式操作系统COS的安全机制是智能卡安全性的重要基础.本文在总结实际测评的智能卡COS安全性的基础上,对其具有的文件访问控制、认证鉴别机制、数据完整性检验、掉电保护机制、生命周期管理及密码支持等安全机制进行了详细的分析和论述,阐述了各安全机制实现的大致方式和机理,以及某些机制实现的漏洞及改进方法.
12.基于置信区间的模糊综合评判矩阵生成新算法
- 夏冰;郑秋生
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：针对AHP在构造评判矩阵时存在人为不确定性以及区间评判矩阵存在可信度不足,借助专家全体判断和逆向云技术,给出一种基于置信区间的模糊综合评判矩阵生成新算法.应用分析表明该算法生成的区间矩阵是可行的,能弥补不确定性带来评估参数不确定性并且具有一定的可信度.
13.基于功能图的GUI回归测试技术研究
- 黄松;陈然;惠战伟;蒋圆圆
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：回归测试作为软件生命周期的一个组成部分,在整个软件测试过程中占有很大的工作量比重,特别是GUI(Graphical User Interface)软件会进行多次回归测试.因此,本文针对面向对象软件提出了基于功能图的回归测试方法,该方法基于功能图对GUI进行描述,通过对比前后版本的功能图进行回归测试的用例选择.理论和实验表明,这种回顾测试选择策略可提高回归测试效率、节约测试成本.
14.MPI程序错误检测的研究现状与挑战
- 秦锋;蒋凡
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：随着消息传递接口(MPI)的普及MPI程序的错误检测变得越来越重要.不断增大的高性能计算系统规模以及多核技术的普及,使MPI程序变得越来越复杂,可以预见MPI程序的错误也将会越来越频繁出现,与此同时,MPI程序错误检测的困难程度也在增大.本文将总结在这个方向上的研究现状和函待解决的挑战,重点讨论两大类错误检测方法:自动错误检测方法和交互式错误检测方法.对于每类错误检测方法,将阐述方法的原理,现有的工具,及其优缺点.
15.恶意代码发展趋势预测算法的评估
- 张鹏宇;薛东军;任望;马杰
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：对恶意代码发展趋势预测,能够提前对网络安全形势进行判断,有利于做好防范准备.目前对恶意代码发展趋势的预测还处于探索阶段,传统算法在此方面的预测效果也尚不明确.本文比较了多种预测算法,如移动平均,趋势预测,季节变动预测,线性回归等方法在实际恶意代码发展分析上的预测准确率.通过对不同时间跨度,不同类型恶意代码数据进行深入分析发现,线性回归和季节变动算法能够较好的适应具有时间周期性的恶意代码日志数据.
16.灰色灾变模型在计算机网络安全态势预测中的研究
- 马杰;任望;薛东军;张鹏宇
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：因为网络安全态势具有较大的随机性,网络安全态势预测是一件很困难的事情.但从大的网络系统上看,安全态势具有一定的内在规律.灰色系统研究信息缺乏时的系统的运行规律,利用灰色系统GM(1,1)灾变模型,可以对未来网络出现异常的时间进行预测,应用此方法可以进行灾变点预测.本文通过较大规模单位网络的各种病毒数据,应用灰色系统GM(1,1)灾变预测模型来预测未来的灾变时间点,具有较好的效果,证明灰色系统GM(1,1)灾变模型可以应用于计算机网络安全的预警.
17.TSPVT:一个有效的时间敏感安全协议验证工具
- 李舟军;赵倩倩;周倜
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：如何自动化验证时间敏感安全协议的安全性一直是形式化研究领域的热点和难点,如何在验证过程中简单而有效地考察由时间戳而引入的约束条件信息成为验证时间敏感协议的难点问题.TSPVT是基于Objective Caml语言,在安全协议验证工具SPVT的基础上开发的时间敏感安全协议验证工具.TSPVT在SPVT基础上,首先以扩展了时间事件的类π演算作为时间敏感安全协议描述语言,然后TSPVT将协议的类π演算模型自动转换为带时间约束系统的霍恩逻辑程序P,P由刻画安全协议诚实角色的一组逻辑规则和一组基于扩展的Dolev-Yao模型的攻击者规则组成;最后在对协议霍恩逻辑模型的验证阶段,考察带时间约束系统的规则消解,基于安全协议逻辑程序P解形式不动点的计算,验证安全协议的认证性.以Denning-Sacco协议为例,描述了使用TSPVT自动验证安全协议的过程,表明了TSPVT用于验证时间敏感安全协议的有效性.
18.CPot:基于Click的蜜罐
- 李伟明;舒科进;朱晓东
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：蜜罐作为一种主动防御技术得到了广泛的应用,但是传统的蜜罐系统存在功能单一、捕获能力有限"误报率高等问题.本文提出了一种新的综合型的分布式蜜罐CPot(Click-based honeyPot),融入了网络望远镜和入侵检测的思想,通过截获发送到分散在各个网段中的未使用IP地址的请求,并将这些可疑流量转发到高交互式蜜罐中进行进一步的交互,进而捕获攻击代码和监控攻击行为.此外,通过分析可疑流量可以发现潜在的攻击者.相较于传统的基于高交互式蜜罐技术的HoneyBow,CPot具备监控范围广、捕获能力强、功能强大和安全性好等特点.半年时间的实际运行与测试验证了CPot的功能.
19.基于用户兴趣的寻找虚拟社区核心成员的方法
- 陈海强;曹伟;周欣;刘林;王星
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：寻找虚拟社区中的核心成员具有相当重要的应用价值.作者认为在虚拟社区中,信息扩散过程中的影响力是核心成员的关键特征;据此作者提出了一个基于马尔可夫随机场理论计算成员影响力的方法,并在实际数据集中对比分析了该方法,其实验结果证实了算法的有效性.
20.安全操作系统可信进程机制的研究与实现
- 张翀斌;李凤娟;梁彬
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：可信进程机制是操作系统安全机制的重要组成部分,但安全界对可信进程的定义仍不统一,对其基本性质的认识也存在着许多局限性.本文从特权、操作数据完整性、功能逻辑正确性、自身完整性、可用性和可信交互等六个方面全面深入地讨论了可信进程可信性.由此出发给出了一个可信进程定义,较全面地概括了可信进程的基本性质,为深入研究和实施可信进程机制提供了理论基础.以此定义为指导,实现了一个基于Linux安全操作系统可信进程机制原型,从多个方面保障了可信进程的可信性,改进和扩展了Linux原有相关机制,提供了一个较为完善的可信进程机制解决方案.
21.基于支持向量机的RoQ攻击综合检测方法
- 何炎祥;钟海;刘陶;熊琦
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：与传统的洪泛式拒绝服务(flooding DoS)攻击相比,降质(RoQ)攻击具有更高的攻击效率和更好的隐蔽性,而且攻击周期可变,难以提取出特定的攻击模式.本文分析比较了DoS攻击和RoQ攻击的原理,并且综合考虑了网络流量在时域和频域中的多个参数作为特征矢量.基于此特征量构造分类器,采用支持向量机(SVM)进行训练和分类,通过将网络流量分为正常类DoS攻击类、RoQ攻击类来进行攻击检测.模拟实验结果表明,该方法检测DoS攻击及各类RoQ攻击的综合检测率达91%.
22.基于无线射频识别技术的物联网信息安全体系研究
- 张益;陈爻熙
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：针对物联网信息安全缺乏系统性研究和物联网安全威胁日益凸显的问题,本文提出了基于无线射频识别(RFID)技术的物联网信息安全体系.在对物联网信息安全目标和其构成分析的基础上,剖析了物联网信息安全构成要素,并按照等级保护、安全域、安全技术、安全管理和安全时间五个维度,给出了基于RFID技术的物联网信息安全体系结构,探讨了每个维度的具体构成及其相互关系,并提出了如何评价物联网信息安全体系的方法.本文对物联网信息安全体系的研究,对推动整个物联网产业健康安全的发展具有一定的指导意义.
23.Mainline网络的安全性测量与分析
- 肖鹏;余杰;李舟军
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：基于Kademlia协议实现的DHT网络Mainline,是当前世界上最大的DHT网络之一.由于全分布式结构本身存在的节点认证与安全传输等问题,以及实现中引入的若干漏洞,使得Mainline的安全性受到广泛的关注.本文通过真实的实验来测量并分析各种可能的针对Mainline网络的攻击.首先设计并实现了一个高效的全局节点爬虫Husky;通过对采集到的Mainline网络30天的全局节点快照的深入分析,验证了Mainline DHT网络中存在的节点ID重复以及节点多重身份现象;并结合节点的地理位置信息,发现了一些疑似Eclipse攻击、Sybil攻击以及路由表反射攻击的现象;最后讨论了针对网络攻击Mainline可采取的防御策略.
24.信息系统安全风险组合评估模型研究
- 罗衡峰;杨晓明;李倩;刘志祥;王颍凯
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：该文为了解决如何评价不同风险评估方法优劣的问题,给出了组合评估法的定义和实施流程.首先运用基于模糊综合评价的DEA方法对已经有风险评估方法进行筛选,用优选出的方法独立对信息系统进行风险评估,再用DEA方法将评估结果赋权得到综合评估结论,这样避免了单一方法的缺点,综合各种评估方法的优点,使评估结果具有更高的可信度和科学性,在我们实际的风险评估实施中,取得了良好的效果.
25.一种对人际关系敏感的网络舆论演化模型
- 贾凡;李勇;刘云;詹光玉
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：网络舆情是社会科学与自然科学交叉的新兴研究领域,研究网络舆论的演化机理对网络舆情分析具有重要意义.熟识与陌生是社会中个体之间最常见的人际关系,它们对个体之间的观点交互有着重要影响.本文通过引入信任强度来描述网络中个体之间熟识与陌生的人际关系,同时在Deffuant模型基础上,提出了一种对人际关系敏感的观点演化模型RAOF,个体根据熟识与陌生这两种关系采取不同的观点交互行为.在随机网络环境下对模型进行了不同参数的仿真.结果表明,在具有相同初始观点分布人群中,个体的平均熟识邻居数目越大,整个群体越容易形成一致意见,相反,人群中所形成的观点意见越分散.因此RAOF模型与Deffuant模型相比能更好的描述在复杂人际关系环境下的舆论演化过程.
26.基于源代码的缺陷自动分析
- 梁洪亮;陈政;张普含
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：相比软件测试和人工审查,静态分析软件缺陷近年来有较大发展.我们设计并实现了一个基于源代码的缺陷自动化分析器ABAR.ABAR采用状态机检测方法,提供一种缺陷描述语言将缺陷描述为基于变量的状态机,通过对源程序每一条执行路径上的变量进行状态追踪,可以有效地检测出真实源代码中存在的缺陷,同时能对发现的缺陷进行回溯和准确定位.为提高检测效率,我们在路径缩减、等值及别名分析、缓存等方面作了优化.
27.基于整数遗传算法的整数溢出漏洞检测技术研究
- 崔宝江;梁晓兵;王建新
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：近些年来,整数溢出漏洞迅速增长,给计算机系统带来严重威胁.针对软件中复杂条件分支导致的路径爆炸问题给漏洞检测带来的困难,本文提出了一种智能的软件漏洞检测技术,来识别二进制可执行程序中的整数溢出漏洞.该方法使用符号执行技术获取二进制可执行程序的路径约束条件,利用整数遗传算法的适应度函数值来引导检测软件漏洞所需的输入数据的生成.实验结果显示,引入符号执行和整数遗传算法来构造输入数据的智能检测技术,和传统Fuzzing检测技术相比,能快速的识别出目标程序中的整数溢出漏洞.
28.软件安全性测试技术研究
- 惠战伟;黄松;刘晓明;胡斌
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：在对软件安全性测试技术研究紧迫性介绍的基础上,总结了现有软件安全性测试技术及测试标准研究的进展和局限性,分析了软件安全性测试国内外发展的现状.分别从测试需要的必备条件,测试的类型,测试路径的可追溯性,测试用例的效率,功能化难以度以及行为模型六个方面进行了比较,分析了各种方法的优缺点.最后结合现行测试标准和规范,对现有安全性测试方法的共性问题进行了分析,为下一步研究指出了研究重点.
29.网站挂马监测技术研究与系统实现
- 曾云令;刘晖;张晓菲
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：统计数据表明,在木马所有的传播途径中,通过"网页挂马"方式所传播的占据70%以上,因此对网站挂马进行监测是十分必要的.本文结合静态特征匹配和动态行为分析方法的优缺点,提出并实现了一个网站挂马监测系统.系统测试表明,本系统能够快速、准确地监控和发现挂马网页,并能有效获取木马样本,也将为国家相关部门及应急响应机构提供发现大规模网络安全事件的平台.
30.基于本体的渗透测试知识管理框架
- 楼芳;李亮;贺志强
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：为了提高渗透测试团队的工作效率和能力,对渗透测试知识管理的方法进行分析和研究.针对渗透测试的特性,分析了目前渗透测试过程中存在的主要问题.结合知识管理,以构件渗透测试知识的本体为基础,建立了渗透测试知识管理框架,在知识的组织和形式化描述方面给出了解决方法,然后利用本体进行查询的推理和扩展,优化查询结果,形成了一套切实可行的渗透测试知识管理解决方案,该方案可以充分利用知识之间的内在关系实现渗透测试人员之间、项目之间的知识共享.
31.基于UD和DU链的释放指针误用检测技术
- 欧阳永基;尹中旭;彭建山;王清贤
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：针对目前利用释放指针误用漏洞对客户端的攻击比例明显增加,危害巨大,因此对这类漏洞进行检测就变得十分必要.本文采用了基于引用-定值和定值-引用链的释放指针误用漏洞检测技术,通过对变量,释放指针误用漏洞等概念进行刻画,利用等效变量和别名分析等技术建立了漏洞检测的算法,并在此基础上实现了一个基于IDA的原型工具.通过实验验证,该工具能检测出程序中可能的释放指针误用漏洞,误报概率较小.
32.基于Petri网的信息安全漏洞建模与分析研究
- 吴世忠;易锦;高新宇;刘晖;张涛;刘彦钊
- 《第三届信息安全漏洞分析与风险评估大会》 | 2010年
摘要：本文提出了构建信息安全漏洞模型的三个核心要素:客体、主体及环境.漏洞客体是漏洞在生命周期各阶段的状态或相关形态,漏洞主体是决定漏洞客体变化的角色,漏洞环境是影响漏洞主体行为的条件和因素.基于这三个要素,我们使用随机Petri网建立了漏洞客体模型、漏洞主体模型及对模型进行定性和定量分析的方法.对模型进行实例研究显示,漏洞客体模型可反映漏洞自身发展变化的趋势,漏洞主体模型可反映漏洞传播的趋势,且这些趋势可应用于指导漏洞分析的实践工作.