刘小琼
- 作品数：9 被引量：21H指数：3
- 供职机构：中国人民解放军西安通信学院更多>>
- 发文基金：陕西省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于身份的无证书高效签名算法研究被引量：2
- 2011年
- 为了提高网络认证效率和安全性,利用双线性对技术提出了一种基于身份的无证书高效签名算法。用户使用的私钥由密钥生成中心和自身共同决定,适用于对密钥生成中心不是非常信任的场合。同时用户一旦发现自身私钥泄漏,通过算法生成新的公钥并重新公布,防止黑客伪造签名,解决了密钥撤销问题。用户在不改变自身公钥的前提下,与其通信的服务器无需维护通行字列表,通过计算身份索引号就能认证用户。该算法具有匿名性和不可否认性,简要分析了算法性能,并基于随机预言机模型证明了该算法在适应性选择消息攻击下不可伪造。
- 徐邢启潘进陈志广刘小琼
- 关键词：密钥生成中心身份签名双线性对匿名性
- 一种基于LKH的批密钥更新标记方案
- 针对传统单次密钥更新的不足,提出了一种基于LKH的批密钥更新标记方案。在大量待加入、退出成员数量变化的情况下,通过对比分析各节点的路径标记,能快速实现成员的批量加入和退出,确定出需要更新的密钥,方案操作简单,具有一定的扩...
- 刘小琼潘进赵一A刘琼
- 文献传递
- 移动自组网中跨域两方认证密钥协商协议研究被引量：7
- 2011年
- 针对基于身份的移动自组网认证密钥协商协议中,会话两方属于不同私钥生成中心(PKG)的情况,利用双线性对的性质和椭圆曲线离散对数问题,提出了一种跨域两方认证密钥协商协议,并采用应用pi演算和ProVerif自动化验证工具对其安全属性进行形式化分析。分析结果表明,提出的协议实现了保密性、身份认证性以及密钥一致性确认,同时又具有较好的性能,非常适用于资源有限的移动自组网。
- 陈安林潘进郭超刘小琼
- 关键词：密钥协商双线性对移动自组网
- 一种基于LFSR的安全网络编码被引量：2
- 2011年
- 该文基于线性反馈移位寄存器（LFSR）能够利用相当少的信息生成大周期的密钥这一优点，构造了一种安全的网络编码方案。该方案中，信源与信宿共享有一个LFSR，信源利用生成的密钥产生加密矩阵，信宿根据收到的信息计算出解密矩阵，也就可以得到原始信息，其对窃听者窃听到的信道数量没有要求。同时，信源在每次传输信息时可以随时改变加密矩阵，相当于一次一密，使得信息传输更加安全。该方案适用于接收端用户在一段时间内固定不变的场合，如战场演习等场合，但却无法适用于频繁有用户加入或退出的动态环境。
- 刘琼潘进刘小琼
- 关键词：网络编码LFSR信息安全
- 无双线性对的无证书两方认证密钥协商协议被引量：4
- 2012年
- 鉴于双线性对运算复杂度较高,不适用于移动通信环境,提出新的无双线性对的基于无证书的两方认证密钥协商协议。新协议解决了基于身份的公钥密码方案中固有的密钥托管问题,实现了对通信双方的身份认证,采用非双线性对运算,极大地降低了计算开销。通过分析协议的正确性,采用Applied Pi演算对协议进行形式化分析,借助ProVerif工具验证了协议的安全性和认证性。与其他两方密钥协商协议相比,新方案具有更好的安全性和效率。
- 潘进刘小琼李国朋
- 关键词：密钥协商无证书密码体制PI演算形式化分析
- 一种基于LKH路径标记的组密钥更新方案
- 在LKH方案的基础上,提出了一种基于路径标记的组密钥更新方案。各成员通过与新加入或退出成员比较路径标记,确定出需要更新的密钥,并利用哈希函数计算密钥值。分析结果表明,该方案有效地减小了密钥更新开销,具有良好的鲁棒性和可扩...
- 刘小琼潘进刘琼
- 关键词：组密钥更新
- 文献传递
- 基于无证书的两方跨域认证密钥协商协议被引量：4
- 2012年
- 利用椭圆曲线上双线性对映射和离散对数问题,提出一种基于无证书的两方跨域认证密钥协商协议。该协议解决了传统的基于身份的跨域两方密钥协商协议中固有的密钥托管问题,实现了跨域通信双方的身份验证,防止了主动攻击。在保证协议正确性的基础上,采用应用Pi演算对协议进行形式化分析,并验证了协议的认证性和安全性。与其他跨域两方认证密钥协商协议性能相比,该协议的安全性和效率都更优。
- 刘小琼潘进李国朋
- 关键词：密钥协商无证书密码体制形式化分析
- 基于无证书的两方认证密钥协商协议被引量：2
- 2011年
- 基于椭圆曲线上离散对数问题、双线性对映射和CDH假设,提出新的基于无证书的两方认证密钥协商协议,解决了基于身份的公钥密码方案中固有的密钥托管问题,实现了对通信双方的身份验证,防止了主动攻击。最后,分析协议的正确性,应用pi演算对协议进行形式化分析,借助ProVerif工具验证了协议的安全性。与其它两方密钥协商协议性能相比,安全性和效率都更好。
- 李国朋刘小琼
- 关键词：密钥协商双线性对无证书密码体制形式化分析
- 基于无证书的可认证组密钥协商协议被引量：3
- 2012年
- 文中基于多线性表的性质,综合椭圆曲线上离散对数问题,提出一个新的基于无证书的多方密钥协商方案。新协议避免了传统的基于证书的方案中复杂的证书管理问题,解决了基于身份的组密钥协商方案中固有的密钥托管问题,实现了对通信各方的身份认证,有效防止了主动攻击。最后,通过计算验证了会话密钥的一致性,采用应用Pi演算对协议进行形式化分析验证了协议的安全性。和其它可认证组密钥协商协议相比,新方案用较小的计算开销换取了协议的更强安全性,协议的实用性大大增强。
- 刘小琼潘进刘琼
- 关键词：组密钥协商无证书密码体制形式化分析
