魏仕民

作品数：94被引量：205H指数：7
导出分析报告
供职机构：淮北师范大学计算机科学与技术学院更多>>
发文主题：线性复杂度布尔函数密码学数字签名流密码更多>>
发文领域：电子电信自动化与计算机技术理学经济管理更多>>
发文期刊：《佳木斯大学学报（自然科学版）》《武汉大学学报（理学版）》《重庆工商大学学报（自然科学版）》《常州大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金安徽省自然科学基金安徽省高校省级自然科学研究项目安徽省自然科学研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于格密码的高效无证书签名方案被引量：1
《江苏师范大学学报（自然科学版）》2019年第2期63-66,共4页王艳 江明明 郭宇燕 余磊 魏仕民 
国家自然科学基金资助项目(60573026);安徽省自然科学基金资助项目(1708085QF154);安徽省高校自然科学基金资助项目(KJ2016A627,KJ2019A0605,KJ2019B18)
针对标准模型下基于格的无证书签名算法效率较低的问题,本文基于小整数解困难问题,利用混合与消失陷门技术,提出了高效的无证书签名方案.该方案将身份映射到一个矩阵,将消息映射到一个向量,从而提高了签名算法的效率.最后,证明了该方案...
关键词：格密码 无证书密码 数字签名 小整数解问题 
有效的标准模型下格上基于身份的代理重加密被引量：7
《电子与信息学报》2019年第1期61-66,共6页江明明 郭宇燕 余磊 宋万干 魏仕民 
国家自然科学基金(60573026);安徽省自然科学基金(1708085QF154);安徽省高校自然科学基金(KJ2016A627;KJ2018A0398;KJ2017ZD32);安徽省高校人才计划项目(gxyq2017154)~~
代理重加密在云计算环境下的密文共享等方面起着重要的作用。目前格上基于身份的代理重加密方案都是随机预言机模型的。针对这个问题,该文构造了一个高效的标准模型下格上基于身份的代理重加密方案。在方案中,用户身份仅仅被映射为一个...
关键词：代理重加密 格密码 高斯抽样 基于身份的密码学 
基于主体关联度的安全协议形式化分析方法被引量：3
《信息网络安全》2018年第6期45-51,共7页余磊 魏仕民 江明明 
国家自然科学基金[61300048;61572224];安徽省自然科学基金[1608085MF143;1708085QF154];安徽省高校优秀青年人才计划项目[gxyq2017154];安徽省教育厅自然科学项目[KJ2014A231;KJ2016A627]
建立在协议主体参数新近一致性上的主体关联度由于能够正确反映协议安全属性与协议结构、消息组件和消息参数的逻辑关系,因此不仅能够为安全协议的正确性分析提供准确严谨的形式化判断依据,还能进一步降低协议分析的复杂度。为此,文章...
关键词：安全协议 认证测试 关联度 形式化分析 
bent-negabent函数的构造被引量：1
《山东大学学报（理学版）》2015年第10期47-51,58,共6页卓泽朋 崇金凤 魏仕民 
安徽高校省级自然科学基金资助项目(KJ2014A220;KJ2014A231;KJ2013B083)
给出了一种新的negabent函数的构造,基于此构造和已有的bent函数的构造,得到了一种bent-negabent函数的构造;分析了一类由4个函数级联所得函数的性质,给出了这类函数为negabent函数的必要条件;给出了bent-negabent函数的一种直和构造。
关键词：布尔函数 BENT函数 negabent函数 
布尔函数的Nega-Hadamard变换研究被引量：1
《计算机应用研究》2015年第9期2806-2807,2826,共3页卓泽朋 崇金凤 魏仕民 余磊 
安徽高校省级自然科学研究项目(KJ2014A220;KJ2014A231);安徽省自然科学基金资助项目(1208085QF119)
利用Nega-Hadamard变换的性质,研究了bent函数与其对偶函数Nega-Hadamard变换的关系,得出bent函数为negabent函数,其对偶函数也是negabent函数的结果;同时,得到了布尔函数在某个仿射子空间上NegaHadamard变换的性质;研究了布尔函数的导...
关键词：布尔函数 Nega-Hadamard变换 BENT函数 negabent函数 
认证测试中协议主体串参数一致性研究被引量：1
《计算机工程与应用》2015年第13期86-91,152,共7页余磊 魏仕民 卓泽朋 
安徽高校省级自然科学研究重点项目(No.KJ2014A231;No.KJ2014A220)
针对认证测试基础理论在协议主体串参数一致性分析方面,因形式化判定规则不足所产生的分析复杂度较高和自动化程度较低问题,通过对消息组件结构的形式化,以及认证测试结构的共性分析,基于认证测试基础理论对认证测试结构进行形式化建模...
关键词：安全协议 形式化分析 串空间模型 认证测试 串参数 
安全的无证书聚合签名方案被引量：21
《软件学报》2015年第5期1173-1180,共8页陈虎 魏仕民 朱昌杰 杨忆 
国家自然科学基金(61472309;61173151;60673070;60773121);安徽省自然科学基金(1208085MF108);安徽省高校自然科学基金(KJ2012B157)
无证书密码系统既解决了密钥托管问题,又不涉及公钥证书;而聚合签名可以有效地减少计算代价和通信开销.结合二者的优点构造无证书聚合签名是很有意义的.尽管无证书聚合签名方案的构造已经取得了重要进展,但是现有的方案仍然不能同时达...
关键词：无证书密码系统 聚合签名 计算DIFFIE-HELLMAN问题 双线性映射 随机预言模型 
q-进制密码函数的相关系数研究被引量：1
《计算机工程》2015年第5期130-132,共3页卓泽朋 崇金凤 余磊 魏仕民 
安徽高校省级自然科学研究基金资助项目(KJ2014A220;KJ2014A231);安徽省自然科学基金资助项目(1208085QF119)
密码函数的相关系数在密码函数研究中具有重要作用,为此,利用Fourier系数和相关系数的定义及已有结论,给出2个q-进制密码函数互相关系数与其各自Fourier系数间的关系,并基于该关系式,分别得到1个密码函数的Fourier系数与其自相关系数间...
关键词：q-进制密码函数 互相关系数 自相关系数 FOURIER系数 正则Bent函数 对偶函数 
三个前向安全代理签名方案的安全性分析被引量：2
《计算机工程与应用》2015年第7期98-100,130,共4页曹欣 魏仕民 卓泽朋 
国家自然科学基金(No.60573026);安徽省自然科学基金(No.1208085QF119)
针对最近一些学者提出的前向安全的代理签名方案以及改进的前向安全的代理签名方案,给出了三种代理签名方案的安全性分析,发现它们是不安全的,均不具有真正的前向安全性。当代理签名人的私钥泄漏以后,原始签名人不去计算以前时段的密钥...
关键词：代理签名 前向安全 伪造攻击 
两类布尔函数的全局雪崩特征研究
《计算机应用研究》2014年第7期2127-2129,共3页卓泽朋 崇金凤 魏仕民 
安徽省自然科学基金资助项目(1208085QF119);安徽高校省级自然科学研究项目(KJ2014A220;KJ2012z353)
利用相关函数的定义,研究了级联构造、直和构造两种构造方法所得布尔函数的全局雪崩特征,给出了这两类布尔函数与相应的子函数在平方和指标方面的关系。利用所得结果,可以给出一些已有结果的简单证明。
关键词：布尔函数 全局雪崩特征 BENT函数 相关函数 平方和指标 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部