-
题名UC安全的空间网络双向认证与密钥协商协议
被引量:12
- 1
-
-
作者
郭渊博
王超
王良民
-
机构
解放军信息工程大学电子技术学院
西安电子科技大学计算机学院
江苏大学计算机科学与通信工程学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2010年第10期2358-2364,共7页
-
基金
国家863高技术研究发展计划(No.2007AA01Z405)
国家自然科学基金(No.60703115)
河南省科技创新杰出青年项目(No.104100510025)
-
文摘
为了满足空间信息网络异构互联和高动态组网时,实施接入时的访问控制要求,基于Diffie-Hellman密钥交换,采用签名认证方式,在飞行器与外部子网无任何安全关联的假设条件下,提出了基于有证书的公钥系统模型下的空间信息网络安全接入认证与密钥协商协议,可用于飞行器进入空间信息网或跨子网漫游时,与接入点之间的双向认证与密钥协商过程.分析表明,在DDH(Decisional Diffie-Hellman)假定成立的前提下,所提出的协议在UC(Universally Composable)安全模型下是可证明安全的.
-
关键词
空间信息网络
通用可组合
认证与密钥协商
DDH假设
-
Keywords
spatial information network
universally composable secure
authentication and key exchange
DDH assumption
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名群组通信的通用可组合机制
被引量:6
- 2
-
-
作者
田有亮
马建峰
彭长根
姬文江
-
机构
西安电子科技大学通信工程学院
贵州大学理学院
西安电子科技大学计算机学院
-
出处
《计算机学报》
EI
CSCD
北大核心
2012年第4期645-653,共9页
-
基金
国家自然基金委员会-广东联合基金重点基金项目(U1135002)
国家科学技术部重大专项基金项目(2011ZX03005-002)
+4 种基金
国家自然科学基金项目(60963023
60970143
61100230
61100233)
中央高校基本科研业务费基金项目(JY10000903001)资助~~
-
文摘
在通用可组合框架下研究群组通信问题.首先,作者在UC框架下分别提出群组通信模型的理想函数FSAGCOM、基于身份签密模型的理想函数!IDSC和群密钥分发模型的理想函数FGKD.其次,构造了UC安全的基于身份签密协议πIDSC,同时,证明了基于身份的签密协议πIDSC安全实现理想函数FIDSC当且仅当相应的基于身份的签密协议IDSC是安全的.最后,利用基于身份的签密协议πIDSC,提出了一种群组通信机制πSAGCOM,该机制在(FIDSC,FGKD)-混合模型下能安全实现群组通信的理想函数FSAGCOM.
-
关键词
通用可组合安全
理想函数
安全群组通信
基于身份签密
多对多群组通信
-
Keywords
universally composable secure
ideal functionality
secure group communication
identity-based signcrytion
many-to-many group communication
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于双线性对的通用可组合重签名方案研究
- 3
-
-
作者
艾鸿
刘跃军
-
机构
上海海洋大学信息学院
上海大学巴士汽车学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2013年第11期3748-3751,共4页
-
基金
南北极环境综合考察与评估专项基金项目(CHINARE2012-04-07)
-
文摘
对洪等学者提出的在随机预言机模型下具有UC安全的通用可组合代理重签名方案进行了安全性分析。针对洪等学者提出的通用可组合代理重签名方案并不具备他们宣称的不可伪造性问题,给出了任意恶意的攻击者都能在不知道代理密钥的情况下成功伪造一个代理重签名并通过有效性验证的方法。为了克服该问题,提出了一个改进的方案,对新方案进行正确性和安全性分析。分析结果显示,改进的方案能克服原方案存在的缺陷,在随机预言机模型下是安全的,比原方案更加有效。
-
关键词
通用可组合安全
代理重签名
可伪造性
可证明安全
随机预言机模型
-
Keywords
universally composable secure
proxy re-signature
forgeability provable security
random oracle model
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-