国家高技术研究发展计划(2009AA01Z403)
- 作品数：8 被引量：34H指数：3
- 相关作者：范明钰李伟王光卫唐明伟张晛譞更多>>
- 相关机构：电子科技大学西华大学更多>>
- 发文基金：国家高技术研究发展计划四川省教育厅科学研究项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学电子电信更多>>
- 基于模糊度量的软件漏洞检测技术研究被引量：3
- 2010年
- 本文根据有限状态自动机和模型检测的思想,结合模糊数学对行为分析的优势,提出基于模糊度量的软件漏洞检测技术,并利用漏洞属性分解和模糊状态转移函数使此技术具有自学习机制和更高效广泛的检测能力。实验测试了利用模糊度量的软件漏洞检测技术可以提高漏洞发现率和给出漏洞的危急程度。
- 张晛譞范明钰
- 关键词：漏洞检测自动机
- 一种基于q-SDH假设的选择关联环签名方案
- 2012年
- 设计了一种基于q-SDH假设的环签名方案并利用零知识证明技术对原始方案进行了扩展,使其满足可关联环签名的基本要求;对该方案的正确性、不可伪造性和匿名性分别进行了证明。跟其他方案相比,该方案所生成的签名长度较短,只需要在验证过程中执行少量线性对运算,而不需要执行双线性对运算,因此具有较高的效率。整个方案在随机预言机模型下是可证安全的。
- 李伟唐明伟范明钰
- 关键词：环签名随机预言机模型
- 基于Linux的未知木马检测系统研究及实现被引量：1
- 2010年
- 针对传统木马检测方法对未知木马识别能力低下的缺陷,结合行为监控和人工免疫学,建立并实现了一个基于Linux的未知木马检测系统。该系统具备自主检测和自学习功能,结合内容检测,利用网络监控检测局域网内部计算机的木马存在情况。实验测试表明,该系统降低了检测的漏报率,具有良好的检测效果。
- 张晛譞范明钰
- 关键词：网络监控
- 自动探测和保护确保内核完整性被引量：1
- 2014年
- 内核rookits攻击对内核完整性构成致命威胁,因此对内核rootkits探测和防护确保内核完整性是当前研究的热点,然而现有的研究总存在不足:要么侧重内核rootkits防护,要么侧重内核rootkits探测,并未将两者相结合确保内核完整性。鉴于此,本文将探测和保护相结合形成一个自动联动机制,从而构成了基于探测保护的一体化系统ADPos来确保内核完整性。实验表明ADPos系统既能自动全面有效地探测与防护,而且又不牺牲系统性能为代价,并且兼容多种OS系统、同时防零日攻击。
- 何进范明钰王光卫
- 关键词：内核完整性ROOTKITS
- 标准模型下基于线性对的选择关联可转换环签名方案被引量：4
- 2013年
- 利用双线性对的性质提出了一种标准模型下可关联可转换的环签名方案。验证者除了能够验证环签名的合法性之外,还能够验证2个环签名的关联性;同时签名者能够将环签名转换成它的普通签名。该方案在标准模型下是可证安全的。通过与相关文献的比较发现,本方案在存储量和计算代价方面均有所减少。
- 李伟李伟唐明伟
- 关键词：环签名
- 一种基于模糊逻辑的网络认证扩展模型
- 2010年
- 为了解决主体之间的信任关系一般很难用精确方式来描述这一问题,以模糊逻辑为基础对传统基于数字证书的主体认证模型进行了扩展,并对认证路径的构造和信任值计算规则进行了研究,该算法可以信任值为基础给出了信任级别的计算方法,为网络认证的研究提供了一条新思路。
- 李伟范明钰
- 关键词：模糊逻辑
- 基于小波的信号去噪分析被引量：19
- 2010年
- 由实际应用可得,作为一种新的多辨认分析方法的小波变换,由于具有多分辨特征和时频局部性,可同时进行频域和时域分析,所以特别适用于进行非平稳信号的处理。首先介绍了小波分析的信号去噪原理,其次接着阐述了4种去噪算法:小波分解与重构去噪方法、模极大值检测法、阈值法及平移不变量小波去噪法。对于叠加了高斯白噪声的仿真信号,分别将上述的4种方法用于去噪处理,并通过仿真过程不同及图形差异对几种方法进行比较。
- 李冠吴尽昭范明钰
- 关键词：小波变换非平稳信号信号去噪高斯白噪声
- 基于纠缠交换的仲裁量子签名方案被引量：6
- 2011年
- 提出了一种基于量子纠缠交换的仲裁签名协议.以Bell态为基础,首先将待签消息利用幺正算符序列进行编码,通过算符序列对Bell态进行调制,再通过对量子信息加密产生签名.验证者将签名信息与仲裁者通过纠缠交换所产生的关联态相结合,通过Bell测量来对签名的真实性进行验证.算法利用量子加密保障了真实签名的不可伪造性,同时通过仲裁的参与结合量子密钥有效解决了双方的抵赖问题,方案还能够有效实现对通信双方隐私信息的保护.
- 李伟范明钰王光卫
- 关键词：量子密码纠缠交换
