期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
基于格的线性同态签名在云存储数据动态验证方案中的应用 被引量:2
1
作者 王玉秀 杨青 +3 位作者 程伟 文红 廖力 谢洋浩 《中国科技论文》 CAS 北大核心 2016年第20期2381-2386,共6页
云端数据的完整性及可用性成为亟待解决的问题,基于传统密码方案的云端验证协议一般规约到某个困难问题的难解性。基于格上困难问题目前还没有有效的破解算法,基于格的密码方案,是密码体制研究的1个重要方向。为了应对未来可能发生的量... 云端数据的完整性及可用性成为亟待解决的问题,基于传统密码方案的云端验证协议一般规约到某个困难问题的难解性。基于格上困难问题目前还没有有效的破解算法,基于格的密码方案,是密码体制研究的1个重要方向。为了应对未来可能发生的量子攻击以及支持云端数据动态验证,利用基于格的线性同态签名方案、默克尔哈希树构建了1个支持公有审计、支持云端文件或数据的插入、删除等动态操作的完整性及可用性验证方案,同时,格上的线性运算保证计算的高效性,可以大大提高验证协议的运行效率。 展开更多
关键词 云存储 格密码 基于格的线性同态签名 默克尔哈希树
下载PDF
NTRU格上高效的身份基线性同态签名方案 被引量:1
2
作者 张建航 曹泽阳 +1 位作者 徐庆征 宋晓峰 《电讯技术》 北大核心 2020年第5期502-510,共9页
针对现有的格上身份基线性同态签名方案密钥存储量大、结构复杂导致方案实际运行效率相对偏低的问题,提出了一个NTRU(Number Theory Research Unit)格上高效的身份基线性同态签名方案。首先在密钥生成阶段利用NTRU密钥生成算法产生主密... 针对现有的格上身份基线性同态签名方案密钥存储量大、结构复杂导致方案实际运行效率相对偏低的问题,提出了一个NTRU(Number Theory Research Unit)格上高效的身份基线性同态签名方案。首先在密钥生成阶段利用NTRU密钥生成算法产生主密钥,接着采用格基委派算法给出身份签名私钥,最后运行NTRU格上原像抽样算法产生出线性同态签名。对方案的安全性证明与性能分析结果表明,新方案满足正确性,具有弱内容隐私性。在随机预言机模型下,该方案在小整数解问题困难性条件下满足适应性选择身份和选择消息的存在性不可伪造性。同时,由于采用NTRU格的特殊结构,新方案在密钥量与运行效率方面与已有方案相比较均具有显著的优势,这对于计算资源受限环境的同态认证中具有重要的应用价值。 展开更多
关键词 抗量子计算密码 线性同态签名 NTRU格 小整数解问题 原像抽样算法
下载PDF
基于格的线性同态签名方案
3
作者 邓银娟 《河南科学》 2015年第8期1346-1351,共6页
基于格上SIS(the Small Integer Solutions problem)最小整数解问题提出了一个新的线性同态签名方案,该方案可以抵抗量子计算的攻击.与之前的线性同态签名方案相比较,摆脱了对同态哈希的依赖性,提高了计算效率,但安全级别仍然不变,并且... 基于格上SIS(the Small Integer Solutions problem)最小整数解问题提出了一个新的线性同态签名方案,该方案可以抵抗量子计算的攻击.与之前的线性同态签名方案相比较,摆脱了对同态哈希的依赖性,提高了计算效率,但安全级别仍然不变,并且证明了该方案满足正确性、不可伪造性和私有性. 展开更多
关键词 线性同态 签名
下载PDF
无证书线性同态聚合签名方案研究
4
作者 茅磊 《软件导刊》 2022年第2期159-164,共6页
在云计算和大数据时代,密码学中的数字签名技术发挥着不可替代的作用。数字签名不仅可以保障数据的真实性和不可否认性,而且可用于实现云存储中各种外包数据完整性的公开审计。从云存储实际需求出发,设计一种适用于云存储中多用户数据... 在云计算和大数据时代,密码学中的数字签名技术发挥着不可替代的作用。数字签名不仅可以保障数据的真实性和不可否认性,而且可用于实现云存储中各种外包数据完整性的公开审计。从云存储实际需求出发,设计一种适用于云存储中多用户数据公开批验证的无证书线性同态聚合签名方案。在安全性上,该签名方案可抵抗来自聚合签名者内部的"合谋攻击";在效率上,其可对不同用户各种数据产生的签名进行压缩和聚合。在JPBC库下进行仿真实验,结果显示该方案的验证速度比普通无证书数字签名提高近10倍。此外,该方案只需存储所有数据同态聚合后的一个数字签名,相较于传统的"一块数据,一个签名"的存储方式,从根本上节约了用户在云上的存储空间。 展开更多
关键词 信息安全 密码学 线性同态签名 聚合签名 无证书密码体制
下载PDF
关于线性序同态与LF线性算子的连续性 被引量:1
5
作者 包玉娥 《内蒙古大学学报(自然科学版)》 CAS CSCD 1998年第6期734-739,共6页
给出了线性序同态与LF线性算子的定义并得到了其结构刻划表示定理,证明了LF线性算子是线性序同态的点式刻划.在此基础上,讨论了LF拓扑线性空间上LF线性算子的连续问题,得到了LF线性算子连续的若干等价刻划条件.
关键词 线性同态 LF线性算子 LF拓扑线性空间 连续
下载PDF
语音信号的同态线性预测编码 被引量:1
6
作者 黄泽镇 杨行峻 《通信学报》 EI CSCD 北大核心 1989年第5期1-9,共9页
本文首先证明普通LPC算法对于周期性脉冲串激励信号,在非基音同步的情况下是一种有偏估计算法。随后提出一种新的全极点模型估计算法——同态线性预测编码(HLPC),并证明,不论对于白噪声激励还是周期性脉冲串激励信号,由HLPC算法得到的... 本文首先证明普通LPC算法对于周期性脉冲串激励信号,在非基音同步的情况下是一种有偏估计算法。随后提出一种新的全极点模型估计算法——同态线性预测编码(HLPC),并证明,不论对于白噪声激励还是周期性脉冲串激励信号,由HLPC算法得到的估计都是无偏的。实验结果表明,对于用全极点模型人工合成的语音信号,HLPC的估计性能明显高于LPC;对于实际语音信号,HLPC算法在估计共振峰时也有明显的优点。本文还讨论了其它HLPC算法的优缺点和尚待解决的一些问题。值得指出,HLPC算法在任何以全极点模型(AR模型)为基础的估计问题中都有可能得到应用。 展开更多
关键词 语音信号处理 同态线性 预测编码
下载PDF
Fuzzy线性空间的同态与商空间
7
作者 刘锡龙 《江苏师范大学学报(自然科学版)》 CAS 1990年第1期21-25,共5页
本文首先讨论Fuzzy线性空间同态的问题,然后讨论一个线性空间中的Min—Fuzzy线性空间关于平常子空间的商空间的概念和基本事实,最后讨论Min—Fuzzy线性空间与商空间之间的一种关系。本文可以认为是[5]的一个续篇。
关键词 Fuzzy线性空间的准同态 同态 Fuzzy商空间
下载PDF
FHE-CF:基于密文展缩的全同态密码体制设计
8
作者 张爽 杨亚涛 李子臣 《计算机应用研究》 CSCD 北大核心 2015年第2期498-502,共5页
为了解决云环境下密文处理的问题,构造了一个基于LWE问题的全同态加密体制FHE-CF。该体制没有采用传统的基于LWE问题的全同态密码体制设计中的重线性化技术,而是利用一种新的密文展缩技术来实现噪声的有效控制。在不引入新的未经论证的... 为了解决云环境下密文处理的问题,构造了一个基于LWE问题的全同态加密体制FHE-CF。该体制没有采用传统的基于LWE问题的全同态密码体制设计中的重线性化技术,而是利用一种新的密文展缩技术来实现噪声的有效控制。在不引入新的未经论证的安全假设的前提下,可以获得KDM安全的自举加密体制,其安全性有了突破性提高。由于其KDM安全性,可以构造循环的密钥链,实现从分层全同态到全同态的过渡。还证明了所构造的全同态密码体制是RO模型下IND-CPA安全的。除了安全性上的优势外,该密码体制效率与当前最好的全同态密码体制相当。 展开更多
关键词 错误学习 密文展缩 同态 线性同态
下载PDF
I-拓扑线性空间的归纳拓扑
9
作者 张慧 《安徽师范大学学报(自然科学版)》 CAS 2008年第2期103-105,共3页
引进了I-拓扑线性空间归纳拓扑的新概念,并指出当L=[0,1]时,文献[4,5]意义下的归纳拓扑都是新定义的归纳拓扑的特例,得到了由单个模糊线性序同态所确定的归纳拓扑借助于θλ的重域基的刻画.
关键词 模糊线性同态 局部凸I-拓扑线性空间 归纳拓扑
下载PDF
基于区块链的数字图像批量确权与公平交易方法 被引量:1
10
作者 张文博 王涛 +2 位作者 杨波 李海羽 张文政 《密码学报》 CSCD 2022年第5期851-871,共21页
针对数字图像确权难、确权代价大,阻碍数字图像产品交易的问题,本文基于数字水印、线性同态签名和区块链技术,提出了一种数字图像批量确权与公平交易方案.该方案利用签名的同态属性,实现对批量数字图像的一次性验证.在假设底层数字水印... 针对数字图像确权难、确权代价大,阻碍数字图像产品交易的问题,本文基于数字水印、线性同态签名和区块链技术,提出了一种数字图像批量确权与公平交易方案.该方案利用签名的同态属性,实现对批量数字图像的一次性验证.在假设底层数字水印不可移除的情况下,通过为图像插入包含版权信息的数字水印,提供数字图像版权和内容完整性双重保护.数字图像提供者和使用者通过智能合约实现公平交易.当数字图像出现版权纠纷时,可以通过挑战-验证协议对图像版权和内容完整性进行验证.数字图像的确权和交易过程被记录在区块链上,保障了确权过程和交易过程的公开可审计性和可追溯性.对比现有工作,本文方案同时具备了批量审计、公平交易、去中心化等优势.实验结果表明,本文方案具有较低的计算开销和智能合约开销. 展开更多
关键词 数字图像确权 区块链 智能合约 线性同态签名 数字水印
下载PDF
Inductive Topologies of L-fuzzy Topological Vector Spaces
11
作者 严从华 《Chinese Quarterly Journal of Mathematics》 CSCD 2001年第2期22-29,共8页
In this paper, using the theory of L _fuzzy topological vector spaces [1]-[6] , we study some properties of L _fuzzy inductive topologies determined by a family of L _fuzzy linerar order_homomorphisms... In this paper, using the theory of L _fuzzy topological vector spaces [1]-[6] , we study some properties of L _fuzzy inductive topologies determined by a family of L _fuzzy linerar order_homomorphisms [2] of L _ftvs, and give a characterization of inductive topologies determined by a single FLOH. As an application of this results, we prove that the quotient space of L _ftvs is also L _ftvs. 展开更多
关键词 L _fuzzy linear order_homomorphism L _ftvs L _flctvs inductive L _fuzzy topology
下载PDF
Chaotic synchronization based on nonlinear state-observer and its application in secure communication
12
作者 CHENMing-jie LIDian-pu ZHANGAi-jun 《Journal of Marine Science and Application》 2004年第1期64-70,共7页
Chaotic synchronization is a branch of chaotic control. Nowadays, the research and application of chaotic synchronization have become a hot topic and one of the development directions is for the research on chaos. In ... Chaotic synchronization is a branch of chaotic control. Nowadays, the research and application of chaotic synchronization have become a hot topic and one of the development directions is for the research on chaos. In this paper, a universal nonlinear stateobserver is presented for a class of universal chaotic systems to realize the chaotic synchronization, according to the theory of state-observer in the modern control theory. And theoretic analysis and simulation results have illustrated the validity of the approach. Moreover, the approach of synchronization proposed in this paper is very easy, flexible and universal with high synchronization precision.When the approach is applied to secure communication, the results are satisfying. 展开更多
关键词 chaotic synchronization nonlinear stoLe-observer synchronization error secure communication
下载PDF
A novel robust approach for SLAM of mobile robot
13
作者 马家辰 张琦 马立勇 《Journal of Central South University》 SCIE EI CAS 2014年第6期2208-2215,共8页
The task of simultaneous localization and mapping (SLAM) is to build environmental map and locate the position of mobile robot at the same time. FastSLAM 2.0 is one of powerful techniques to solve the SLAM problem. ... The task of simultaneous localization and mapping (SLAM) is to build environmental map and locate the position of mobile robot at the same time. FastSLAM 2.0 is one of powerful techniques to solve the SLAM problem. However, there are two obvious limitations in FastSLAM 2.0, one is the linear approximations of nonlinear functions which would cause the filter inconsistent and the other is the "particle depletion" phenomenon. A kind of PSO & Hjj-based FastSLAM 2.0 algorithm is proposed. For maintaining the estimation accuracy, H~ filter is used instead of EKF for overcoming the inaccuracy caused by the linear approximations of nonlinear functions. The unreasonable proposal distribution of particle greatly influences the pose state estimation of robot. A new sampling strategy based on PSO (particle swarm optimization) is presented to solve the "particle depletion" phenomenon and improve the accuracy of pose state estimation. The proposed approach overcomes the obvious drawbacks of standard FastSLAM 2.0 algorithm and enhances the robustness and efficiency in the parts of consistency of filter and accuracy of state estimation in SLAM. Simulation results demonstrate the superiority of the proposed approach. 展开更多
关键词 mobile robot simultaneous localization and mapping (SLAM) improved FastSLAM 2.0 H∞ filter particle swarmoptimization (PSO)
下载PDF
AN EMBEDDING THEOREM BETWEEN SPECIAL LINEAR GROUPS OVER ANY FIELDS 被引量:4
14
作者 ZHA JIANGUO (Departmellt of Applied Mathematics, Tongji University, Shanghai 200092, China.) 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 1995年第4期477-486,共10页
Abstract homomorphisms between subgroups of algebraic groups were studied in detail by A.Borel, J.Tit.[1] and B.Wei.feile.[2] provided that the images of the homomorphisms are Zariski dense subsets and that the fields... Abstract homomorphisms between subgroups of algebraic groups were studied in detail by A.Borel, J.Tit.[1] and B.Wei.feile.[2] provided that the images of the homomorphisms are Zariski dense subsets and that the fields over which algebraic groups are defined are infinite. The purpose of this paper is to determine all embedding homomorphisms of SLn(k) into SLn(K) when k and K are any fields of the same characteristic, without assumption of Zariski density and infinitude of fields. The result in this paper generalizes a result of Chen Yu on homomorphisms of two dimensional linear groups[3]. 展开更多
关键词 Classical groups HOMOMORPHISMS FIELD
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部