刘锋

作品数：12被引量：20H指数：3
导出分析报告
供职机构：国防科学技术大学更多>>
发文主题：安全协议神经网络P2P分布式应用层组播更多>>
发文领域：自动化与计算机技术电子电信文化科学电气工程更多>>
发文期刊：《中国科技成果》《电子学报》《武汉大学学报（理学版）》《计算机应用与软件》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划高等学校国家重点实验室和教育部重点实验室访问学者专项基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
分布式深度学习通信架构的性能分析被引量：3
《计算机工程与科学》2021年第3期416-425,共10页张立志 冉浙江 赖志权 刘锋 
国家重点研发计划(2018YFB0204301);国家自然科学基金(61702533)。
近年来,深度学习技术的进步推动人工智能进入了一个新的发展时期。但是,海量的训练数据、超大规模的模型给深度学习带来了日益严峻的挑战,分布式深度学习应运而生,逐渐成为应对这一挑战的有效手段,而高效的参数通信架构是保证分布式深...
关键词：Ring Allreduce 参数服务器 分布式训练 深度学习 深度神经网络 
DSF:一种时序约束下的快速数据分发算法
《电子学报》2012年第2期365-370,共6页吴吉庆 彭宇行 刘锋 
国家973重点基础研究发展规划(No.2011CB302601);国家863高技术研究发展计划(No.2009AA01Z142)
时序约束下的大规模数据分发在互联网环境下有着越来越广泛的应用.现有的系统大多采用mesh结构组织结点,并通过运行在请求结点的调度算法来控制数据的分发.但请求结点只依据自身的需求来调度数据,并不能保证系统的整体服务效果.本文以...
关键词：数据分发 时序约束 调度 
安全协议分析中参与者个数上确界的论证
《武汉大学学报（理学版）》2009年第1期79-84,共6页刘锋 李舟军 周倜 
国家自然科学基金资助项目(60473057,90604007)
为了明确安全协议分析和验证中所必需的参与者个数的上确界,改进了基于Horn逻辑的踪迹模型,在该模型中增加了策略向量,描述了攻击者对消息的截留能力以及消息接收的不确定性;提出了在Herbrand域和Herbrand基上的映射,该映射将潜在无穷...
关键词：安全协议 安全性质 逻辑程序 映射 
使用组合协议逻辑PCL验证Amended Needham-Schroeder协议被引量：1
《计算机工程与科学》2008年第11期13-15,共3页刘锋 李舟军 周倜 李梦君 
国家自然科学基金资助项目(60473057,90604007)
安全协议的形式化分析和验证一直是信息安全领域的一个重要问题。本文介绍了组合式验证方法以及面向安全协议验证的组合式验证工具PCL,并采用PCL对Amended Needham-Schroeder协议进行了验证,证明该协议满足保密性。在验证中将完整的协...
关键词：Floyd-Hoare逻辑 PCL 安全协议 
MagicStream:一个基于P2P技术的视频点播系统被引量：2
《计算机工程与科学》2007年第4期47-50,共4页刘锋 彭宇行 李慧霸 李非 
国家自然科学基金资助项目(60433040)
本文详细介绍了一个基于P2P技术的视频点播系统(MagicStream)的系统结构和软件流程,接着针对部分关键技术提出了解决方案,最后介绍了实现的系统原型并对实验结果进行了分析。
关键词：P2P 视频点播 多源协同流调度 
基于对等网的隧道技术研究
《计算机应用与软件》2005年第10期69-70,共2页张雪 彭宇行 孙志刚 刘锋 
国家863项目(2003AA111020)
在对等网中主机应用隧道技术通信时,存在不同NAT后的主机无法建立IPSec通信的问题。研究了IP,IPSec协议,采用了一种新的多层封装隧道技术实现不同NAT后主机的IPSec通信及其具体工作过程。最后通过仿真验证了其性能。
关键词：对等网 NAT IPSEC 多层封装 隧道技术 IPSEC协议 技术实现 仿真验证 通信 主机 
流媒体安全技术研究与实现被引量：5
《计算机工程》2005年第6期137-139,共3页陈道敏 王正华 彭宇行 刘锋 
对网络上流媒体数据的安全传输问题进行了探讨,着重对传输过程中加解密的实现机制进行了分析。最后基于Socket技术 和DirectShow技术给出了一个加密应用实例,并讨论了实现过程中的关键技术。
关键词：流媒体 加密/解密 传输 DIRECTSHOW 
基于SMV的安全协议模型检验被引量：4
《计算机工程与科学》2004年第2期28-31,62,共5页刘锋 李舟军 李梦君 宋震 张艳 
国家自然科学基金资助项目(90104026);国家863计划资助项目(2002.AA144 040);高等学校重点实验室访问学者基金
SMV是一个基于线性时态逻辑的符号化模型检验工具。本文利用SMV对Needham-Schmeder公钥协议的简化版本进行了验证,发现了利用消息重放进行的攻击。
关键词：SMV 安全协议 消息重放 计算机网络 网络安全 
网络视频应用的程序设计模式研究
《计算机应用研究》2002年第8期7-9,12,共4页刘锋 彭宇行 
国家自然科学基金重点资助项目 (6 99330 30 );国家"86 3" - 30 6课题资助项目 (2 0 0 1AA112 0 72 )
研究了COM组件对象模型和流媒体技术之后 ,在Microsoft提出的用于开发本地视频应用的Di rectShow软件体系结构基础上 ,提出了一种针对网络视频应用的程序设计模式 。
关键词：程序设计模式 网络视频 数字视频直播软件 COM组件 应用软件 计算机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部