何丽
- 作品数：3 被引量：4H指数：1
- 供职机构：华南师范大学计算机学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 对一种身份认证协议的改进及其形式化分析被引量：4
- 2010年
- 基于口令的远程身份认证协议是目前认证协议研究的热点。2005年,Sung-Woon Lee等人提出了一个低开销的基于随机数的远程身份认证协议即Lee-Kim-Yoo协议,首先分析了此协议中所存在的安全性缺陷,随后构造了一个基于随机数和Hash函数,并使用智能卡的远程身份认证协议,最后用BAN逻辑对修改后的协议进行了形式化的分析,结果表明修改后的协议能够达到协议的安全目标。
- 何丽王立斌
- 关键词：拒绝服务攻击BAN逻辑形式化分析
- 跨域基于口令认证的密钥交换协议的分析与改进
- 2009年
- 由于网络中存在安全问题,通信双方必须在通信前进行身份鉴别和密钥交换。跨域基于口令的认证密钥交换协议(C2C-PAKE)利用同一域间客户与服务器间预先共享的口令,使分布在不同域中持有不同口令的两个用户可以协商并分配一个共享的会话密钥。描述一个跨域C2C-PAKE协议,给出协议的交互过程,分析其安全性及其可能遭受的两种攻击,并给出对应的改进方案。
- 胡敏刘卫红邬家炜何丽王耀明
- 关键词：口令密钥交换安全协议
- 基于隐马尔科夫模型下的实时风险管理
- 目前，风险管理在信息安全体系建设中发挥着越来越重要的作用。由于传统风险管理不能及时采集到系统当前数据，导致评估结果滞后，以致采取控制措施也难以达到安全需求，所以实时风险管理已成为目前研究的一个热点。本文对实时风险管理进行...
- 何丽
- 关键词：信息安全隐马尔科夫模型层次分析法
- 文献传递
