期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
支持等式测试及密码逆向防火墙的SM9标识加密方案 被引量:3
1
作者 熊虎 林烨 姚婷 《计算机研究与发展》 EI CSCD 北大核心 2024年第4期1070-1084,共15页
支持等式测试的标识加密(identity-based encryption with equality test, IBEET)体制解决了传统等式测试方案中证书管理的问题,得到了广泛的关注.但现有的IBEET体制难以抵抗渗透攻击,且都是基于国外密码算法设计,不具有自主知识产权.... 支持等式测试的标识加密(identity-based encryption with equality test, IBEET)体制解决了传统等式测试方案中证书管理的问题,得到了广泛的关注.但现有的IBEET体制难以抵抗渗透攻击,且都是基于国外密码算法设计,不具有自主知识产权.基于此,提出一种支持等式测试并具有密码逆向防火墙的SM9标识加密方案(SM9 identity-based encryption scheme with equality test and cryptographic reverse firewalls, SM9-IBEET-CRF).该方案在用户与云服务器的上行信道间部署密码逆向防火墙(cryptographic reverse firewalls,CRF),对用户发出的信息执行重随机化以达到抵抗渗透攻击的作用.该方案拓展国密算法SM9至IBEET领域中,提升其运行效率并丰富国密算法在云计算领域的研究.给出了SM9-IBEET-CRF的形式化定义和安全模型,并在随机预言机模型中考虑2种不同的敌手将此方案在选择密文攻击下的不可区分性与单向性分别形式化地规约到BDH困难假设上.同时,该方案通过考虑第3种敌手证明CRF的部署为其带来维持功能性、保留安全性以及抵抗渗透性.实验仿真和分析结果展示了该方案的有效性. 展开更多
关键词 SM9 等式测试 密码逆向防火墙 标识加密 渗透攻击
下载PDF
软件流水领域二维数组的体差不等式测试算法
2
作者 乔林 黄维通 +1 位作者 孟威 汤志忠 《计算机工程》 EI CAS CSCD 北大核心 2005年第21期1-3,24,共4页
给出了二维数组的体差不等式测试算法,并证明二维数组的体差不等式测试算法具有多项式时间复杂度。相对于直接求解,体差不等式测试算法的时间复杂度要小得多。实验表明,对于科学计算循环中出现的大多数数据相关性判定问题,使用体差不等... 给出了二维数组的体差不等式测试算法,并证明二维数组的体差不等式测试算法具有多项式时间复杂度。相对于直接求解,体差不等式测试算法的时间复杂度要小得多。实验表明,对于科学计算循环中出现的大多数数据相关性判定问题,使用体差不等式测试算法可以获得很好的效果。 展开更多
关键词 数据相关性 二维数组 迭代向量 体差不等式测试 可行解域
下载PDF
云计算环境下支持等式测试的公钥加密研究
3
作者 孔睿 姚天昂 +1 位作者 张晓东 熊虎 《计算机应用研究》 CSCD 北大核心 2020年第S02期25-27,33,共4页
由于云计算终端设备存储和计算能力的不足,大量数据被存储在云服务器,而敏感数据通常以密文形式存储。为了实现对加密数据的安全高效检索和分类,支持等式测试的公钥加密方案应运而生。系统性地对该方案的研究现状和发展趋势进行了深入... 由于云计算终端设备存储和计算能力的不足,大量数据被存储在云服务器,而敏感数据通常以密文形式存储。为了实现对加密数据的安全高效检索和分类,支持等式测试的公钥加密方案应运而生。系统性地对该方案的研究现状和发展趋势进行了深入分析和总结,并从性能和安全属性等方面对现有支持等式测试的公钥加密方案进行了深入探讨和概括,最后指出了其应用场景和未来进一步的研究方向。 展开更多
关键词 云计算 密码学 支持等式测试的公钥加密方案
下载PDF
支持等式测试的身份基可否认认证加密方案及其在电子投票系统的应用
4
作者 姚天昂 熊虎 《信息安全学报》 CSCD 2023年第5期109-122,共14页
电子投票系统被认为是现代生活中高效提供政府服务和进一步加强民主活力的方法。但是,现有构建电子投票系统的方法存在以下问题:第一,在面临贿选及胁迫的压力时,选民无法无视外在压力独立投票。其次,审计投票结果的实体可以在审计的同... 电子投票系统被认为是现代生活中高效提供政府服务和进一步加强民主活力的方法。但是,现有构建电子投票系统的方法存在以下问题:第一,在面临贿选及胁迫的压力时,选民无法无视外在压力独立投票。其次,审计投票结果的实体可以在审计的同时获知有关投票内容的额外信息。为了解决上述两个问题,我们首次将可否认认证加密技术与身份基等式测试加密技术相结合,提出了一种支持等式测试的身份基可否认认证加密方案。该方案可以在第三方服务器不解密的情况下提供密文可比性,还能保证接收方验证发送方的身份的同时,不能向第三方证明信息来自发送方,从而保护发送方的隐私。该方案利用可否认认证加密技术在技术层面保证了选民独立投票的能力,并额外增加了身份基下的等式测试功能以确保审计机构在逻辑结构上拥有访问权限。在使用本方案的电子投票系统中,审计机构在审计投票结果的同时,不获得有关选票的任何其他信息。我们证明了我们的方案在随机预言模型中是安全的,并且可以在电子投票系统中确保不可胁迫性和可审计性。该方案与已有相关方案相比,在开销和安全性能均有较好表现的同时,实现了更为丰富的功能。此外,我们使用所提出的密码学方案设计了一个安全的电子投票系统,其安全特性可以很好地保护电子投票系统中的选民自由和公平性。 展开更多
关键词 电子投票 不可胁迫性 可审计性 可否认认证加密 身份基密码体制 等式测试
下载PDF
软件流水领域多维数组数据相关性的测试
5
作者 乔林 黄维通 +1 位作者 孟威 汤志忠 《计算机工程与应用》 CSCD 北大核心 2005年第20期48-50,97,共4页
体差不等式测试为适用于软件流水领域的高维数组数据相关性分析算法,通过使用更严格的限制条件,该算法可以获得比传统数据相关性分析方法更精确的结果。文章展开该算法的实验研究。实验表明,虽然体差不等式测试算法只能针对实可行解域... 体差不等式测试为适用于软件流水领域的高维数组数据相关性分析算法,通过使用更严格的限制条件,该算法可以获得比传统数据相关性分析方法更精确的结果。文章展开该算法的实验研究。实验表明,虽然体差不等式测试算法只能针对实可行解域进行数据相关性分析,但所得到的结果仍然与实际情况相吻合。对于科学计算循环中出现的大多数数据相关性判定问题,使用体差不等式测试算法可以获得很好的效果。 展开更多
关键词 软件流水 数据相关性分析 相关体差向量 体差不等式测试
下载PDF
数据相关性分析中替代约束的有效性 被引量:1
6
作者 乔林 黄维通 +1 位作者 孟威 汤志忠 《计算机工程与设计》 CSCD 北大核心 2006年第5期724-727,共4页
数据相关性分析经常使用诸如方向向量或体差不等式等作为替代约束以加强求解丢番图方程的能力。给出了替代约束有效性的几个测度,详细分析了什么样的替代约束是可行的、有效的、良性的或恰当的,并证明在大多数情况下体差不等式约束要比... 数据相关性分析经常使用诸如方向向量或体差不等式等作为替代约束以加强求解丢番图方程的能力。给出了替代约束有效性的几个测度,详细分析了什么样的替代约束是可行的、有效的、良性的或恰当的,并证明在大多数情况下体差不等式约束要比方向向量约束更有效,体差不等式测试方法的收敛性要强于其它使用方向向量作为替代约束的传统数据相关性测试算法。 展开更多
关键词 软件流水 数据相关性 替代约束 迭代向量 体差不等式测试 有效约束
下载PDF
基于参量下转换的量子纠缠光源仿真模型 被引量:5
7
作者 周政 安雪碧 +1 位作者 钱泳君 陈巍 《无线电通信技术》 2020年第6期652-657,共6页
量子纠缠是量子信息研究的核心资源,是量子密码、量子隐形传态和线性光学量子计算等研究方向的基础。科研级量子纠缠源存在代价昂贵、对环境要求较为苛刻和量子光信号无法可视化等问题,严重限制了其在教学场景下的普及。针对上述问题,... 量子纠缠是量子信息研究的核心资源,是量子密码、量子隐形传态和线性光学量子计算等研究方向的基础。科研级量子纠缠源存在代价昂贵、对环境要求较为苛刻和量子光信号无法可视化等问题,严重限制了其在教学场景下的普及。针对上述问题,选取典型的I型偏硼酸钡(BBO)量子纠缠光源,对其实际器件和纠缠光源进行了建模,并利用量子态演化理论,给出了符合计数与实验系统关键器件之间的函数关系。该模型与实验数据保持了较好的一致性。这一方法和思路可推广到其他量子纠缠光源(如基于II型相位匹配晶体的量子纠缠光源)的仿真,可用于教学和科学实验装置的设计。 展开更多
关键词 量子纠缠 虚拟仿真 量子态演化 Bell不等式测试
下载PDF
TESTING INEQUALITY CONSTRAINTS IN A LINEAR REGRESSION MODEL WITH SPHERICALLY SYMMETRIC DISTURBANCES 被引量:1
8
作者 ZHU Rong ZHOU Sherry Z F 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2014年第6期1204-1212,共9页
This paper develops a Wald statistic for testing the validity of multivariate inequality constraints in linear regression models with spherically symmetric disturbances,and derive the distributions of the test statist... This paper develops a Wald statistic for testing the validity of multivariate inequality constraints in linear regression models with spherically symmetric disturbances,and derive the distributions of the test statistic under null and nonnull hypotheses.The power of the test is then discussed.Numerical evaluations are also carried out to examine the power performances of the test for the case in which errors follow a multivariate student-t(Mt) distribution. 展开更多
关键词 Inequality constraint spherically symmetric distribution Wald test.
原文传递
Fujita-Liouville Type Theorem for Coupled Fourth-Order Parabolic Inequalities
9
作者 Zhaoxin JIANG Sining ZHENG 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2012年第1期107-112,共6页
This paper deals with a coupled system of fourth-order parabolic inequalities |u|t ≥ -△2^u+|v|^q, |v|t ≥-△2v+|u|p^ in S=R^n ×R^+ withp, q 〉 1, n ≥1. AFujita- Liouville type theorem is establishe... This paper deals with a coupled system of fourth-order parabolic inequalities |u|t ≥ -△2^u+|v|^q, |v|t ≥-△2v+|u|p^ in S=R^n ×R^+ withp, q 〉 1, n ≥1. AFujita- Liouville type theorem is established that the inequality system does not admit nontrivial nonnegative global solutions on S whenever n/4≤ max( p+1/pq-1, q+1/pq-1 ). Since the general maximum-comparison principle does not hold for the fourth-order problem, the authors use the test function method to get the global non-existence of nontrivial solutions. 展开更多
关键词 Fujita exponent Liouville type theorem Higher-order parabolicinequalities Test function method
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部