位置：成果数据库 > 期刊 > 期刊详情页
跨域基于口令认证的密钥交换协议的安全模型
  • 期刊名称：通信学报.29(4).24-29, 2008
  • 时间：0
  • 分类：TP309[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]中国科学院研究生院国家计算机网络入侵防范中心,北京100043, [2]中国科学院研究生院信息安全国家重点实验室,北京100049
  • 相关基金：国家自然科学基金资助项目（60573048,60773135,90718007）;国家高技术研究发展计划（“863”计划）基金资助项目（2007AA012427,2007AA01Z450）
  • 相关项目：网络可生存性研究
关键词： 基于口令的认证和密钥交换, 安全模型, 跨域, 端到端, 可证明安全, password-authenticated key exchange, security model, cross realm, client-to-client, provably secure
中文摘要：

从形式化处理的角度出发，首先分析了跨域C2C—PAKE协议应该具有的安全属性，然后给出了一个适合于跨域C2C—PAKE协议的安全模型，并推广了单服务器C2C—PAKE协议的通用协议，进而给出了一个跨域C2C—PAKE协议的通用构造，并在新的模型中证明了其安全性。

英文摘要：

From the formalism point of view, the security attributes needed in the cross-realm C2C-PAKE scenario was first analyzed, and then a new security model for cross-realm C2C-PAKE was presented. Analogous to the general construction of 3PAKE protocol for single server C2C-PAKE setting, a general construction of cross-realm C2C-PAKE protocol was given, which security was proved in the new security model.

同期刊论文项目
P2P网络信任管理研究
期刊论文 35 会议论文 11
网络可生存性研究
期刊论文 36 会议论文 9
网络应用软件安全漏洞挖掘技术研究
期刊论文 24 会议论文 12
同项目期刊论文
P2P声誉系统中GoodRep攻击及其防御机制
增强ad hoc网络可生存性的健壮多维信任模型
一种基于群组的P2P完备信任模型
A fast handover authentication mechanism based on ticket for IEEE 802.16m
Security Issues and Solutions of the Key Management Protocols in IEEE 802.16j Multi-hop Relay Networ
Design and Implementation of National Security Vulnerability Database
Efficient Quantum Secret Sharing scheme with Two-Particle Entangled States
New security model for cross-realm C2C-PAKE protocol
Design and realization of the real-time monitoring system for instant messenger
A new provably secure authentication and key agreement mechanism for SIP using certificateless publi
VRSS: A new system for rating and scoring vulnerabilities
Comment on Reply to Comment on ‘Efficient High-Capacity Quantum Secret Sharing with Two-Photon Entan
Cryptanalysis of an efficient threshold self-healing key distribution scheme
基于模糊推理的网络可生存性的建模与分析
判断集合包含关系的安全计算协议
基于Fuzzing的ActiveX控件漏洞挖掘技术研究
源码审核技术中的词法分析
结构化比对算法研究及软件实现
一种改进的网络可生存需求分析方法
P2P网络信任管理研究综述
构造移动P2P环境下的分布式信任模型
一个具有强安全性的多接收者签密方案
P2P网络的认证方法研究
简易在线证书状态协议研究
证书撤销机制相关标准一致性验证
P2P声誉系统中GoodRep攻击及其防御机制
增强ad hoc网络可生存性的健壮多维信任模型
一种基于群组的P2P完备信任模型
A trust management model based on Bi-evaluation in P2P networks
基于模糊推理的网络可生存性的建模与分析
A new provably secure authentication and key agreement protocol for SIP using ECC
An efficient and provable secure identity-based ring signcryption scheme
A fair and efficient protocol for the millionaires' problem
Secure computation protocol for testing the inclusion relation of sets
基于Fuzzing的ActiveX控件漏洞挖掘技术研究
源码审核技术中的词法分析
结构化比对算法研究及软件实现
一种改进的网络可生存需求分析方法
P2P网络信任管理研究综述
构造移动P2P环境下的分布式信任模型
简易在线证书状态协议研究
证书撤销机制相关标准一致性验证
P2P声誉系统中GoodRep攻击及其防御机制
网络可生存性定义研究
搜索引擎的一种可生存改造方案
TFTP vulnerability finding technique based on fuzzing
Secure AODV Routing Protocol Using SL Multi-signcryption
基于模糊推理的网络可生存性的建模与分析
判断集合包含关系的安全计算协议
即时通实时监控系统的设计与实现
基于网络可生存性的网站保护系统
A new provably secure authentication and key agreement mechanism for SIP using certificateless publ
Common program analysis of two-party security protocols using SMV
可生存性及紧急算法分析
A Dynamic Quantitative Analysis Model for Network Survivability
一种可生存性通用突变算法模式及其模拟框架
一种自适应的可生存系统模型
可生存性及紧急算法特征分析
源码审核技术中的词法分析
结构化比对算法研究及软件实现
一种改进的网络可生存需求分析方法
P2P网络信任管理研究综述
构造移动P2P环境下的分布式信任模型
一个具有强安全性的多接收者签密方案
P2P网络的认证方法研究
简易在线证书状态协议研究
辫群的结点矩阵表示法
访问控制框架及其在Linux中的应用研究
无线传感器网络EMSR协议的安全性分析
公平交换协议设计原则
可生存性控制系统的有限状态机的设计
事务级数据库入侵检测系统的设计
NESSUS基本原理及其关键技术分析
美国安全漏洞发布机制研究