您的位置： 专家智库 > >

林渝淇

作品数：6 被引量：34H指数：2
供职机构：中国科学院软件研究所更多>>
发文基金：中国科学院知识创新工程国家自然科学基金国家科技重大专项更多>>
相关领域：自动化与计算机技术天文地球更多>>

合作作者

文献类型

  • 6篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 1篇天文地球

主题

  • 1篇对象化
  • 1篇虚拟机
  • 1篇虚拟机监控器
  • 1篇元组
  • 1篇云计算
  • 1篇入侵
  • 1篇入侵防御
  • 1篇入侵防御系统
  • 1篇生物免疫
  • 1篇生物免疫系统
  • 1篇矢量
  • 1篇矢量数据
  • 1篇矢量数据压缩
  • 1篇数据压缩
  • 1篇数字取证
  • 1篇四元组
  • 1篇探查
  • 1篇取证
  • 1篇系统设计
  • 1篇免疫计算

机构

  • 3篇四川大学
  • 3篇中国科学院软...
  • 1篇华南师范大学
  • 1篇南昌大学
  • 1篇中央财经大学
  • 1篇中国科学院研...
  • 1篇公安部第三研...
  • 1篇中国科学院大...

作者

  • 6篇林渝淇
  • 2篇丁丽萍
  • 1篇赵晓柯
  • 1篇金波
  • 1篇廖晓锋
  • 1篇李明树
  • 1篇王秀利
  • 1篇王永吉
  • 1篇谢亦才
  • 1篇杨秋松
  • 1篇王晓龙
  • 1篇李岩
  • 1篇谢亚龙
  • 1篇汪孙律
  • 1篇唐洁

传媒

  • 2篇通信学报
  • 1篇计算机应用与...
  • 1篇计算机应用
  • 1篇通信技术
  • 1篇科技风

年份

  • 1篇2019
  • 1篇2014
  • 1篇2013
  • 1篇2010
  • 1篇2009
  • 1篇2008
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
基于输入约束的符号执行优化被引量：2
2019年
为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了基于输入约束的符号执行(ICBSE)优化框架。该方法通过分析程序代码自动提取3类输入约束,随后使用这些约束引导符号执行更关注于核心功能代码。在KLEE中实现了上述优化框架,并对coreutils、binutils、grep、patch、diff这5个程序套件中的7个常用程序做了检测。ICBSE发现了7个之前未知的缺陷(KLEE只检测其中3个)。同时,ICBSE将指令行覆盖率、分支覆盖率分别提升了约20%,时间开销降低了约15%。
汪孙律林渝淇杨秋松李明树
Douglas-Peucker算法在无拓扑矢量数据压缩中的新改进被引量：16
2010年
分析常规Douglas-Peucker算法压缩无拓扑矢量数据时产生公共边"裂缝"现象的原因——公共边被两次或可能更多次压缩,而每次运用Douglas-Peucker算法压缩时所选择的初始点和终点不同造成的。为此,提出公共边对象化Douglas-Peucker改进算法。为实现此算法,首先设计了新的公共边提取算法来提取公共边,然后使用OOP技术,把公共边的相关信息封装成类,最后根据公共边对象提供的信息对多边形的公共边和非公共边分别进行Douglas-Peucker压缩。以广东省行政界线的SVG矢量图为实验对象验证了此算法的有效性,分析了本算法相对于其它Douglas-Peucker改进算法在所需辅助空间和时间效率上的优势。
谢亦才林渝淇李岩
关键词：DOUGLAS-PEUCKER算法矢量数据压缩SVG
基于动态信任根的虚拟机监控器动态完整性度量架构
2014年
现有虚拟机监控器(VMM)动态完整性度量架构在度量信任根的安全性方面存在问题,同时没有综合考虑VMM中需要进行完整性度量的数据,为此提出了一种基于动态信任根的VMM动态完整性度量架构。采用基于AMD的安全虚拟机技术构建动态信任根,可以实现对度量程序加载执行前的完整性度量;同时构建封闭独立的执行环境,从而可以有效地解决度量信任根的问题。通过分析VMM运行时的内存状态,对所有需要进行完整性保护的静态持久化数据进行完整性度量,从而可以保证度量内容的完备性。同时给出该架构在Xen上的实现。实验结果表明,该架构可以有效地解决度量信任根的问题,并且对度量内容具有良好的扩展性,从而保证度量内容的完备性;此外,该度量架构与现有架构Hyper Check-SMM相比有23.3%的性能提升。
王晓龙丁丽萍廖晓锋金波林渝淇王秀利王永吉
关键词：虚拟机监控器可信计算
一种基于免疫计算的IPS模型研究与设计
2009年
免疫计算是模仿生物免疫系统(BIS)具有的自学习、自适应、多样性、分布式并行处理等特点来解决工程问题。文章提出了一种基于免疫计算的IPS(入侵防御系统)模型,该模型利用BIS的机制,可以发现和处理一定的未知攻击,并利用多过滤器技术优化网络流的实时分析处理,提高了网络入侵防御的效率。
林渝淇
关键词：生物免疫系统入侵防御系统免疫计算
ICFF:一种IaaS模式下的云取证框架被引量：16
2013年
分析了云取证技术所面临的挑战,提出了一种基础设施即服务(IaaS)云模型下的取证框架ICFF,并在开源IaaS云平台Eucalyptus中进行了实现,最后通过实验的方法对ICFF进行了验证分析。实验结果表明,该框架能够有效并快速地获取云平台中的证据数据。
谢亚龙丁丽萍林渝淇赵晓柯
关键词：云计算数字取证
基于四元组关系的一种矛盾探查改进方法
2008年
矛盾探查(contradiction detection,CD)是人工智能NLP(nature language process)中的一个很困难的问题。通过运用一种基于语句其他成分的方法对文章中出现的貌似矛盾的语句进行可能性分析,改进对语句的函数性(function)判读从而来判断一个语句是否真的是错误的相矛盾。这里不但给出了整个系统的设计结构,而且用具体的数学方法进行了系统的表示,并且给出了具体的改进算法以及改进后的准确性计算。
林渝淇唐洁张旭
关键词：系统设计
全选 清除 导出
共1页<1>
聚类工具0