您的位置： 专家智库 > >

赵秀凤

作品数：24 被引量：35H指数：4
供职机构：解放军信息工程大学更多>>
发文基金：国家自然科学基金山东省自然科学基金河南省自然科学基金更多>>
相关领域：自动化与计算机技术电子电信理学天文地球更多>>

合作作者

文献类型

  • 17篇期刊文章
  • 6篇会议论文
  • 1篇学位论文

领域

  • 16篇自动化与计算...
  • 5篇电子电信
  • 2篇理学
  • 1篇天文地球

主题

  • 5篇可证明安全
  • 4篇代码
  • 4篇信息流
  • 4篇C代码
  • 3篇信息流分析
  • 3篇密码
  • 3篇密钥交换
  • 3篇密钥协商
  • 2篇身份
  • 2篇双线性
  • 2篇同态
  • 2篇同态加密
  • 2篇签名
  • 2篇群组
  • 2篇群组密钥
  • 2篇组密钥
  • 2篇门限
  • 2篇可否认认证
  • 2篇基于身份
  • 2篇加密

机构

  • 22篇解放军信息工...
  • 6篇山东大学
  • 1篇广东工业大学
  • 1篇华南农业大学
  • 1篇南开大学

作者

  • 24篇赵秀凤
  • 6篇郭渊博
  • 4篇方青坡
  • 4篇徐秋亮
  • 3篇王爱兰
  • 2篇高海英
  • 2篇杨丽娜
  • 1篇李信然
  • 1篇郭戈
  • 1篇王红
  • 1篇郭艾侠
  • 1篇李锋
  • 1篇汪翔
  • 1篇何鹏
  • 1篇关杰
  • 1篇胡斌
  • 1篇宋巍涛
  • 1篇赵玉莲
  • 1篇王威力
  • 1篇韦大伟

传媒

  • 3篇计算机科学
  • 3篇山东大学学报...
  • 2篇河南教育（高...
  • 1篇计算机研究与...
  • 1篇数学的实践与...
  • 1篇计算机学报
  • 1篇河南大学学报...
  • 1篇计算机工程与...
  • 1篇微电子学与计...
  • 1篇计算机应用研...
  • 1篇微计算机信息
  • 1篇郑州大学学报...
  • 1篇2006年全...
  • 1篇2007年全...
  • 1篇2010年第...
  • 1篇2006年全...

年份

  • 1篇2018
  • 1篇2017
  • 4篇2016
  • 1篇2014
  • 3篇2012
  • 2篇2011
  • 2篇2010
  • 1篇2009
  • 2篇2008
  • 3篇2007
  • 3篇2006
  • 1篇2005
共 24 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于信息流分析的C代码安全编译技术研究
提出一种新的基于信息流分析的C代码安全编译技术。建立信息流的格模型,通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全。
赵秀凤郭渊博方青坡
关键词：信息流
文献传递
以图灵奖为主线的《密码协议》教学设计
2016年
《密码协议》涵盖密码协议基本概念、基本设计方法以及各类密码协议的实例三大部分内容,是密码学相关专业高年级学员的选修课。图灵奖由美国计算机协会在1966年设立,是专门为奖励那些对计算机事业做出重要贡献的个人而设立的,是计算机界最负盛名的奖项,有"计算机界的诺贝尔奖"之称。教师在《密码协议》的教学实践中,可以图灵奖为主线组织教学内容,并将密码故事融入课堂的教学之中,这样既可以提高学员的积极性,又可以对学员进行密码文化的熏陶,有助于取得良好的教学效果。
赵秀凤高海英郭戈
关键词：密码协议图灵奖教学设计
基于格的云数据完整性验证协议
随着云计算的快速发展，越来越多的用户将大量数据委托给存储服务器保管，而如何确定用户存储在服务器中的数据完整性成为一个需要解决的关键问题。本文基于格上的同态MAC 算法，设计了支持第三方审计的具有隐私保护的云数据完整性认证...
赵秀凤
一个有效的多PKG环境下基于身份签密方案被引量：7
2012年
多PKG环境下的签密机制是域间实体认证和保密通信的有效手段.文中提出了一个新的多PKG环境下基于身份的签密方案,方案使用了Waters基于身份加密体制及现有的基于身份签密体制的构造思想,并利用"⊕"运算和抗碰撞Hash函数消除了签密密文与明文之间的对应关系,从而保证了方案的语义安全.文中的方案实现了标准模型下的可证明CCA安全和存在不可伪造性;且当新方案退化为单个PKG环境时,与其它标准模型下的安全方案相比,该方案仍有稍高的效率.
赵秀凤徐秋亮
关键词：双线性对可证明安全
基于信息流分析的C代码安全编译技术研究
提出一种新的基于信息流分析的C代码安全编译技术.建立信息流的格模型,通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全.
赵秀凤郭渊博方青坡
关键词：信息流
文献传递
安全类型系统在编译技术中的应用研究
2008年
类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。
赵秀凤杨丽娜郭渊博
LWE求逆算法的门限方案
2014年
为了避免单点失效引起安全隐患,通常采用门限技术来增强密码系统的可靠性。其中,如何构造有效的容错学习(learing with error,LWE)求逆算法的门限方案被遗留为公开问题。提出了LWE求逆算法的门限方案T-LWE-Invert,该方案利用有限群上的秘密分享机制解决了陷门分享和LWE逆的计算问题。理论分析表明,T-LWE-Invert门限方案具有零知识可模拟性,并且与标准的LWE求逆算法具有相同的安全性。
赵秀凤王爱兰汪翔
关键词：门限密码体制秘密分享
剩余类环上扩张因子的性质
2018年
由于简单、安全且便于高效实现,R-LWE上FHE方案成为目前FHE方案设计的主流。R-LWE上FHE方案基于剩余类环R=Z[x]/(f(x))的多项式扩张因子大小对密文同态操作时的噪声膨胀速度有重要影响。基于对无穷范数意义下多项式环R的扩张因子的研究,给出了几个特殊多项式所对应的具体扩张因子值。证明了系数为零的单项式越多的多项式,其对应的扩张因子越小,系数为0的单项式的幂次越高,其对应的扩张因子越小。该结果可为R-LWE上高效同态密码算法的设计提供理论指导。
王爱兰宋巍涛赵秀凤
群组密钥协商协议的安全性分析方法研究被引量：4
2011年
群组密钥协商允许多个用户通过不安全的信道建立一个共享的会话密钥,设计安全的群组密钥协商协议是最基本的密码学任务之一。介绍了群组密钥协商协议的两类安全性分析方法:计算复杂性方法和形式化分析方法,详细讨论了计算复杂性方法中的关键技术,包括基于规约的证明技术及基于模拟的证明技术、基于规约的安全模型和基于模拟的安全模型,探讨了安全性分析方法的发展趋势。
赵秀凤徐秋亮韦大伟
关键词：密钥协商可证明安全规约
一种高效的多身份全同态加密方案被引量：1
2017年
利用高效的格陷门生成算法构造了身份基加密方案。方案的安全性可归约到标准LWE问题,大大降低了格安全维数,同时降低了密钥规模和计算复杂度。将该方案转化为单身份的全同态加密方案,利用近似奇异向量消除同态运算密钥,运用原象矩阵进行加密,使用子高斯随机变量分析参数,同时将方案的噪声膨胀率由O(n)降为O(n^(0.5))。最后进一步利用扩展密文方法和掩藏方案构造了高效的支持多身份的全同态加密方案。
王威力胡斌赵秀凤
全选 清除 导出
共3页<123>
聚类工具0