高鹰
- 作品数：6 被引量：31H指数：3
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 代码迷惑及其语义研究
- 移动代码是计算机网络和Internet技术中广泛应用的一种计算模式，而且也被应用在许多新的技术中，如移动代理、主动网络等。但是，移动代码也带来了单机环境中不存在的安全威胁。这种威胁来自两个方面：一方面，当移动代码被下载到...
- 高鹰
- 关键词：移动代码代码迷惑恶意主机形式语义
- 一种应用于Web服务器集群系统的URL分配算法被引量：6
- 2007年
- 基于内容的Web服务请求调度算法有利于均衡服务器集群系统的负载。已有的请求分配算法大多先运用Hash方法对请求的URL进行散列,在此基础上再按一定规则对请求内容进行负载均衡调度。在分析了Web服务流量分布不均衡及已有URL散列方法存在不足的基础上,提出了一种基于URL词典排序及内容等分的URL分配算法LOCEP。该算法通过对URL进行词典序排序,按内容等分,依访问流量排序及分段互补等一系列方法将Web负载尽可能均匀地分布到多个后端服务器中。仿真实验结果表明,该算法比现有的URL散列方法具有更好的负载均衡能力。
- 杨兴良华蓓高鹰
- 关键词：WEB服务器集群负载均衡
- 基于语义的恶意软件判定器框架
- 2008年
- 目前代码迷惑技术已经成为构造恶意软件变体的主要方式,大量出现的病毒变体使得传统基于程序文本特征的病毒排查工具的防护作用大大降低.本文提出一种新的基于语义的恶意软件变体判定框架,为了确定一个程序是否是某种恶意软件的变体:首先基于符号执行收集程序语义状态,然后通过证明语义之间是否满足变体关系来确定该程序是否是恶意软件的变体.本框架能够识别经代码迷惑变换后得到的程序是属于变换前程序的变体,从而可以减少对病毒数据库的更新.最后,通过一个实现了该框架的原型系统来说明基于语义的恶意软件判定器框架的可行性.
- 高鹰陈意云华保健
- 关键词：代码迷惑
- FCAN:一种基于快速映射的内容访问网络被引量：1
- 2007年
- 针对当前结构化P2P文件存储系统存在仅支持单关键字的精确匹配,而缺乏支持语义查询的局限性,提出一种基于快速映射的结构化P2P存储系统FCAN,利用FastMap实现从语义空间到P2P空间的映射,在保证文本矢量语义完整性的同时对其进行有效降维,从而实现基于内容的查找;通过对质心法确定的最近邻居进行聚类,有效地减少了冗余消息和查询时间。仿真实验表明FCAN不仅具有较高的召回率和精度,还具有较少的查询时间和冗余消息。
- 王菁杨寿保高鹰郭磊涛
- 关键词：矢量空间模型质心法
- 利用集合差异度实现基于内容聚类的P2P搜索模型被引量：3
- 2007年
- 基于内容的非结构化P2P搜索系统中直接影响查询效果和搜索成本的两个主要问题是,高维语义空间所引起的文本相似度计算复杂以及广播算法带来的大量冗余消息.本文提出利用集合差异度实现基于内容聚类的P2P搜索模型提高查询效率和减少冗余消息.该模型利用集合差异度定义文本相似度,将文本相似性的计算复杂度控制在线性时间内而有效地减少了查询时间;利用节点之间的集合差异度实现基于内容的聚类,既降低了查询时间,又减少了冗余消息.模拟实验表明,利用集合差异度构建的基于内容的搜索模型不仅具有较高的召回率,而且将搜索成本和查询时间分别降低到了Gnutella系统的40%和30%左右.
- 王菁张焕杰杨寿保高鹰
- 关键词：对等网络GNUTELLADHT向量空间模型
- 基于抽象解释的代码迷惑有效性比较框架被引量：20
- 2007年
- 代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代码迷惑有效性比较框架,该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明,而且也能严格比较迷惑算法之间的有效性,最后使用实例描述比较框架如何应用到证明代码迷惑的有效性.
- 高鹰陈意云
- 关键词：代码迷惑
