您的位置： 专家智库 > >

辛丹

作品数：4 被引量：8H指数：2
供职机构：解放军信息工程大学更多>>
发文基金：河南省科技创新杰出青年基金河南省基础与前沿技术研究计划项目国家重点实验室开放基金更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 3篇期刊文章
  • 1篇会议论文

领域

  • 3篇电子电信

主题

  • 3篇身份加密
  • 3篇同态
  • 3篇同态加密
  • 3篇基于身份
  • 3篇基于身份加密
  • 3篇加密
  • 2篇容错
  • 1篇形式化
  • 1篇形式化分析
  • 1篇形式化分析方...
  • 1篇可满足性
  • 1篇基于SAT
  • 1篇安全协议
  • 1篇布尔可满足性
  • 1篇采样

机构

  • 4篇解放军信息工...

作者

  • 4篇辛丹
  • 3篇顾纯祥
  • 2篇郑永辉
  • 2篇刘楠
  • 1篇光焱
  • 1篇段然

传媒

  • 1篇通信学报
  • 1篇电子学报
  • 1篇信息工程大学...

年份

  • 1篇2016
  • 2篇2015
  • 1篇2014
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于SAT的安全协议惰性形式化分析方法被引量：2
2014年
提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此方法实现了一个安全协议分析工具,针对Otway-Rees协议检测出了一种类型缺陷攻击;针对OAuth2.0协议,检测结果显示对现实中存在的一些应用场景,存在一种利用授权码截取的中间人攻击。
顾纯祥王焕孝郑永辉辛丹刘楠
关键词：安全协议形式化分析布尔可满足性
利用RLWE构造基于身份的全同态加密体制被引量：5
2016年
全同态加密为云计算中数据全生命周期隐私保护等难题的解决都提供了新的思路.公钥尺寸较大是现有全同态加密体制普遍存在的问题.本文将基于身份加密的思想和全同态加密体制相结合,利用环上容错学习问题(Ring Learning With Errors,RLWE),其中将环的参数m扩展到任意正整数,提出了一种基于身份的全同态加密体制.体制以用户身份标识作为公钥,在计算效率和密钥管理方面都具有优势,安全性在随机喻示模型下可规约为判定性RLWE问题难解性假设.
辛丹顾纯祥郑永辉光焱康元基
关键词：基于身份加密
利用RLWE构造基于身份的全同态加密体制
全同态加密为云计算中数据全生命周期隐私保护等难题的解决都提供了新的思路。本文将Regev 提出的前像可采样陷门单向函数推广到任意次数的分圆环R = Z[X ]/(xn +1)上，在此基础利用环上容错问题设计了一种基于身份...
辛丹顾纯祥郑永辉光焱康元基
关键词：基于身份加密
一种基于身份的全同态加密体制被引量：1
2015年
全同态加密在云计算安全领域具有重要应用价值。公钥尺寸较大是现有全同态加密体制普遍存在的缺点。为解决这一问题,文章将基于身份加密的思想和全同态加密体制相结合,利用近似特征向量方法,无需生成运算密钥,构造了一种真正意义上基于身份的全同态加密体制。采用更有效的陷门生成算法,将文献[13]中基于身份的全同态加密的体制参数由m≥5nlogq减小至m≈2nlogq。本体制的安全性在随机喻示模型下归约到容错学习问题难解性。
辛丹顾纯祥郑永辉段然刘楠
关键词：基于身份加密
全选 清除 导出
共1页<1>
聚类工具0