一种基于模乘相等检测的标量乘碰撞攻击方法

碰撞攻击是针对椭圆曲线密码的主要分析技术之一,其关键取决于对点加、倍点碰撞检测的正确率.由于随机操作数和分支语句的影响,对点加、倍点的碰撞检测几近于随机猜测,因而如何对点加、倍点进行碰撞检测成为亟需解决的问题.本文以Weierstrass曲线中基于雅可比坐标的点加、倍点为分析对象,提出了基于模乘相等的标量乘碰撞攻击方法.首先,结合点加和倍点的运算流程,从中识别出了有助于碰撞检测的模乘,并在模乘间构造了新的碰撞关系,将攻击转化为模乘碰撞检测.其次,本文发现在雅可比坐标中存在由坐标Z完全决定的模乘,基于此首次提出了模乘相等检测,将攻击转化为判断模乘两个操作数是否相同,从而避免了随机操作数的影响.最后,本文对一款硬件实现芯片进行碰撞检测实验,通过对曲线基于主成分分析进行压缩处理,将点加和倍点碰撞检测的准确率提高到了99%.本文提出的碰撞检测方法对采用了随机掩码和分支平衡的标量乘实现仍有效.

均值函数相等检验及在高频股指收益率中应用

针对具有相依特征的函数型数据样本,提出利用经典的Newey-West估计式对它们的长期协方差函数进行估计,从而可以得到更加准确的函数主成分,进而对独立同分布条件下的均值函数相等检验统计量进行改进,并通过模特卡罗模拟和实例分析与现有独立同分布和相依条件下的检验方法进行比较。模特卡罗模拟结果表明,相比于现有检验方法,文中所提改进方法的检验水平与显著性水平更接近,而检验功效更高。实例分析结果表明,2018年沪深300和上证180股指1分钟和5分钟累积收益率的均值函数相等,即这两个金融市场的投资收益水平相当。

以CPFS结构为主题的单元教学设计--以“证明线段相等”为例

以CPFS结构为主题的单元教学设计往往突破了章节的限制,对不同章节内容进行整合,可以贯通知识之间的联系,塑造学生完整的认知结构.笔者以“证明线段相等”为例,阐述以CPFS结构为主题的教学设计.

粗相等与粗相等代数

讨论了粗等价的性质 ,证明了粗相等关系是 Boolean代数 (2 U,∩ ,∪ ,～ )上的同余关系 ,给出了 2 U上的一个等价关系是粗相等的刻画 .从粗相等出发 。

基于LWE的集合相交和相等的两方保密计算

利用格上LWE(Leaning With Error)困难性假设,将保密地比较两个数是否相等转化为判断对随机串加密后的解密是否正确,有效地解决了数和集合关系的判定、求集合交集和集合相等安全多方计算问题,并利用模拟范例证明该协议在半诚实模型下是安全的。与传统的基于数论的协议相比,该方案由于不需要模指数运算,因而具有较低的计算复杂度,同时因其基于格中困难问题,因而能抵抗量子攻击。

变规格连轧时的速度与秒流量相等法则

用理论方法研究了连轧时速度与张力的相互关系,分析了连轧时速度和张力所起的作用,提出了连轧速度理论。认为稳定张力连轧可以分解成带张力的独立机架轧制,但张力与速度要和前后架协调一致。在改变辊缝轧制时,机架间存在张力作用下的轧件断面变化的过渡稳定段,此时轧件各断面速度相等,但不能使用机架间秒流量相等法则。

用液相等电聚焦电泳纯化藻蓝蛋白亚基

以纯藻蓝蛋白(C-phycocyan in,C-PC)为材料,采用Rotofor系统进行液相等电聚焦(L iqu id-phase iso-eletric focusing,LP-IEF)电泳纯化C-PC的α,β亚基,探讨蛋白质亚基纯化的制备电泳(Preparative eletro-phoresis)技术.结果显示,样品经2次等电聚焦电泳后,C-PC的α,β亚基分别浓集在pH=4.9和pH=4.1附近,平板超薄等电聚焦(Slab u ltra th in IEF)和SDS-PAGE电泳鉴定表明分别为高纯度的C-PCα,β亚基.提示LP-IEF是分离纯化等电点差异蛋白质活性亚基的简便有效的方法.

和与积相等的矩阵对及其多项式表示

用矩阵Jordan标准形理论,证明了和与积相等的矩阵对的Jordan标准形具有互为确定的性质,进而得到由和与积相等的矩阵对的最小多项式及交换子空间确定的多项式表示的新结果.

液相等电聚焦电泳纯化燕窝蛋白质

以市售燕窝为材料,采用MicroRotofor系统进行液相等电聚焦电泳(liquid-phase isoelectric focusing,LIEF)纯化燕窝蛋白质,等电聚焦电泳后对收集到10个小室的样品进行SDS凝胶电泳分析。结果显示,燕窝蛋白质提取液中的一些胶状物聚集在聚焦槽酸端第1～4样品室,第9、10样品室杂质也较多,合并第5～8样品室的样品,即得纯化后的燕窝蛋白用于后续双向电泳分析。液相等电聚焦电泳预分离纯化技术结合双向电泳技术,对4个燕窝蛋白质进行较好的分离,在2-DE胶上检测到约30～60个蛋白质点。由此可见,液相等电聚焦电泳预分离技术是燕窝蛋白质进行2-DE分离前的重要纯化手段。

安全多方信息比较相等协议及其应用

安全多方信息比较协议是一个由两方向多方进行推广的问题,可以在不泄漏各个参与方信息的情况下比较出多方信息是否全部相等以及得到具有相等信息的参与方的数目.该问题的研究目前尚没有见到报道.本文在半诚实模型下利用设计的F函数和具有语义安全性的加法同态加密体制设计了一个安全多方信息比较协议;分析了该协议的正确性,安全性和效率.该方案在安全多方计算研究中有广泛应用.

