魏仕民
- 作品数：99 被引量：262H指数：7
- 供职机构：淮北师范大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金安徽省高校省级自然科学研究项目更多>>
- 相关领域：电子电信自动化与计算机技术理学经济管理更多>>
- 基于主体关联度的安全协议形式化分析方法被引量：3
- 2018年
- 建立在协议主体参数新近一致性上的主体关联度由于能够正确反映协议安全属性与协议结构、消息组件和消息参数的逻辑关系,因此不仅能够为安全协议的正确性分析提供准确严谨的形式化判断依据,还能进一步降低协议分析的复杂度。为此,文章提出一种基于主体关联度的安全协议形式化分析方法。该方法首先在认证测试模型上,通过对消息组件的参数分类,给出协议主体关联度的量化定义;再根据认证测试规则和测试组件上的参数一致性判定条件,建立协议关联性、认证性、协商数据一致性与协议主体关联度的逻辑关联;接着在协议主体关联度上实现对安全协议设计目标的正确性分析。文章运用该方法对Neuman-Stubblebine协议进行分析,准确发现了协议中潜在的隐患及其根源,并证实了协议主体关联度在安全协议正确性分析中的应用可行性和有效性。
- 余磊魏仕民江明明
- 关键词：安全协议形式化分析
- Nega-Hadamard变换和negabent函数被引量：4
- 2013年
- 研究了Nega-Hadamard变换的一些性质,如Nega-Hadamard变换和nega互相关的关系等。同时,给出了一类由级联方法得到的特殊形式的布尔函数,分析了它的Nega-Hadamard变换。基于该函数的Nega-Hadamard变换的研究结果,得到了一类由两个n元negabent函数构造的n+2元negabent函数。
- 卓泽朋崇金凤魏仕民
- 关键词：布尔函数BENT函数
- 安全的无证书聚合签名方案被引量：21
- 2015年
- 无证书密码系统既解决了密钥托管问题,又不涉及公钥证书;而聚合签名可以有效地减少计算代价和通信开销.结合二者的优点构造无证书聚合签名是很有意义的.尽管无证书聚合签名方案的构造已经取得了重要进展,但是现有的方案仍然不能同时达到既可抵抗两类超级攻击者又具有运算的高效性.使用双线性映射并引入状态信息来设计具有强安全性的无证书聚合签名方案.在随机预言模型中,该状态信息被用于嵌入给定困难问题的部分信息.结果显示,该方案的安全性基于计算Diffie-Hellman问题的困难性并可以抵抗超级攻击者的攻击.同时,由于充分利用公开信息和双线性映射的性质,它在个体签名和聚合签名验证过程只需4个双线性映射.另外,在该方案中,用户知道状态信息后可独立完成个体签名而无需交换信息,所以它允许用户动态地加入聚合签名.故它可应用于多对一的通信系统中.
- 陈虎魏仕民朱昌杰杨忆
- 关键词：无证书密码系统聚合签名计算DIFFIE-HELLMAN问题双线性映射随机预言模型
- 基于互不信任企业联盟的统一身份认证模型被引量：2
- 2007年
- 现有的统一身份认证模型采用单个密码对用户身份进行验证,这种方式无法对企业的商业秘密进行有效地保护,并且认证效率低,因而不被大多数企业所接受。为了解决这个问题,在对现有模型存在的问题进行分析的基础上提出一种新的认证模型。该模型把用户的信息分成两部分——共享信息和私有信息,并采用一对密码——本地密码和共享密码分别对这两部分信息进行保护。用户可以利用共享密码在不同网站中漫游,实现统一身份认证;而网站通过本地密码来保护属于商业秘密的那部分信息。该模型能够保护商业秘密,又能够在一定程度上提高认证效率。
- 武伟魏晓魏仕民
- 关键词：身份认证单点登录商业秘密
- 拟Clifford半群
- 1994年
- 本文研究了拟Clifford半群的结构和特征。
- 魏仕民王爱平邵金声
- 关键词：拟正则半群半群
- 全文增补中
- 一个基于GDH群的门限签名方案
- 2010年
- 将L.Cha和L.Cheon基于身份的签名方案加以改进,应用在门限签名方案中,提出了一个基于GDH群的安全有效的门限签名方案。方案具有短签名的计算量小,通信量少等特性,并能有效的防止伪造和欺骗攻击,是一个安全有效的基于GDH群的分布式数字签名方案。
- 孙梅魏仕民
- 关键词：门限签名GDH群
- 一类商代数的结构
- 1995年
- 设（Ｘ，＊，０）为ＢＣＩ─代数。（其中ｋ为任意正整数）。本文讨论一类商代数Ｘ／Ｎｋ（Ｘ）的结构。主要得到以下结果：（ｉ）Ｘ／Ｎｋ（Ｘ）≌Ｘ（Ｋ）；ｉｉＸ（Ｋ）＝｛０＊ｘｋ｜Ｘ∈Ｇ（Ｘ）｝＝｛ｘ＊ｘ（ｋ－１）｜ｘ∈Ｇ（Ｘ）｝；（ｉｉｉ）设ｋ，ｒ为正整数且ｋ｜ｒ，则Ｘ（ｒ）Ｘ（ｋ）。
- 王永泉魏仕民
- 关键词：商代数正则理想子代数泛代数模糊系统蕴涵代数
- 前向安全门限代理签名方案的分析与改进被引量：1
- 2010年
- 通过对一种高效前向安全短门限代理签名方案分析,发现该方案不能抵抗伪造攻击,任何人包括代理签名者都可以伪造原始签名者委托代理签名团体进行代理签名,同时该方案也不能抵御内部合谋攻击,任意门限个代理签名者可以合谋获取其他代理签名者的私钥,进而可以伪造他们的签名。对这种门限代理签名方案进行了改进,改进方案克服了原方案的缺陷的同时还具有后向安全性。
- 孙梅魏仕民赵兵
- 关键词：门限代理签名
- 确定周期为2p^n的q元序列k-错线性复杂度曲线的快速算法
- 2007年
- 文章提出周期为2pn的q元序列k-错复杂度曲线的一个快速算法,这里q为奇素数且是模p2的一个本原根,该算法推广了计算周期2pn的q元序列线性复杂度和k-错线性复杂度的快速算法。
- 马陵勇魏仕民
- 关于弱关联BCI—代数
- 1994年
- 本文证明了弱关联BCI—代数必是弱可换的,建立了弱关联BCI—代数的一个结构定理:一个BCI—代数X是弱关联的当且仅当存在一个关联BCK—代数Y和一个p—半单BCI—代数Z使得X≌Y×Z。并讨论了弱关联、弱可换和弱正关联BCI—代数的关系。
- 魏仕民孟杰
- 关键词：BCI-代数
- 全文增补中
