缪祥华
- 作品数：60 被引量：93H指数：5
- 供职机构：昆明理工大学信息工程与自动化学院更多>>
- 发文基金：云南省教育厅科学研究基金国家重点实验室开放基金湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- BAN逻辑与串空间的比较
- 2008年
- 研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.
- 缪祥华张云生仇细平杨晓婕
- 关键词：BAN逻辑串空间安全协议分析
- 基于密集连接卷积神经网络的入侵检测技术研究被引量：20
- 2020年
- 卷积神经网络在入侵检测技术领域中已得到广泛应用,一般地认为层次越深的网络结构其在特征提取、检测准确率等方面就越精确。但也伴随着梯度弥散、泛化能力不足且参数量大准确率不高等问题。针对上述问题,该文提出将密集连接卷积神经网络(DCCNet)应用到入侵检测技术中,并通过使用混合损失函数达到提升检测准确率的目的。用KDD 99数据集进行实验,将实验结果与常用的LeNet神经网络、VggNet神经网络结构相比。分析显示在检测的准确率上有一定的提高,而且缓解了在训练过程中梯度弥散问题。
- 缪祥华单小撤
- 关键词：入侵检测卷积神经网络
- Yahalom协议的改进及安全性分析
- 串空间是一种基于定理证明的，新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足，对其进行改进，提出了一种新的Yahalom协议，本文基于串空间模型，运用“理想”和“诚实”作为工具，对改进的Yahalom协议的...
- YANG Xiaojie杨晓婕MIAO Xianghua缪祥华QIU Xiping仇细平
- 关键词：信息安全串空间模型
- 安全协议的等价性问题
- 2007年
- 研究了安全协议的等价性问题,提出了安全协议等价的概念。把每个安全协议的消息和目标分别形式化为表达式集,通过一个算法分别求各表达式集合的最一般代换。如果最一般代换都存在,说明安全协议是等价的,反之则说明安全协议是不等价的。利用安全协议集合上的等价关系,可以划分出安全协议等价类,从而减少了需研究的安全协议的数量。
- 缪祥华何大可
- 关键词：安全协议等价
- 一种分析和设计安全协议的新逻辑
- 安全协议是一种面向应用层的协议，它为通信的实体打上包装，穿上盔甲，防止攻击者对敏感数据进行窃取，保证通信内容的完整性。不同的应用需求对安全协议的设计也提出了新的要求，如组通信、匿名通信、安全多方计算、不可抵赖的签名、盲签...
- 缪祥华
- 关键词：逻辑语义信息安全安全协议安全协议分析安全协议设计应用层协议
- 对一个无证书代理盲签名方案的安全性分析与改进被引量：1
- 2020年
- 对Song等人提出的一个基于无证书密码体制的代理盲签名方案进行安全性分析,发现了该方案存在公钥替换攻击和恶意但被动的KGC攻击,并给出了伪造代理授权算法。为了解决这两个安全性漏洞,本文在原方案的基础上做出了改进,分析表明改进后的方案弥补了原方案不具备代理盲签名安全性要求的不足,并且改进后的方案在计算效率上与原方案保持一致。
- 何俊吕缪祥华
- 关键词：无证书密码体制代理盲签名公钥替换攻击
- 基于椭圆曲线含有效期的离线电子现金系统被引量：3
- 2006年
- 为防止电子现金重复花费和数据库记录无限制的膨胀问题,改进了现有的利用椭圆曲线密码系统构造的离线电子现金系统.改进的系统利用了椭圆曲线良好的密码特性,并采用零知识证明方法.在取款协议中采用基于椭圆曲线的部分盲签名方案,使电子现金包含由银行颁布的有效期,超过有效期的电子现金历史记录将被清除,这样减少了通信量和计算量,提高了执行效率.在支付协议中采用并行的椭圆曲线零知识证明,提高了系统的安全性.
- 鲁荣波苏杭丽何大可缪祥华
- 关键词：部分盲签名零知识证明电子现金密码系统
- 网络攻击检测技术综述被引量：1
- 2022年
- 网络攻击检测作为一种处理网络威胁的有效方法已被广泛接受。网络攻击检测技术主要有两类,即基于已知数据集的网络攻击检测技术和基于未知攻击的检测技术。其中基于已知数据集的网络攻击检测技术又分为基于统计方法的网络攻击检测和基于机器学习的网络攻击检测。介绍了网络攻击检测的重要性,综述了网络攻击检测技术中数据预处理的过程以及多种网络攻击检测技术,提出了网络攻击检测技术中几个未来研究的方向。
- 缪祥华张如雪张宣琦蒲鹳雄王攀李响张家临
- 关键词：网络攻击检测
- 一种高效无证书可追踪环签名方案被引量：4
- 2014年
- 环签名是一种匿名泄露秘密的有效方法,但事后不能追踪不诚实的真实签名者问题也限制了其在某些场合的使用。无证书密码体制不仅简化了传统公钥体制负担过重的密钥管理问题,又有效解决了基于身份密码体制的密钥托管问题。鉴于无证书密码体制的优点,提出一种新的高效的无证书可追踪环签名方案,利用在环签名中附加一些相关信息,在必要时可通过可信的第三方和环中所有成员协同追踪签名者的真实身份。方案除了满足环签名的匿名性和不可伪造性外,还具有追踪性,与现有的方案相比新方案的效率显著提高。
- 杨华杰缪祥华朱海韬李一然
- 关键词：环签名无证书
- 基于深度循环神经网络的入侵检测方法被引量：4
- 2021年
- 在入侵检测中提出一种具有多层堆叠的深度门控循环单元检测模型,并且通过简化深度门控循环单元,在减少计算参数的同时保持学习能力。针对NSL-KDD数据集中少数攻击类型数量较少的问题,提出使用Borderline-SMOTE过采样算法来提高少数攻击类型的检测准确率,进而提升入侵检测的能力。通过数据集平衡前后的多项评价标准对比可知,所提方法能够有效提升检测效率,与其他算法相比表现出较高的检测能力。
- 王佳坤缪祥华邵建龙
- 关键词：入侵检测技术
