刘渊
- 作品数：52 被引量：115H指数：6
- 供职机构：中国工程物理研究院计算机应用研究所更多>>
- 发文基金：中国工程物理研究院科学技术发展基金中国工程物理研究院科技基金四川省科技计划项目更多>>
- 相关领域：自动化与计算机技术电子电信医药卫生更多>>
- IPSec的安全服务及其非标准实现探讨
- IPSec非标准实现系统的出现给此类VPN产品的应用和测评都带来了一定的困难.本文首先描述了IPSec标准所要求的安全服务,并在此基础上讨论了IPSec非标准实现的基本方式,以及对非标准实现系统在密钥管理设计方面的一些建...
- 刘渊王开云范晓岚姜建国
- 关键词：密钥管理
- 一个分布式系统通信控制软件的设计被引量：1
- 2003年
- 文中提出了一种严格分层管理的分布式系统模型,探讨了其体系结构、运行机制及其域管理方式对系统通信控制功能的要求。以基于该模型的分布式系统为原型,设计了一个相对独立、通用于系统中各种节点的通信控制功能软件,初步解决了通信双方的身份认证、通信可靠性和系统中结点运行状态监视等问题,并为上层分布式应用提供了通信控制功能接口。
- 刘渊姜建国缪继东范晓岚
- 关键词：分布式系统通信控制
- 无线网络对抗关键技术研究综述被引量：6
- 2012年
- 在分析无线网络的安全特点和面临安全威胁的基础上,将无线网络对抗分为3个层次:信号层、协议层和系统层。分析了三层之间的相互依赖关系,指出了各层对抗的具体目标,建立了总体研究框架,并按照"攻击"与"防御"两个方面阐述了研究内容,梳理了当前各层次对抗的关键技术研究现状,对重点的研究领域进行了评价,分析了其中存在的问题和研究的难点。最后指出了未来无线网络对抗的需要进一步研究的热点问题和发展趋势。
- 张春瑞刘渊李芬王开云
- 关键词：信号注入代码注入
- 基于数字证书的linuz身份认证设计与实现
- 登录linux系统并对其进行控制,是在工程仿真环境下是常用的方式，但目前绝大多数linux应用程序采用用户名口令作为身份认证方式,这种方式安全性不高,容易被猜测。本文提出使用数字证书作为认证方式,能够较好解决linux应...
- 张春瑞郝向东刘渊
- 关键词：计算机网络远程登录网络安全
- 文献传递
- 将未知单协议数据流分离为不同类型的数据帧的方法
- 本发明公开了一种将未知单协议数据流分离为不同类型的数据帧的方法，首先利用n-gram技术对数据帧进行分割，根据齐夫分布，选择曲线图中最接近直线的n值作为所求，然后利用Jaccard参数对非频繁字节进行过滤，通过改变不同的...
- 王勇周洪川张凤荔张俊娇刘渊
- 文献传递
- 一种未知二进制协议帧切分与层次划分方法
- 本发明公开了一种未知二进制协议帧切分与层次划分方法，在无先验知识情况下，对协议数据进行分词处理，以分词后的二进制协议数据作为输入，识别其中的关键特征，并关联分析关键特征之间的位置关系，计算选择帧的同步码，以此作为切分帧的...
- 刘渊张春瑞孟凡治
- 一种基于模糊加权的二进制协议格式解析方法
- 本发明公开了一种基于模糊加权的二进制协议格式解析方法，它包括如下子步骤：采集单一类型的协议序列；构建模糊加权矩阵；进行两次加权处理的模糊加权的局部序列比对；进行模糊加权的全局序列比对；剔除奇异序列帧；解析报文格式；输出二...
- 刘渊张春瑞孟凡治
- 文献传递
- 将未知协议多通信方数据流分离为点对点数据流的方法
- 本发明公开了一种将未知协议多通信方数据流分离为点对点数据流的方法，它包括以下步骤：S1：将混合未知多协议数据流分为单协议数据帧：采用聚类算法将混合未知多协议数据流分为单协议数据帧，并用评估算法确定所得到的类簇是比较可信的...
- 郝玉洁周洪川刘渊张凤荔张俊娇
- 文献传递
- 上下文不一致性缺陷的检测
- 2015年
- 为了检测在软件开发过程中由拷贝-粘贴操作引起的上下文不一致性缺陷,在基于频繁子序列挖掘算法的克隆代码检测模型基础上,改进上下文不一致性缺陷检测过滤规则,对上下文结构类型不一致性和上下文条件谓词不一致性两种缺陷进行了检测。为了识别具有相同语义但不同语法结构(即语法树表示)的表达式,还增加了对生成的表达式语法树的标准化处理。开源代码上的实验结果表明,该模型对拷贝-粘贴操作引起的上下文不一致性缺陷具有较低的误检率,不存在漏检,尤其适用于安全攸关的软件系统。
- 王伟刘渊张春瑞文平谢家俊
- 关键词：克隆代码软件缺陷检测
- 一种基于遗传算法的Fuzzing测试用例生成新方法被引量：22
- 2017年
- 本文根据传统漏洞挖掘Fuzzing技术的特点,针对其存在的不能求解非线性解和只能有单个的输入的问题,提出了一种基于遗传算法的漏洞挖掘测试用例生成的新方法.该方法能够利用遗传算法的优势,同时可以应对多输入测试用例问题和非线性求解问题.从自测程序的结果看出,相比于传统随机生成Fuzzing测试用例的方法,本方案在效率和覆盖率方面具有明显的提高.
- 刘渊杨永辉张春瑞王伟
- 关键词：遗传算法
