邓帆

作品数：11被引量：14H指数：2
导出分析报告
供职机构：解放军信息工程大学信息工程学院更多>>
发文主题：安全协议逻辑分析组件可证安全密钥交换更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机工程与设计》《信息安全与通信保密》《计算机工程与应用》《计算机应用与软件》更多>>
所获基金：国家重点实验室开放基金国家部委预研基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
安全协议的规范化设计
《计算机工程与应用》2011年第18期122-126,共5页邓帆 邓少锋 张文政 
通信技术重点实验室基金(NO.9140C1103040902)
提出运用组合方法进行安全协议设计。给出了协议中基件与组件的定义,根据组件的安全属性设计实现相应安全目标的单步协议;定义组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标。根据具体...
关键词：安全协议 组件 逻辑分析 组合 
标准模型下可证安全的认证密钥协商协议被引量：1
《计算机工程与应用》2011年第13期106-109,共4页邓帆 邓少锋 李益发 
通信技术重点实验室基金No.9140C1103040902~~
提出了一个标准模型下的基于身份认证的密钥协商协议。协议的设计采用了双线性配对的思想,协议的安全性分析,则综合运用了串空间知识以及可证安全中Game证明的方法,给出了严格的证明。协议具有良好的前向安全性和会话密钥无托管性,通过...
关键词：认证密钥协商 可证安全 串空间 双线性配对 标准模型 
两个三方口令密钥交换协议的安全性分析被引量：4
《计算机工程与应用》2011年第10期101-105,共5页邓少锋 邓帆 李益发 
国家部委预研基金
首先对两个基于验证元的三方口令密钥交换协议进行了安全性分析,指出它们都是不安全的。其中,LZC协议不能抵抗服务器泄露攻击、未知密钥共享攻击、内部人攻击和不可发现字典攻击;LWZ协议不能抵抗未知密钥攻击、内部人攻击和重放攻击。对...
关键词：三方密钥交换 基于口令验证 基于验证元 双线性对 
一种混合的安全协议分析方法被引量：1
《计算机应用与软件》2011年第3期289-292,共4页霍腾飞 李益发 邓帆 
成都市通信技术重点实验室(9140C1103040902)
在安全协议的形式化分析中,有两种完全不同的观点:模态逻辑和可证安全,两者各有优缺点。目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点。通过对两种观点的研究,按照优势互补的原则将两者相调和...
关键词：可证安全 逻辑分析 安全协议 混合分析 
应用组合方法设计复杂安全协议被引量：1
《计算机工程与设计》2010年第20期4375-4377,4392,共4页邓帆 邓少锋 李益发 
部级通信技术重点实验室基金项目(9140C1103040902)
针对目前安全协议设计存在的方法抽象、适用范围小及复杂的特点,提出一种新的安全协议设计方法。给出了协议中基件与组件的定义,分析了组件的安全属性并基于组件设计实现相应安全目标的单步协议。最后,定义组合规则确保不同的单步协议...
关键词：安全协议 设计 组件 逻辑分析 组合 
有效的强安全组群密钥交换协议被引量：1
《计算机应用》2010年第7期1805-1808,共4页邓少锋 邓帆 李益发 
通信技术重点实验室基金资助项目(9140C1103040902)
组合公钥密码(CPK)体制无需证书来保证公钥的真实性,克服了用户私钥完全由密钥管理中心生成的问题。基于CPK设计了一个常数轮的组群密钥交换协议,该协议在CDH假设下可证安全并具有完美的前向安全性,只需两轮通信即可协商一个组群会话密...
关键词：组群密钥交换 组合公钥密码 强安全性 秘密共享 动态组群 
两个有效的基于CPK的组群密钥传输协议
《武汉大学学报（信息科学版）》2010年第5期591-594,共4页邓少锋 邓帆 张文政 李益发 
成都市现代通信技术国家重点实验室基金资助项目(9140C1103040902)
基于CPK提出了两个安全的单轮组群密钥传输协议,且基于双因素认证———智能卡和口令。第一个协议使用中国剩余定理(CRT)隐蔽临时密钥,在CDH假设下可证安全;第二个协议使用秘密随机数矩阵(SRM)来组合生成临时密钥,并给出了SRM的安全更...
关键词：组合公钥密码体制 组群密钥传输协议 双因素认证 中国剩余定理 
一种安全协议的规范化设计方法
《武汉大学学报（信息科学版）》2010年第5期603-606,共4页邓帆 李益发 张文政 
成都市现代通信技术国家重点实验室基金资助项目(9140C1103040902)
提出了应用组合方法进行安全协议的规范化设计,给出了协议中基件与组件的定义,分析了组件的安全属性,及基于组件设计能实现相应安全目标的单步协议;定义了组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实...
关键词：安全协议 设计 组件 逻辑分析 组合 
应用组合方法设计安全协议被引量：5
《计算机应用》2010年第4期1033-1037,1041,共6页邓帆 邓少锋 李益发 
通信技术重点实验室基金资助项目(9140C1103040902)
针对目前安全协议的设计方法存在方法抽象、适用范围小及复杂的特点,提出了一种新的安全协议设计方法。先给出协议中基件与组件的定义,分析组件的安全属性并基于组件设计能实现相应安全目标的单步协议;定义组合规则,确保不同的单步协议...
关键词：安全协议 单步协议 组件 逻辑分析 组合 
基于CPK的可证安全组群密钥交换协议被引量：1
《信息安全与通信保密》2009年第8期316-319,共4页邓少锋 邓帆 李益发 
通信技术重点实验室基金资助项目（编号：9140C1103040902）.
CPK组合公钥密码体制无需证书来保证公钥的真实性，克服了用户私钥完全由密钥管理中心生成的问题。丈中基于CPK设计了一个高效常数轮的组群密钥交挟协议，并且协议在CDH假设下可证安全和具有完美的前向安全性。该协议只需两轮通信即可...
关键词：群密钥交换 组合公钥密码 可证安全 秘密共享 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部