您的位置： 专家智库 > >

何旭东

作品数：5 被引量：13H指数：3
供职机构：中南民族大学计算机科学学院更多>>
发文基金：湖北省自然科学基金国家自然科学基金中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇期刊文章
  • 1篇会议论文

领域

  • 5篇自动化与计算...

主题

  • 3篇网络
  • 2篇形式化
  • 2篇网络安全
  • 2篇网络管理
  • 2篇网络协议
  • 2篇离线
  • 2篇安全协议
  • 2篇安全性
  • 1篇对称加密
  • 1篇形式化方法
  • 1篇形式化分析
  • 1篇语言
  • 1篇认证性
  • 1篇数字签名
  • 1篇签名
  • 1篇网络空间安全
  • 1篇加密
  • 1篇非对称加密
  • 1篇OPENID
  • 1篇SWIFT

机构

  • 5篇中南民族大学

作者

  • 5篇孟博
  • 5篇何旭东
  • 3篇王德军
  • 1篇张金丽

传媒

  • 1篇通信学报
  • 1篇计算机应用
  • 1篇郑州大学学报...
  • 1篇山东大学学报...

年份

  • 1篇2019
  • 3篇2018
  • 1篇2017
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
安全协议实施安全性分析综述被引量：4
2018年
安全协议是网络空间安全的重要组成部分,安全协议实施是安全协议的最终表现形式。介绍了安全协议实施安全性分析的意义,分别按照三个前提条件:能够获取安全协议客户端实施和安全协议服务器端实施、仅能够获取安全协议客户端实施、不能获取安全协议客户端与安全协议服务器端实施,并依据安全协议实施安全性分析采用的主要分析方法——程序验证、模型抽取、网络轨迹、指令分析等,对相关研究成果进行归类、分析、比较、总结和讨论。对未来安全协议实施安全性分析的研究方向进行了展望。
孟博鲁金钿王德军何旭东
关键词：网络空间安全
网络协议流量识别方法研究被引量：4
2019年
网络协议流量识别旨在识别流量所属的网络应用或者协议,进而及时发现和处理网络故障和安全漏洞,提高网络服务质量和保障网络空间安全.首先总结4种主要网络协议流量识别方法:基于行为的识别方法、基于负载随机性的识别方法、基于有效负载的识别方法和基于统计学特征的识别方法;然后分别基于在线加密流量、在线非加密流量、离线加密流量和离线非加密流量4种应用场景,对相关研究成果进行归类总结和讨论;最后总结全文并展望未来网络协议流量识别方法的研究方向.
孟博何旭东王德军刘加兵
关键词：网络管理网络安全
基于计算模型的安全协议Swift语言实施安全性分析被引量：1
2018年
分析IOS平台上的安全协议Swift语言实施安全性,对保障IOS应用安全具有重要意义。首先对已有安全协议Swift语言实施进行分析,确定Swift语言子集SubSwift,并给出其BNF;其次基于操作语义,建立SubSwift语言到Blanchet演算的映射模型,主要包含SubSwift语言的语句、类型到Blanchet演算的语句及类型的映射关系与规则;再次根据Sub Swift语言到Blanchet演算的映射模型,提出从安全协议Sub Swift语言实施生成安全协议Blanchet演算实施方法;最后应用Antrl4工具和Java语言开发安全协议Blanchet演算实施生成工具SubSwift2CV,分析OpenID Connect协议、Oauth2.0协议和TLS协议的SubSwift语言实施安全性。
孟博何旭东张金丽尧利利鲁金钿
关键词：安全协议形式化分析
改进的OpenID Connect协议及其安全性分析被引量：5
2017年
Open ID Connect协议是最新的单点登录协议之一,已经广泛应用于用户身份认证领域,其安全性受到了人们的重点关注。为增强Open ID Connect协议的安全性,首先引入数字签名及非对称加密技术,对其进行改进,重点关注改进后协议的秘密性和认证性;其次基于符号模型,应用应用PI演算对改进的Open ID Connect协议进行形式化建模;然后为验证改进后协议的认证性和秘密性,分别使用非单射性和query对认证性和秘密性进行建模;最后把改进的Open ID Connect协议的应用PI演算模型转换为安全协议分析工具ProVerif的输入,应用ProVerif对其进行形式化分析。实验结果表明,改进后的Open ID Connect协议具有认证性和秘密性。
鲁金钿尧利利何旭东孟博
关键词：非对称加密数字签名认证性形式化方法
网络协议流量识别综述
网络协议流量识别可以识别流量所属的网络应用或者协议，进而及时发现和处理网络故障和安全漏洞，提高网络服务质量和保障网络空间安全。近几年，网络协议流量识别受到广泛关注并取得了许多重要成果。故本文首先总结4 种主要网络协议流量...
孟博何旭东王德军刘加兵
关键词：网络管理网络安全
全选 清除 导出
共1页<1>
聚类工具0