洪璇
- 作品数：18 被引量：42H指数：5
- 供职机构：上海师范大学信息与机电工程学院更多>>
- 发文基金：国家自然科学基金上海市自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信环境科学与工程更多>>
- 简单的通用可组合代理重签名方案被引量：7
- 2010年
- 给出一个简单的代理重签名方案及其两个等价的安全模型:基于通用可组合安全框架的安全模型和基于游戏的安全模型.提出的方案是双向的、多用的、可传递的和密钥最优化的,其安全性可以规约到随机预言机模型下的计算Diffie-Hellman假设.该方案同时也满足通用可组合安全性.
- 洪璇陈克非万中美
- 关键词：代理重签名通用可组合安全可证明安全
- 一种新的基于身份选择密文安全的门限解密方案(英文)被引量：2
- 2006年
- 该文提出了一种具有完备安全性的、基于身份的门限解密方案IB-ThDec.方案的安全性可以规约到四元双线性Diffie-Hellman判定问题上.我们在随机预言模型下给出了方案的安全性证明.此外,我们指出IB-ThDec方案可以应用到无证书体制和基于身份的动态门限解密体制中.
- 龙宇陈克非洪璇
- 关键词：门限解密
- 基于RSA密码体制的门限代理签名方案
- 在门限代理签名方案中,原始代理人可以把它的签名权利授予一群代理签名者.本文提出了一种实用、有效、安全的基于RSA密码体制的(t,n)门限代理签名方案.此方案使用一个简单的Lagrange公式,在不泄漏安全信息的情况下来分...
- 洪璇陈克非龙宇
- 关键词：门限代理签名RSA密码体制LAGRANGE插值
- 文献传递
- 适用于MANETs的前摄性门限签名协议被引量：1
- 2012年
- 现有的门限签名方案存在大量动态的用户集合,不适用于移动Ad-hoc网络(MANETs)。为此,提出一种适用于MANETs网络的高效门限签名协议。该协议的安全性基于标准RSA假设,且满足通用可组合安全性。高效门限签名协议具有前摄性,能够同时提供"分享密钥"和"更新用户子密钥"的功能。安全性分析结果证明该协议的高效性。
- 洪璇温蜜万中美
- 关键词：强壮性不可否认性移动AD-HOC网络通用可组合安全
- 基于二进制代码的缓冲区溢出检测研究被引量：8
- 2006年
- 随着Internet应用的广泛深入,计算机系统的安全问题日益引起人们的重视,其中,缓冲区溢出漏洞攻击的数量呈逐年上升之势。该文从缓冲区溢出的原理开始,描述了一种利用静态分析和动态分析相结合的基于二进制代码的缓冲区溢出分析检测技术及工具,比较和分析了该工具检测二进制代码的结果与传统工具检测对应源程序的结果,并提出了存在的不足和改进之处。
- 叶永青李晖郑燕飞洪璇郑东
- 关键词：缓冲区缓冲区溢出
- 基于同态实现多候选人的电子投票方案被引量：5
- 2017年
- 选举是当今公民实现民主的重要方式,相比于传统选举方式,电子选举以密码学为基础,可以有效避免在各个环节中出现徇私舞弊现象,并且在计票阶段也比传统选举方式更快、更准确。在满足电子选举的公正性、唯一性、匿名性等八个基本特性的基础上,该方案通过使用Paillier加密的加法同态性来避免在计票环节对选民选票进行舞弊操作,同时能够大幅度提高电子选举在最后计票环节的效率。
- 黄仕杰洪璇
- 关键词：电子选举同态加密RSA公钥密码体制
- 通用可组合安全的门限签名协议被引量：9
- 2009年
- 门限签名协议使得签名团体中任何t个参与者合作可以生成某个消息的有效签名;而少于t个参与者就无法得到该消息的合法签名。目前关于门限签名协议的安全性研究只是专注于单一协议执行时的安全性,针对这点,引入通用可组合框架。利用该框架的通用可组合性可以模块化地设计与分析门限签名协议。首先定义了门限签名协议在通用可组合框架下的安全模型,并证明其等价于门限签名协议标准概念下的安全模型,然后以前摄门限签名协议为例描述如何应用这个安全模型。提出的门限签名协议和前摄性门限签名协议不仅满足可证明安全性,还具有通用可组合安全性。
- 洪璇陈克非李强
- 关键词：UC安全
- 基于多变量公钥密码系统的环机密交易协议被引量：1
- 2023年
- 与比特币类似,门罗币也是一种加密货币。最初的门罗币是基于CryptoNote协议,该协议使用环签名和一次密钥来隐藏交易双方的真实身份,但是具体的交易金额却暴露在区块链中,存在一定的安全风险。为了解决这个安全漏洞,Shen Noether提出了环机密交易协议(RingCT),利用一个随机数来隐藏真正的交易金额。目前门罗币社区使用的环机密交易协议是基于离散对数难题的。然而随着量子计算机的发展,基于传统数论问题的方案将变得不再安全,后量子方案是一个很好的替代选择。多变量公钥密码学是后量子密码的主要研究方向之一,并且相较于其他后量子密码方案,基于多变量的签名方案往往在签名和验证过程中计算速度快、所需计算资源少,具有很好的研究价值。在多变量环签名方案的基础上,设计了一个基于多变量的环机密交易协议。该协议利用多变量签名方案公钥的加法同态性实现了对交易金额的承诺,并对此承诺进行环签名,通过随机选择区块链中的用户公钥成环,来混淆交易中实际的交易参与者的身份。同时在交易产生过程中会利用交易者的私钥生成唯一一个key-image,并让其参与签名生成过程,成为签名的一部分,通过比对此部分可以有效防止交易双花。在随机预言机模型中证明了本文方案的安全性,并且相比基于格的后量子安全的环机密交易协议,所提方案在签名效率以及验证效率方面都更具优势。
- 洪璇袁梦玲
- 关键词：环签名
- 基于有向无环图的高效并行区块链
- 2022年
- 区块链系统的性能制约了它的推广应用,主要表现为交易吞吐量低、交易确认时间长和算力浪费等.针对这些问题,提出一种基于有向无环图(DAG)的区块链及其共识协议,提供区块链的并行工作模式.通过3个指针提供DAG区块的连通性;根据工作量证明(PoW)机制,将较难的区块组成一条谜题链,保证区块的有序性和系统的安全性;按照最长链原则和最难链原则,制定谜题链的共识协议.本方案充分利用了网络节点的计算资源,提高了区块链系统性能,减小了计算冗余度,节省了算力.
- 洪璇胡军
- 关键词：区块链
- 基于口令和智能卡的认证与密钥协商协议
- 2021年
- 因为身份验证的过程有概率会让使用者的秘密信息暴露,导致恶意敌手可能会追踪到用户的秘密信息,并对其进行不法利用产生危害和利益损失.比如在基于SmartCard的匿名PAKA协议方案中, SmartCard遗失后便没有办法防御敌手的离线字典攻击.因此,将双线性配对操作、D-H困难和椭圆曲线运算等操作与注册和认证过程相结合,分别基于口令和智能卡进行改进设计了新方案.并将智能卡与改进的基于口令AKA方案相结合,提出了基于智能卡和口令结合的AKA协议方案,给了出安全性证明.进一步提高了基于SmartCard和密码的PAKA协议的可靠安全性.
- 洪璇王鹏飞
- 关键词：密钥协商协议密码智能卡
