您的位置: 专家智库 > >

国家自然科学基金(60773121)

作品数:11 被引量:12H指数:2
相关作者:魏仕民郭宇燕肖鸿王宏崇金凤更多>>
相关机构:淮北师范大学淮北煤炭师范学院西安电子科技大学更多>>
发文基金:国家自然科学基金安徽省自然科学基金安徽省高校省级自然科学研究项目更多>>
相关领域:自动化与计算机技术电子电信理学更多>>

文献类型

  • 10篇期刊文章
  • 4篇会议论文

领域

  • 10篇电子电信
  • 5篇自动化与计算...
  • 1篇理学

主题

  • 5篇签名
  • 5篇密码
  • 5篇密码学
  • 4篇认证性
  • 4篇门限
  • 4篇串空间
  • 3篇数字签名
  • 3篇签名方案
  • 3篇门限密码
  • 3篇门限密码学
  • 3篇秘密共享
  • 3篇可验证秘密共...
  • 3篇可证明安全
  • 2篇数据安全
  • 2篇自适
  • 2篇自适应
  • 2篇自适应安全
  • 2篇机密
  • 2篇机密性
  • 2篇函数

机构

  • 8篇淮北师范大学
  • 7篇西安电子科技...
  • 5篇淮北煤炭师范...
  • 1篇安徽科技学院
  • 1篇宿州学院
  • 1篇空军工程大学

作者

  • 4篇魏仕民
  • 4篇肖鸿
  • 3篇郭宇燕
  • 2篇卓泽朋
  • 2篇王宏
  • 2篇邱钢
  • 2篇崇金凤
  • 1篇肖国镇
  • 1篇崔捷
  • 1篇余磊
  • 1篇徐媛
  • 1篇曹浩
  • 1篇马润年
  • 1篇孙梅
  • 1篇王建军

传媒

  • 3篇淮北煤炭师范...
  • 2篇计算机应用研...
  • 2篇西安电子科技...
  • 1篇计算机工程
  • 1篇计算机工程与...
  • 1篇吉林师范大学...

年份

  • 1篇2013
  • 1篇2012
  • 6篇2011
  • 3篇2010
  • 1篇2009
  • 1篇2008
  • 1篇2007
11 条 记 录,以下是 1-10
排序方式:
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签名方案在选择消息适应性攻击下是不可伪造的,且假设计算模大安全素数的离散对数问题是困难的,证明了该方案是不可伪造的、鲁棒的和适应性安全的.
肖鸿王宏马润年崔捷
关键词:门限密码学可验证秘密共享可证明安全
A Novel User Identification Scheme Based on ID-Based Cryptosystem
User identification schemes based on MaurerYacobi scheme, an ID-based cryptosystem, is suitable for applicatio...
Hong WangShimin Wei
文献传递
一种有效的自适应安全门限Feige-Fiat-Shamir签名方案
提出了一种基于强RSA计算假设的新的自适应安全门限Feige-Fiat-Shamir签名方案。该方案相比已有的其他门限Feige-Fiat-Shamir签名方案,具有最优弹性,且有效性较高,其计算量和通信量都较少。在随机...
王宏肖鸿魏仕民卓泽朋
关键词:门限密码学数字签名可验证秘密共享可证明安全自适应安全
文献传递
用串空间分析路由协议SGSR
2007年
用形式化方法分析安全协议是协议分析的有效手段,近年来,出现了众多的研究方法.串空间模型是一种新兴的形式化分析工具,其中,"理想"和"诚实"两个概念简化了分析协议的步骤.首次利用串空间理论对由徐兰芳提出的一种安全的Ad Hoc网络路由协议SGSR进行分析,并分析了它的认证性和机密性,结果证明此协议能够达到协议的目标。
郭宇燕魏仕民
关键词:串空间认证性机密性
一个基于GDH群的前向安全分布式数字签名方案
2009年
将一个基于GDH群的数字签名方案扩展到分布式数字签名中,并将前向安全的概念扩展到该签名方案中,提出一个有效的前向安全分布式签名方案.使用部分签名密钥安全前向更新,使集体签名安全前向更新,使得任何成员都不可能单独控制签名密钥的更新.增强密钥的安全性,使签名方案具有前向安全性.
孙梅顾维娜
关键词:GDH群
共2页<12>
聚类工具0