带Rough相等关系词的Rough逻辑系统及其推理

以公式的定义域集的下和上近似分别相等方法 ,定义了两个Rough逻辑公式Rough相等 ,并以此定义了Rough相等关系词“ =R” ,它不仅比等值词“ ”运算有更多的直观性 ,而且既考虑了可定义的公式 ,也包含了那些在边界线上不可定义或可能可定义的公式 .所以 ,经典逻辑中的隐含式 φ→ ψ被移至Rough逻辑中应当解释为R (d(φ) ) R (d(ψ) )∧R (d(φ) ) R (d(ψ) ) .经典逻辑中的等值式 φ ψ被移至Rough逻辑中应当解释为R (d(φ) ) =R (d(ψ) )∧R (d(φ) ) =R (d(ψ) ) ,其中d(F)是公式F的定义区域 ,它可能是可定义集 ,也可能是不可定义集或Rough集 .这是Rough逻辑与经典逻辑或其它非标准逻辑的重要区别之一 ,将这种Rough相等词“ =R”引入Rough逻辑中 ,因而得到了一些相关的性质和相关的推理规则 .文中建立了带Rough相等关系词“ =R”的Rough逻辑推理系统 。

5—13岁儿童空间认知发展的研究——判别相等面积的再探

本实验是《5—11岁儿童两种空间关系认知发展的实验研究》的继续,但将内部被占面积改为圆形。结果表明:儿童判别面积从直觉判断发展到推理判断之间经历一种过渡形态。表现为,在同一判别中直觉和推理活动交错;能将被占面积各部分整合成整体,但对剩余面积部分的判别受直觉因素束缚;理解等量减等量所余相等原理,但不能用来解决面临的课题等四种形式。完成这种过渡需要解决三个相互联系的问题。也再次证明儿童判别面积这种空间认知发展,在一定年龄范围存在着阶段性特点,同时儿童这种认知能力的显露程度又以课题条件难易为转移。

矩阵相等和矩阵特征值的概率多方保密计算协议

首先提出了利用哥德尔编码将矩阵与自然数建立一一对应关系,从而保密地判断两个矩阵是否相等;其次提出了一种保密计算矩阵特征值的安全协议。最后,利用模拟范例方法证明协议是安全的,并且两协议的计算复杂性和通信复杂性较低,在数据服务外包领域具有实用价值。

数据相等问题的安全多方计算方案研究

安全多方计算是国际密码学界近年来的研究热点.本文主要研究科学计算中多个数据相等问题的安全多方计算,目前关于这个问题的研究还很少.本文设计了一种新的编码方法,以新的编码方法与El Gamal同态加密算法为基础,分别利用秘密分享技术和门限密码体制构造了两个在半诚实模型下能够抵抗合谋攻击的保密判定协议,应用模拟范例证明了协议的安全性,效率分析表明所设计的保密计算协议是高效的协议.并进一步设计了恶意模型下的安全计算方案.

相等性原理与《易经》

人们如果深入研究人类认知活动中的“分类”与“类比”现象的本质,就会发现人类在“分类—类比—抽象”认知活动中所依赖的“相等性原理”与“不等性原理”。它对在深层结构中揭示《易经》“易道广大,无所不包”的本质具有一定的意义。

有理数相等的保密判定

安全多方计算是近年来国际密码学界研究的热点.数据相等保密判定是安全多方计算的一个基本问题,在指纹匹配和关键词搜索等现实问题中有广泛的应用,因此研究数据相等保密判定有重要的理论与实际意义.本文协议I利用Paillier加密算法高效实现了两个有理数相等的保密判定,协议II基于椭圆曲线同态加密算法安全高效计算多个有理数相等判定问题,并且最后给出了恶意模型下的有理数相等保密判定协议.

云计算中基于公平的安全判定相等协议的身份认证方案

云用户与云之间的双向认证是云计算中用户访问云中资源和数据的重要前提。为解决云计算环境下基于口令的身份认证方式存在的问题,并保证海量用户环境下认证的效率,对一个常数复杂性的判定口令相等的百万富翁协议进行了改进,提出了一个公平的安全双方判定相等协议,可以公平且秘密地比对认证方与被认证方所拥有口令的一致性。在上述协议的基础上,基于具有语义安全的加法同态算法——Bresson算法,实现了一个保护云用户和云服务提供者双方隐私的身份认证方案,最后,证明了该身份认证方案在判定相等方面的正确性,并给出了方案的安全性分析。

关于模糊数近似相等

在模糊数的条件下针对BuckleyJ,J.FuzzySetsandSyslems,1985,的近似相等给出的一个充分必要条件,并对该近似相等的性质是行了详细讨论。

马克思的各部门剩余价值率相等假定与国外学者的解读

马克思的各部门剩余价值率相等假定是以资本主义发展趋势为依据的,是马克思平均利润率理论的一个前提。对这一假定,在西方学者中形成了肯定和否定两种截然不同的意见。持肯定意见的西方学者比较正确地理解了马克思这一假定的实质;而持反对意见的西方学者则提出了这一假定与劳动还原理论、平均利润率理论存在着所谓的“矛盾”的诘难,但这些诘难是不正确的。

一条金辫:类比——相等性原理——基础理论学

深入探讨人类认知活动中的"分类"与"类比"现象的本质,将"类比"概念进一步理论化与科学 化.发现人类在认知活动中所依赖的"相等性原理"与"不等性原理".构建科学大厦中的新学科"基础理论 学".