CANETTI-KRAWCZYK模型

作品数：12被引量：34H指数：3
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：马建峰李兴华李晖朱辉郭卫锋更多>>
相关机构：西安电子科技大学解放军信息工程大学陕西师范大学天津工业大学更多>>
相关期刊：《计算机学报》《电脑编程技巧与维护》《西安电子科技大学学报》《电子科技大学学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划教育部科学技术研究重点项目教育部重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CK01模型的物联网节点密钥交换和更新算法研究
《现代计算机》2018年第14期54-58,共5页欧志球 王铮 
浙江省科技厅公益技术研究社会发展项目(No.2014c33098)
随着物联网网络管理规模的增大和对安全性要求的提高,简单网管协议第3版标准中的用户安全模型的密钥交换已经不能满足需求。针对当前流行的用户安全模型,提出基于Canetti-Krawczyk模型的安全密钥交换算法,并进行形式化的证明和相应的方...
关键词：简单网管协议第3版 用户安全模型 迪菲-赫尔曼密钥交换算法 CANETTI-KRAWCZYK模型 
EPC网络中一种可证明安全的ONS查询方案被引量：3
《小型微型计算机系统》2013年第7期1620-1624,共5页郭卫锋 李景峰 张来顺 
河南省科技攻关重点项目(092101210504)资助
分析了EPC网络中ONS查询过程,指出现有过程在身份认证、消息机密性和完整性等方面存在安全缺陷.提出了一种可证明安全的ONS查询方案,引入对称密码和消息认证码等技术,实现ONS服务器之间的双向认证和安全密钥分发,从而有效保护ONS服务器...
关键词：EPC网络 RFID ONS CANETTI-KRAWCZYK模型 
EPC网络中可证明安全的EPCIS通信方案
《通信学报》2013年第S1期235-239,245,共6页李景峰 潘恒 郭卫锋 
针对EPC信息服务存在的安全问题,提出一种EPC信息服务安全通信方案ESCM,方案使用数字签名、消息认证码等安全机制,实现了分属查询应用程序和外域EPCIS服务器之间的相互认证服务与密钥协商服务,能够保护EPCIS通信的机密性和完整性。利用C...
关键词：EPC信息服务 射频标识 CANETTI-KRAWCZYK模型 
基于扩展Canetti-Krawczyk模型的认证密钥交换协议的模块化设计与分析
《计算机研究与发展》2011年第8期1390-1399,共10页潘嘉昕 王立斌 
上海市信息安全综合管理技术研究重点实验室开放课题(AGK2010006)
提出一种模块化的扩展Canetti-Krawczyk模型(简称meCK模型)以摆脱认证密钥交换协议对随机预言机的依赖.首先将认证密钥交换协议划分为秘密交换模块和密钥派生模块,并分别形式化定义其攻击者的能力与安全属性;然后综合上述模块得到认证...
关键词：可证明安全 认证密钥交换协议 CANETTI-KRAWCZYK模型 标准模型 GapDiffie-Hellman 
可信计算环境下基于TPM的认证密钥协商协议被引量：1
《计算机工程与应用》2010年第35期115-118,共4页王海燕 吴振强 种慧芳 蒋李 
国家自然科学基金(No.60633020);西安电子科技大学计算机网络与信息安全教育部重点实验室开放课题(No.2007CNIS-06)~~
基于身份的认证密钥协商协议存在密钥托管I、D管理I、D唯一性和私钥的安全分发等问题,目前的可信计算技术为此提供了很好的解决方案。利用TPM平台中EK和tpmproof唯一性的特点,结合McCullagh-Barreto认证密钥协商协议思想,提出了一个在...
关键词：可信计算 密钥协商协议 认证密钥协商 CANETTI-KRAWCZYK模型 
基于Canetti-Krawczyk模型的IEEE 802.11i四步握手协议分析
《电脑编程技巧与维护》2009年第20期23-25,共3页张哲 王东杨 李跃廷 
对Canetti-Krawczyk模型进行深入研究,抽象并形式化IEEE802.11i协议的四步握手协议。依据Canetti-Krawczyk模型中在AM下的安全性定义,利用其理论进行形式化分析,得出四步握手协议在AM下的SK安全的结论。提出对于UC下的安全性和协议可用...
关键词：Canetti—Krawczyk模型 IEEE 802.11i协议 形式化分析 
一种改进的直接匿名认证方案被引量：7
《计算机应用》2009年第2期364-366,397,共4页李洁 吴振强 于璐 孙鹏 程瑶 
国家自然科学基金重点项目(60633020);西安电子科技大学计算机网络与信息安全教育部重点实验室开放课题(2007CNIS-06)
介绍可信计算中直接匿名认证(DAA)方案的研究与发展,针对现有解决方案中由于EK密钥泄露而造成的Rudolph攻击,提出了一种改进的直接匿名认证方案。与原方案相比,改进的方案在Join阶段提出了一种新的密钥交换协议,在实现DAA证书发布者和...
关键词：直接匿名认证 Rudolph攻击 密钥交换 CANETTI-KRAWCZYK模型 
新的可证明安全的快速认证协议被引量：1
《电子科技大学学报》2009年第1期55-58,共4页朱辉 李晖 庞辽军 王育民 
国家自然科学基金(60772136;60803151);国家863计划(2007AA01Z435);高等学校学科创新引智计划(B08038)
利用Canetti-Krawczyk模型构造了一个快速认证协议,并对该协议的安全性进行了详细的分析和证明。分析表明,该协议实现了Canetti-Krawczyk模型下可证明安全的快速身份认证、密钥协商和密钥更新,且具有双向实体认证、完美的向前保密性等...
关键词：认证协议 CANETTI-KRAWCZYK模型 可证明安全 安全分析 
一种Canetti-Krawczyk模型下的快速认证协议被引量：2
《西安电子科技大学学报》2009年第1期156-161,共6页朱辉 李晖 王育民 
国家自然科学基金资助(60803151;60772136);高等学校学科创新引智计划资助(B08038)
基于Canetti-Krawczy模型的安全性定义与模块化特性,利用公钥加密和消息认证码技术,构造了一个快速认证协议,并对该协议的安全性进行了详细的分析.分析表明,该协议实现了Canetti-Krawczy模型下可证明安全的快速身份认证、密钥协商和密...
关键词：认证协议 Canetti—Krawczyk模型 可证明安全 安全分析 公钥密码 
可信计算环境下的Canetti-Krawczyk模型被引量：2
《电子学报》2009年第1期7-12,共6页李兴华 马建峰 马卓 
国家863高技术研究发展计划(No.2007AA01Z429,2007AA01Z405,2007AA01Z472);国家自然科学基金重点项目(No.60633020);国家自然基金(No.60702059,60573036);华为公司科技基金(No.YJCB2008053MT);天津科技攻关计划(No.06YFGZGX17500)
在可信环境下,我们对密钥协商协议的形式化方法—Canetti-Krawczyk(CK)模型进行研究,对该模型中定义的攻击者三种攻击能力重新进行分析.发现在可信环境下,如果用户的签名/验证公私钥对是由TPM生成的,则CK模型中的攻击者只有一种攻击能力...
关键词：可信计算 Canetti—Krawczyk模型 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部