检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西安通信学院 [2]61741部队
出 处:《计算机应用研究》2011年第7期2734-2737,共4页Application Research of Computers
摘 要:针对基于身份的移动自组网认证密钥协商协议中,会话两方属于不同私钥生成中心(PKG)的情况,利用双线性对的性质和椭圆曲线离散对数问题,提出了一种跨域两方认证密钥协商协议,并采用应用pi演算和ProVerif自动化验证工具对其安全属性进行形式化分析。分析结果表明,提出的协议实现了保密性、身份认证性以及密钥一致性确认,同时又具有较好的性能,非常适用于资源有限的移动自组网。In order to resolve the problems of ID-based authenticated key agreement protocol that two session parties belong to different private key generators(PKG) in mobile Ad hoc network(MANET) respectively,this paper proposed an authenticated key agreement protocol for cross-domain two session parties based on the bilinear pairing and elliptic curve discrete logarithm problem.The secure properties of the protocol had been formally verified in the applied pi calculus with the assistance of an automatic protocol verifier.All analysis show that the scheme perfectly adapt to the resource limited MANET because of its better secure property of secrecy,identity authenticity and the same key confirmation as well as better performance.
分 类 号:TP393.08[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.37