夏松
- 作品数：6 被引量：6H指数：2
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- 基于身份的AKA协议若干问题研究
- 安全有效的认证密钥协商机制将为网络的正常运作和信息安全提供可靠保障。其中,基于身份认证密钥协商协议因其大大简化了公钥管理过程而成为当前的一个研究热点。当前绝大部分基于身份认证密钥协商协议都要求参与协议的用户是在同一个PK...
- 夏松
- 关键词：基于身份可证明安全
- 文献传递
- 不同PKG环境下AKE协议的安全性分析被引量：2
- 2010年
- 介绍不同PKG环境下的AKE协议,分别对M-B协议及不同PKG环境下的AKE协议进行安全性分析,并指出其存在的安全缺陷。对后者进行改进,提出一个新的在不同PKG环境下的AKE协议。通过启发式分析证明改进协议可以抵抗已知所有攻击,同时通过与其他相关协议的比较可以发现,改进协议具有更好的安全属性。
- 夏松韩文报
- 关键词：基于身份认证密钥协商双线性对
- 不同PKG环境下可证安全的基于身份AKA协议被引量：2
- 2010年
- 目前大多数基于身份认证密钥协商协议需要参与协议双方在同一个PKG环境下,而实际应用中需要在不同PKG环境下的用户之间也能进行安全通信。该文结合twin Diffie-Hellman问题提出了一个全新的不同PKG环境下的基于身份认证密钥协商协议。利用Cash等人在2008年欧密会上提出的"trapdoor test"技术在eCK模型中将新协议的安全性规约到标准的CDH和BDH假设。
- 夏松权建校韩文报
- 关键词：密码学认证密钥协商基于身份双线性对TRAPDOOR
- 基于分支界限搜索的EFSM协议测试序列生成算法被引量：2
- 2013年
- 针对EFSM中状态迁移不确定导致的协议一致性测试序列生成困难的问题,提出了一种协议一致性测试序列生成算法。该算法基于互异代表系理论为每个协议状态变迁赋权值,再基于分支界限法搜索生成的协议测试序列,将协议一致性测试序列的生成转换为寻找最小权值状态变迁路径的问题。该算法克服了无赋权要求的宽度优先搜索的缺陷,降低了测试序列的搜索与生成时间复杂度,提高了测试序列生成的效率。
- 尤娟李俊全夏松
- 关键词：协议一致性测试测试序列生成扩展有限状态机
- 多PKG环境下无双线性对的基于身份AKA协议被引量：1
- 2012年
- 提出一种多PKG环境下无双线性对的基于身份AKA协议,且在随机预言模型下,将协议的安全性证明规约到标准的计算性CDH假设。提出了相应的基于身份XCR与DCR签名体制,通过对两处体制进行安全性证明,实现对新协议的安全性证明。通过与已有协议的相关性能比较体现了新协议的优点。
- 尤娟夏松李俊全
- 关键词：基于身份认证密钥协商双线性对
- 一种基于动态规划的协议一致性测试序列生成算法
- 在以扩展有限状态机为模型的协议一致性测试中,为了提高可执行测试序列的生成效率,论文将协议测试序列的生成问题转化为一个最优路径多阶段决策问题,基于互异代表系理论对每个协议转换边赋权值,提出了一种基于动态规划的协议状态转换序...
- 尤娟李俊全夏松万伟
- 关键词：协议一致性测试扩展有限状态机动态规划
