国家自然科学基金(60773121)
- 作品数：11 被引量：12H指数：2
- 相关作者：魏仕民郭宇燕肖鸿王宏崇金凤更多>>
- 相关机构：淮北师范大学淮北煤炭师范学院西安电子科技大学更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金安徽省高校省级自然科学研究项目更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- ICCIS上的两个前向安全门限签名体制的安全性分析
- 前向安全门限签名能提供重要的安全保证:即使已经完全暴露了当前密钥,也不能伪造在入侵之前产生的签名。我们针对最近在ICCIS国际会议上由Jia Yu等,以及Guosheng Cheng等分别提出的新的前向安全门限签名方案进...
- 王宏邱钢魏仕民卓泽朋
- 关键词：密码学数据安全门限签名
- 认证测试与理想分析方法比较
- 2010年
- 针对刘霞提出的改进的Server-specific MAKEP协议,利用串空间模型中的理想理论和认证测试理论对其认证性进行分析,包括响应者认证和发起者认证.结果表明,改进的SSM协议能够达到协议的认证性目标.最后对两种分析理论进行分析比较.
- 郭宇燕魏仕民曹浩
- 关键词：串空间模型认证性
- 四面体的两两面叠合被引量：1
- 2013年
- 三维流形的分类问题一直是拓扑学的热点研究问题,目前为止已有许多较为有效的方法,如Heegaard分解,应用Dehn手术等,但离问题的最终解决还有相当距离.本文对三维空间的四面体经过两两面叠合后形成的所有可能的三维复合形进行了深入研究,包括判断其是否是流形及其在流形状态下基本群的计算.
- 王建军
- 关键词：三维流形基本群
- 基于串空间模型的改进性N-S协议的分析
- 2008年
- 针对缪祥华提出的改进的Needham-Schroeder协议,利用一种新兴的形式化分析工具——串空间模型对其进行分析。对协议的认证性,包括响应者认证、发起者认证和协议的机密性进行分析,并运用"理想"和"诚实"2个概念简化分析协议的步骤,证明了K,Nb,Nb0是保密的。结果表明改进的N-S协议能够达到协议的安全目标,并与缪祥华分析的结果一致。
- 郭宇燕魏仕民
- 关键词：串空间认证性机密性
- 一类三次Bent函数的二阶非线性度被引量：2
- 2011年
- 研究了形如yTr(x5)+Tr(x3)的三次Bent函数,通过研究其导数的非线性度的下界,得到了该函数的二阶非线性度的下界,将所得结果与Carlet的结果进行了比较,结果表明,该函数的二阶非线性度大于Carlet给出的下界。
- 徐媛崇金凤卓泽朋
- 关键词：布尔函数BENT函数导数
- 随机预言模型下可证安全的门限FFS签名方案被引量：1
- 2011年
- 给出了一种随机预言模型下可证适应性安全的门限FFS签名方案的严格安全性证明.在随机预言模型下,若基础的FFS签名方案在选择消息适应性攻击下是不可伪造的,且假设计算模大安全素数的离散对数问题是困难的,证明了该方案是不可伪造的、鲁棒的和适应性安全的.
- 肖鸿王宏马润年崔捷
- 关键词：门限密码学可验证秘密共享可证明安全
- 一种有效的自适应安全门限Feige-Fiat-Shamir签名方案
- 提出了一种基于强RSA计算假设的新的自适应安全门限Feige-Fiat-Shamir签名方案。该方案相比已有的其他门限Feige-Fiat-Shamir签名方案,具有最优弹性,且有效性较高,其计算量和通信量都较少。在随机...
- 王宏肖鸿魏仕民卓泽朋
- 关键词：门限密码学数字签名可验证秘密共享可证明安全自适应安全
- 文献传递
- 用串空间分析路由协议SGSR
- 2007年
- 用形式化方法分析安全协议是协议分析的有效手段,近年来,出现了众多的研究方法.串空间模型是一种新兴的形式化分析工具,其中,"理想"和"诚实"两个概念简化了分析协议的步骤.首次利用串空间理论对由徐兰芳提出的一种安全的Ad Hoc网络路由协议SGSR进行分析,并分析了它的认证性和机密性,结果证明此协议能够达到协议的目标。
- 郭宇燕魏仕民
- 关键词：串空间认证性机密性
- 一个基于GDH群的前向安全分布式数字签名方案
- 2009年
- 将一个基于GDH群的数字签名方案扩展到分布式数字签名中,并将前向安全的概念扩展到该签名方案中,提出一个有效的前向安全分布式签名方案.使用部分签名密钥安全前向更新,使集体签名安全前向更新,使得任何成员都不可能单独控制签名密钥的更新.增强密钥的安全性,使签名方案具有前向安全性.
- 孙梅顾维娜
- 关键词：GDH群
- 网络管理中一种互认证密码协议的安全性分析被引量：4
- 2012年
- 基于串空间模型的极小元和理想理论,对网络管理中的一种互认证密码协议进行保密性和认证性分析,通过分析发现该协议存在冗余部分,并提出相应的改进方案;同时在协议的认证性设计方面,指出基于非对称密码系统和对称密码系统的认证协议的区别。
- 余磊魏仕民
- 关键词：串空间认证性保密性
