黄伟
- 作品数：3 被引量：7H指数：2
- 供职机构：中南民族大学计算机科学学院更多>>
- 发文基金：国家自然科学基金武汉市科技型中小企业技术创新基金中南民族大学自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于应用PI演算的远程网络投票协议安全性自动化证明
- 投票是人们使用自己选举权力来表达自己对某一问题的观点的一种方式。随着计算机技术和通信技术的不断发展，人们利用计算机在任何地方通过网络投票系统进行投票成为现实。
网络投票协议是实施网络投票系统的基础。安全实用的远程网...
- 黄伟
- 关键词：形式化
- 基于口令的安全用户认证模型被引量：2
- 2009年
- 对基于口令的访问控制进行研究,应用DES,SHA-512和Diffe-Hellman密钥交换协议,提出一个基于口令的安全用户认证模型。此模型可以抵抗中间人攻击、重放攻击、字典攻击和拒绝服务攻击,同时还能提供完善向前保密。基于提出的安全用户认证模型应用HOOK技术,给出了一个基于C/S方式的原型实现。
- 黄伟孟博李云超
- 关键词：访问控制HOOKDES
- 协议抗拒绝服务攻击性自动化证明被引量：4
- 2012年
- 首先从攻击者上下文与进程表达式2个方面对标准应用PI演算进行扩展,然后从协议状态的角度,应用扩展后的应用PI演算对协议抗拒绝服务攻击性进行建模,提出一个基于定理证明支持一阶定理证明器ProVerif的抗拒绝服务攻击性自动化证明方法,最后应用ProVerif分析与验证了JFK协议与IEEE 802.11四步握手协议抗拒绝服务攻击性,发现IEEE 802.11四步握手协议存在一个新的拒绝服务攻击,并且针对IEEE 802.11四步握手协议存在的拒绝服务攻击提出了改进方法。
- 孟博黄伟王德军邵飞
- 关键词：拒绝服务攻击形式化
