齐庆磊
- 作品数：5 被引量：2H指数：1
- 供职机构：河南工业大学信息科学与工程学院更多>>
- 发文基金：河南省科技攻关计划河南省高校青年骨干教师资助项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 交互式网络安全协议通用可组合安全分析方法研究
- 安全协议是保障网络通信信息安全的重要技术手段，在复杂的网络环境中设计和分析安全协议是信息安全技术领域中一项困难的事情。现有的安全协议分析方法主要包括模态逻辑、定理证明、进程演算、基于可证安全理论、组合安全证明等，而大多数...
- 齐庆磊
- 关键词：安全协议通用可组合安全密钥交换
- 文献传递
- 通用可组合安全的WLAN密钥交换协议
- 2010年
- 安全性是WLAN应用的核心问题,IEEE802.11i定义了WLAN安全基础框架,其中,四次握手协议4-WAY实现会话密钥交换与更新。分析表明4-WAY易遭受拒绝服务攻击,提出了一种改进会话密钥协商协议3-WAY,分析表明该协议具有更好的消息认证和完整性保护,以及高效性。采用通用可组合安全模型对3-WAY进行分析,证明该协议能够实现密钥交换理想函数,具有通用可组合安全性。该协议具有广泛适用性。
- 张浩军齐庆磊
- 关键词：无线局域网密钥交换协议通用可组合安全
- 通用可组合的自更新Hash链认证模型
- 2011年
- 利用通用可组合安全的框架定义了自更新Hash链认证理想函数,设计了基于一次签名理想函数的真实协议,并证明了在安全伪随机函数和单向无碰撞Hash函数的前提下,该协议能够实现所提理想函数。
- 张浩军齐庆磊赵保鹏
- 关键词：HASH链
- 通用可组合的自更新Hash链认证模型
- 利用通用可组合安全的框架定义了自更新Hash链认证理想函数，设计了基于一次签名理想函数的真实协议，并证明了在安全伪随机函数和单向无碰撞Hash函数的前提下，该协议能够实现所提理想函数。
- 张浩军齐庆磊赵保鹏
- 一种通用可组合安全的快速密钥交换协议被引量：2
- 2011年
- 针对快速密钥交换协议JFKi信息冗余及缺乏形式化证明的问题,提出一种轻量级快速密钥交互协议LJFKi。通过对比分析,发现所提协议的消息长度较原有协议减少1/3,具有较高的通信效率,更适用于对通信负载比较敏感的网络。利用通用可组合安全模型证明该协议能够实现安全会话理想函数,具有通用可组合安全性。
- 齐庆磊张浩军王逸芳
- 关键词：IPSEC协议
