安徽省自然科学基金(070412052)
- 作品数：10 被引量：6H指数：1
- 相关作者：魏仕民郭宇燕孙梅曹浩余磊更多>>
- 相关机构：淮北煤炭师范学院淮北师范大学安徽科技学院更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金教育部科学技术研究重点项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 认证测试与理想分析方法比较
- 2010年
- 针对刘霞提出的改进的Server-specific MAKEP协议,利用串空间模型中的理想理论和认证测试理论对其认证性进行分析,包括响应者认证和发起者认证.结果表明,改进的SSM协议能够达到协议的认证性目标.最后对两种分析理论进行分析比较.
- 郭宇燕魏仕民曹浩
- 关键词：串空间模型认证性
- 基于串空间模型的改进性N-S协议的分析
- 2008年
- 针对缪祥华提出的改进的Needham-Schroeder协议,利用一种新兴的形式化分析工具——串空间模型对其进行分析。对协议的认证性,包括响应者认证、发起者认证和协议的机密性进行分析,并运用"理想"和"诚实"2个概念简化分析协议的步骤,证明了K,Nb,Nb0是保密的。结果表明改进的N-S协议能够达到协议的安全目标,并与缪祥华分析的结果一致。
- 郭宇燕魏仕民
- 关键词：串空间认证性机密性
- 非线性组合序列的线性复杂度
- 2009年
- 流密码系统中常用的一种滚动密钥生成器由n个线性移位寄存器组成,这n个线性移位寄存器的输出序列用一个非线性函数组合后产生密钥流。因而控制非线性组合序列线性复杂度的问题是非常重要的。证明任意多最大长度GF(q)序列的乘积有最大线性复杂度如果它们的极小多项式有两两互素的次数。这个结果被扩展到乘积序列的任意线性组合。早期关于布尔形组合序列的结果被推广。
- 魏仕民肖国镇
- 关键词：密码学流密码线性复杂度
- 一个基于GDH群的门限签名方案
- 2010年
- 将L.Cha和L.Cheon基于身份的签名方案加以改进,应用在门限签名方案中,提出了一个基于GDH群的安全有效的门限签名方案。方案具有短签名的计算量小,通信量少等特性,并能有效的防止伪造和欺骗攻击,是一个安全有效的基于GDH群的分布式数字签名方案。
- 孙梅魏仕民
- 关键词：门限签名GDH群
- 求布尔函数的零化子的算法
- 2007年
- 文章分析了Boolean函数f存在降次函数的充要条件,给出了求解零化多项式的若干算法。
- 曹浩魏仕民
- 关键词：代数攻击
- 一个基于GDH群的前向安全分布式数字签名方案
- 2009年
- 将一个基于GDH群的数字签名方案扩展到分布式数字签名中,并将前向安全的概念扩展到该签名方案中,提出一个有效的前向安全分布式签名方案.使用部分签名密钥安全前向更新,使集体签名安全前向更新,使得任何成员都不可能单独控制签名密钥的更新.增强密钥的安全性,使签名方案具有前向安全性.
- 孙梅顾维娜
- 关键词：GDH群
- 用串空间分析路由协议SGSR
- 2007年
- 用形式化方法分析安全协议是协议分析的有效手段,近年来,出现了众多的研究方法.串空间模型是一种新兴的形式化分析工具,其中,"理想"和"诚实"两个概念简化了分析协议的步骤.首次利用串空间理论对由徐兰芳提出的一种安全的Ad Hoc网络路由协议SGSR进行分析,并分析了它的认证性和机密性,结果证明此协议能够达到协议的目标。
- 郭宇燕魏仕民
- 关键词：串空间认证性机密性
- 网络管理中一种互认证密码协议的安全性分析被引量：4
- 2012年
- 基于串空间模型的极小元和理想理论,对网络管理中的一种互认证密码协议进行保密性和认证性分析,通过分析发现该协议存在冗余部分,并提出相应的改进方案;同时在协议的认证性设计方面,指出基于非对称密码系统和对称密码系统的认证协议的区别。
- 余磊魏仕民
- 关键词：串空间认证性保密性
- 新的无证书代理签名方案被引量：1
- 2011年
- 利用双线性映射设计一个新的无证书代理签名方案。在最强的安全模型下,该方案给出了正式的安全证明,它的安全性基于计算Diffie-Hellman问题的困难性。并且该方案满足诸如可验证性、强不可否认性、强可识别性、防止签名滥用等安全性质。鉴于该方案安全、高效和无证书管理的优点,它可广泛应用于电子商务、电子拍卖等方面。
- 宋万干陈虎张福泰
- 关键词：无证书密码系统代理签名双线性映射计算DIFFIE-HELLMAN问题
- 一种融合语义的图像检索技术研究被引量：1
- 2008年
- 针对基于内容的图像检索系统检索效率不高的情况,从目标图像外轮廓特征的提取、图像外轮廓特征的描述方式、图像轮廓的语义描述方式和相似度测定4个方面对基于内容的图像检索的研究状况进行了分析和研究。综合图像的外轮廓特征及轮廓的语义描述来实现对图像数据库的检索。实验结果表明,该方法提高了图像检索的精度和效度。
- 彭太乐蒋建国魏仕民沈克
- 关键词：图像检索语义
