潘进
- 作品数:69 被引量:93H指数:5
- 供职机构:中国人民解放军西安通信学院更多>>
- 发文基金:国家高技术研究发展计划国家自然科学基金陕西省自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信理学自然科学总论更多>>
- 基于信息论安全的防窃听网络编码方案被引量:12
- 2012年
- 为提高组播通信网络中信息传输的安全性,提出一种基于信息论安全的网络编码方案。利用大素数及其本原根产生不同的噪声符号,并将噪声符号与原始信息进行混合,达到隐藏信息的目的。分析结果表明,该方案通过舍弃少量带宽,使网络编码以很高的概率达到信息论安全的要求,当信源与信宿之间有一条专用的安全信道时,可在不增加通信开销的前提下使网络的信息论安全概率为1。
- 刘琼潘进刘炯
- 关键词:网络编码大素数最大流
- 移动自组网中跨域两方认证密钥协商协议研究被引量:7
- 2011年
- 针对基于身份的移动自组网认证密钥协商协议中,会话两方属于不同私钥生成中心(PKG)的情况,利用双线性对的性质和椭圆曲线离散对数问题,提出了一种跨域两方认证密钥协商协议,并采用应用pi演算和ProVerif自动化验证工具对其安全属性进行形式化分析。分析结果表明,提出的协议实现了保密性、身份认证性以及密钥一致性确认,同时又具有较好的性能,非常适用于资源有限的移动自组网。
- 陈安林潘进郭超刘小琼
- 关键词:密钥协商双线性对移动自组网
- 基于NS2的AOMDV路由协议的改进与性能仿真被引量:5
- 2010年
- 对AOMDV协议进行了分析,指出了协议存在的不足,利用"一主一备"式路由和抢先式路由对其进行了改进,提出了PAOMDV协议。对NS2(Network Simulator Version2)的分裂对象模型进行了分析,基于NS2实现了AOMDV及PAOMDV路由协议的扩展与仿真。仿真结果表明:在相同的网络环境下,与AOMDV协议相比,PAOMDV协议减少了平均时延、降低了路由发现频率、提高了分组传送率。
- 李波潘进李国朋韩明奎
- 关键词:多路径路由AOMDVNS2
- 一种基于LFSR的安全网络编码被引量:2
- 2011年
- 该文基于线性反馈移位寄存器(LFSR)能够利用相当少的信息生成大周期的密钥这一优点,构造了一种安全的网络编码方案。该方案中,信源与信宿共享有一个LFSR,信源利用生成的密钥产生加密矩阵,信宿根据收到的信息计算出解密矩阵,也就可以得到原始信息,其对窃听者窃听到的信道数量没有要求。同时,信源在每次传输信息时可以随时改变加密矩阵,相当于一次一密,使得信息传输更加安全。该方案适用于接收端用户在一段时间内固定不变的场合,如战场演习等场合,但却无法适用于频繁有用户加入或退出的动态环境。
- 刘琼潘进刘小琼
- 关键词:网络编码LFSR信息安全
- 802.16e中双重EAP认证的Rubin逻辑分析
- 2009年
- 802.16是IEEE制定的无线城域网技术标准。作为当今最具发展前景的无线宽带接入技术之一,由于传输信号的开放性,其安全问题备受关注。802.16e标准的安全体制在802.16d安全体制的基础上作了进一步的改进,不但实现了RSA的双向认证,而且引入了应用层认证协议EAP;实现了基于EAP的双重认证。根据协议分析需求,首先对所选形式化分析方法Rubin逻辑进行了扩展,并用扩展后的Rubin逻辑对双重认证模式进行分析,验证了802.16e中的双重认证模式的安全性。
- 刘丽明潘进王松
- 关键词:TLS协议形式化分析
- 基于区间数的指挥信息系统作战效能评估被引量:5
- 2014年
- 在对指挥信息系统的作战效能进行评估时,对指标的评估结果往往不是一个精确的值,而是一个等级。现有的效能评估系统大多以指标量化值作为输入,不能客观反映评价者对指标估量的本意。作为这种方法的推广,用区间数来表述各项指标的评估结果,更加适用于指挥信息系统作战效能评估,使评估结果更加符合实际。
- 蒋彦潘进顾香高宝阳
- 关键词:区间数信息系统作战效能
- STUN技术深入分析被引量:9
- 2006年
- 本文对STUN技术进行了深入分析,总结了各种NAT路由器的可穿越性,对STUN提出的识别NAT类型的方法进行了详细阐述并作了有效改进,提高了识别的效率,并指出了STUN技术的优点和不足。
- 史永林潘进
- 关键词:NAT穿越
- 一种基于网格虚拟组织的跨域访问控制算法被引量:1
- 2008年
- 在网格中,主机存在于不同的信任域中,在主机间建立互信是实现资源共享、协同工作的前提,为资源的访问建立规则是实现资源安全的基础。网格中的访问控制算法旨在解决上述两个问题。结合安全数据库的访问控制策略,融入基于身份和基于行为的访问控制思想,实现了以任务发起者为中心的网格虚拟组织的跨域访问控制,并对其中建立互信的核心算法进行了BAN逻辑推理。
- 崔强刘鹏潘进宗锐
- 关键词:网格安全访问控制BAN逻辑
- 抵御DDoS攻击的联动系统被引量:3
- 2007年
- 介绍了DDoS攻击的方法和攻击环境,提出了抵御DDoS攻击的联动系统模型(路由器、防火墙、入侵监测系统组成),并采用了petri网工具将防御策略模型化。设置了具体的环境参量,并通过Matlab对联动系统的效果进行了简单的模拟。
- 崔强潘进王于丁
- 关键词:DDOS防火墙PETRI网
- 一种基于LKH的批密钥更新标记方案
- 针对传统单次密钥更新的不足,提出了一种基于LKH的批密钥更新标记方案。在大量待加入、退出成员数量变化的情况下,通过对比分析各节点的路径标记,能快速实现成员的批量加入和退出,确定出需要更新的密钥,方案操作简单,具有一定的扩...
- 刘小琼潘进赵一A刘琼
- 文献传递