祝跃飞
- 作品数：213 被引量：647H指数：12
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信理学经济管理更多>>
- 网络加密流量侧信道攻击研究综述
- 2021年
- 网络加密流量侧信道攻击通过分析、提取网络应用通信过程中泄露的数据包长度、时间等侧信道信息,能够识别用户的身份和行为,甚至还原用户输入的原始数据。基于信息论建立了网络加密流量侧信道攻击模型,使用统一的模型框架分析了代表性的指纹攻击、击键攻击和语音攻击的方法和效果,讨论了基于隐藏数据包长度和时间信息的防御方法,结合技术发展前沿对未来可能的研究方向进行了展望。
- 李玎祝跃飞芦斌芦斌
- 关键词：网络应用侧信道攻击信息增益
- Linux内核2.6版中IPSec实现的研究被引量：3
- 2005年
- 文章描述了Linux内核2.6版中的IPSec实现,并将集成了IPSec的TCP/IP处理与Linux内核2.4版中TCP/IP处理做了比较,然后对应用层的IKE模块,内核层SPD、SAD管理模块XFRM,IPSec的进入和外出处理的详细实现进行了分析,最后给出了IPSec的实现小结。
- 张全林李勤祝跃飞徐廷
- 关键词：IPSECIKESPDSAD
- 无线局域网隧道认证协议PEAP的分析与改进被引量：5
- 2005年
- PEAP是一种在无线局域网中广泛应用的隧道认证协议,但其在一定条件下可能遭受中间者攻击。本文在阐明PEAP协议工作机制的基础上分析了中间者攻击问题,并给出了一种可以添加到PEAP中作为隧道协议扩展的解决方案,从而有效地改进了PEAP协议的安全性。
- 赵志新祝跃飞梁立明
- 基于偏序归约的状态空间约简算法被引量：3
- 2012年
- 目前,针对安全协议分析的偏序归约算法较为复杂且不易实现,限制了其适用范围,未考虑约简诚实主体会话中的逆序结点。针对该问题,采用偏序归约的思想,提出一种诚实主体会话中逆序结点的约简算法以及一种迹等价迁移冗余后继结点的约简算法。两种算法思想简单,易于实现。实例表明,这两种算法有效地约简了安全协议的状态空间。
- 马亚南刘楠陈晶宁祝跃飞
- 关键词：逆序
- 安全协议分析方法及装置
- 本发明公开了一种安全协议分析方法及装置，其中，安全协议分析方法主要包括：对安全协议进行初始化，应用后继产生算法，产生后继状态，并判断该后继状态是否为不安全状态，如果是不安全状态，则给出从初始状态到该状态的路径；如果否，则...
- 刘楠祝跃飞颜学雄康绯陈晨马亚南
- 基于块匹配和校验格编码的大嵌入率图像隐藏方法被引量：3
- 2016年
- 针对通过互联网传输秘密图像所需的安全性和隐蔽性,结合多层校验格编码提出一种基于矢量量化的图像隐藏方法.首先根据可重构原则,利用载体图像的多层MSB构造候选匹配分块集合;然后使用块匹配过程,从该集合中为每个秘密图像分块寻找其最优匹配并记录索引值,对于无最优匹配的分块,使用K均值聚类从中选出部分代表分块作为其最优匹配,并替换块匹配过程中未使用的候选匹配分块;再使用Huffman编码压缩最优匹配分块的索引值、代表分块等数据;最后使用多层校验格编码将压缩数据嵌入到载体图像的多层LSB.实验结果表明,与已有的4种图像隐藏方法相比,该方法生成的载密图像的视觉质量更好,同时提取图像的视觉质量更好;可有效地抵抗3种常见的结构化隐写分析方法;具有嵌入容量大、载密图像有良好的视觉质量、提取图像和秘密图像的差异小等优点.
- 韩涛费金龙费金龙陈熹刘胜利
- 关键词：隐写术图像隐藏块匹配
- 拜占庭将军口头消息协议OM(m)算法分析与应用
- 2019年
- 区块链的各种共识协议的交互机制复杂度高,面对具体业务需求,协同使用和定制修改共识协议成为一种挑战。针对共识机制间区别联系的问题,广泛研究现今流行共识协议的区别和联系后,提出从所有共识协议的理论基石拜占庭将军口头消息协议OM(m)进行重新研究。从最小限制条件的理论算法开始,实例化保持全网数据一致性的完整过程。然后总结最小限制条件的共性和具体应用条件。最后,在此基础上逐次加入新需求和更改相应算法,产生满足新场景的共识协议。理论分析和实践表明,与大多数直接从具体的异步共识协议开始入手的方法相比,从理论算法口头消息协议进行分析,能有效降低分析和应用新共识协议的复杂度。
- 贺新征光焱光焱
- 关键词：区块链数字金融分布式网络
- 求异常椭圆曲线上的DLP的一个算法被引量：4
- 2001年
- 对Semaev给出的求异常椭圆曲线E(Fp)上的离散对数的方法作进一步改进 ,给出一个更加容易实现的从E(Fp)到Fp 的同构映射 ,进而给出一个求异常椭圆曲线E(Fp)上的离散对数的优化算法 .
- 祝跃飞裴定一
- 关键词：公钥密码离散对数同构映射DLP时间复杂度
- 有限域GF(p<'m>)上SEA算法的几个问题
- 有限域GF(p<'m>)上椭圆曲线密码体制具有自身特色,特别是OEF(Optimal Extension Fields)的提出,使对GF(p<'m>)上椭圆曲线密码体制的研究具有一定的现实意义.本文通过对GF(p<'m>...
- 赵涛顾纯祥祝跃飞张亚娟
- 关键词：椭圆曲线密码体制OEF
- 文献传递
- 协议组合逻辑系统研究被引量：5
- 2008年
- 介绍了PCL协议组合逻辑系统的语法、语义和证明系统,并与其他分析方法进行了比较.详述了PCL证明顺序组合安全协议的认证性和私密性等安全属性的方法步骤.该逻辑系统具有Paulson归纳法的相同安全证明等级,又具有BAN逻辑的易读性.
- 王惠斌祝跃飞常青美
- 关键词：形式化分析
