您的位置： 专家智库 > >

秦好磊

作品数：3 被引量：0H指数：0
供职机构：西安电子科技大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇学位论文

领域

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

主题

  • 2篇信号
  • 2篇信号检测
  • 2篇信号检测技术
  • 2篇随机性
  • 2篇片面
  • 2篇片面性
  • 2篇伪随机
  • 2篇伪随机序列
  • 2篇密码
  • 2篇密码系统
  • 2篇密钥流
  • 1篇定理
  • 1篇定理证明
  • 1篇形式化
  • 1篇形式化分析
  • 1篇树自动机
  • 1篇自动化
  • 1篇自动化检测
  • 1篇自动机
  • 1篇项重写

机构

  • 3篇西安电子科技...

作者

  • 3篇秦好磊
  • 2篇陈秋丽
  • 2篇马文平

年份

  • 1篇2012
  • 1篇2011
  • 1篇2010
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于抽样的伪随机序列的随机性检测方法
本发明公开了一种伪随机序列的随机性检测方法，它属于信号检测技术领域，主要解决现有的随机性检测方法中存在的局限性和片面性的问题。其检测过程是：对待测序列进行抽样或抽样模2加的预处理，将预处理后得到的序列进行变换点检测；选取...
马文平秦好磊陈秋丽
文献传递
基于树自动推理的安全协议自动化检测
本文介绍了树自动机结合项重写系统分析安全协议的方法。首先,协议步骤转化为项重写系统,通信请求被建模成树自动机;树自动机按照项重写系统进行推理迭代,自动超逼近网络中协议消息交换集合。最后,当树自动机终止时,通过判断终止逼近...
秦好磊
关键词：安全协议形式化分析自动化检测树自动机项重写定理证明
文献传递
基于抽样的伪随机序列的随机性检测方法
本发明公开了一种伪随机序列的随机性检测方法，它属于信号检测技术领域，主要解决现有的随机性检测方法中存在的局限性和片面性的问题。其检测过程是：对待测序列进行抽样或抽样模2加的预处理，将预处理后得到的序列进行变换点检测；选取...
马文平秦好磊陈秋丽
文献传递
全选 清除 导出
共1页<1>
聚类工具0