魏仕民
- 作品数：99 被引量：259H指数：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群
- 认证测试与理想分析方法比较
- 2010年
- 针对刘霞提出的改进的Server-specific MAKEP协议,利用串空间模型中的理想理论和认证测试理论对其认证性进行分析,包括响应者认证和发起者认证.结果表明,改进的SSM协议能够达到协议的认证性目标.最后对两种分析理论进行分析比较.
- 郭宇燕魏仕民曹浩
- 关键词：串空间模型认证性
- 一个认证协议的串空间模型与分析被引量：2
- 2010年
- 认证性和保密性是认证协议设计的两个关键目标,针对在Needham-Schroeder和Otway-Rees两个协议基础上提出的一种新认证协议,首次利用串空间模型理论对此协议进行形式化分析,分析结果表明该协议满足设计所要求的认证性和保密性目标.
- 余磊魏仕民王猛顾维娜
- 关键词：串空间模型认证性保密性
- 三个前向安全代理签名方案的安全性分析被引量：2
- 2015年
- 针对最近一些学者提出的前向安全的代理签名方案以及改进的前向安全的代理签名方案,给出了三种代理签名方案的安全性分析,发现它们是不安全的,均不具有真正的前向安全性。当代理签名人的私钥泄漏以后,原始签名人不去计算以前时段的密钥,就可以伪造代理签名,方案不能抵抗原始签名人的伪造攻击。
- 曹欣魏仕民卓泽朋
- 关键词：代理签名伪造攻击
- 一类商代数的结构
- 1995年
- 设（Ｘ，＊，０）为ＢＣＩ─代数。（其中ｋ为任意正整数）。本文讨论一类商代数Ｘ／Ｎｋ（Ｘ）的结构。主要得到以下结果：（ｉ）Ｘ／Ｎｋ（Ｘ）≌Ｘ（Ｋ）；ｉｉＸ（Ｋ）＝｛０＊ｘｋ｜Ｘ∈Ｇ（Ｘ）｝＝｛ｘ＊ｘ（ｋ－１）｜ｘ∈Ｇ（Ｘ）｝；（ｉｉｉ）设ｋ，ｒ为正整数且ｋ｜ｒ，则Ｘ（ｒ）Ｘ（ｋ）。
- 王永泉魏仕民
- 关键词：商代数正则理想子代数泛代数模糊系统蕴涵代数
