标准PRF假设下基于立体几何变换的轻量级混淆电路协议

混淆电路(Garbled Circuit,GC)是安全两方计算(Secure Two-Party Computation,S2PC)的重要基础协议.为保证安全性,GC协议需要调用加密算法对电路中的门信号进行加密混淆.当前,GC协议构造每个二元门(如与门)需调用4次加密算法,标准伪随机函数(Pseudorandom Function,PRF)假设下,每个二元门的混淆表至少包含2个密文.如何有效降低加密算法调用次数与混淆表规模,是GC协议提升性能的主要研究问题.本文在标准PRF假设下,提出了一种基于立体几何变换的轻量级混淆电路协议SGT-GC,根据每类二元门信号逻辑设计了专门的立体几何变换,并替代传统的加密算法实现混淆门的构造.其中,对于每个二元混淆与门(AND Gate),首先将其4种可能的输入组合(00,01,10,11)转换为三维空间中不共圆的4个点坐标P00、P01、P10、P11,经过逻辑值为FALSE的三个点(P00,P01,P10)构造圆,然后在经过圆心的圆平面法线上取任意点C,i并满足该点到P00、P01、P10的距离相等且不同于到逻辑值为TRUE的点P11的距离.则该随机点Ci即可作为二元与门混淆表中的交换信息,其通信成本变成1,且不再需要额外的加密算法调用.对于二元混淆异或门以及一元非门,本文也进行了专门的设计并给出了详细的协议过程与数学论证.本文所提出的SGT-GC协议中,每个混淆表中仅需1个共享交换信息,且不需调用任何额外加密算法,避免了多次调用复杂的加密算法所造成的计算成本及传输混淆表中多条密文所造成的通信成本.安全性证明表明,本文所提协议在半诚实模型下满足隐私性、不经意性和可认证性.

基于大整数分解假设的强安全密钥交换协议

提出一种满足强安全要求且安全归约紧致的认证密钥交换协议,协议安全性可归约到标准的大整数分解假设.协议的实现基于带符号二次剩余群,且协议的安全性可归约到SDH假设.由于带符号二次剩余群上存在从SDH假设到大整数分解假设的归约,因此该协议的安全性可最终归约到标准的大整数分解假设.其次,协议的安全性分析基于PACK模型.该模型允许攻击者同时发起Session State Reveal与Ephemeral Key Reveal,刻画了能力更为强大的攻击者.分析、证明显示该协议能够满足PACK模型的安全需求,因此,该协议体现出更好的安全性.此外,该协议的安全性证明满足紧致性,即无需使用分叉引理.与相关协议对比显示,该协议达到了相当的高效性,提供紧致的安全证明,而协议安全分析所基于的假设更弱,安全分析使用的模型更强,因而该协议在效率与安全性上达到了更好的平衡.

网络经济时代事项会计假设的新思考

随着网络经济和知识经济的发展,事项会计发展迅速,大有与传统会计并驾齐驱之势。事项会计的发展,势必需要构建新的理论体系,传统会计假设也要进行重新解释,形成新的会计主体假设和动态会计分期假设。本文提出"经济人"与"社会人"假设和标准事项假设,以丰富事项会计理论体系。

基于格的访问控制加密技术研究

访问控制加密(access control encryption,ACE)是一种新颖的公钥加密概念,不仅可以保护数据的机密性,还实现了信息流向的控制.早期基于DDH(decisional Diffie-Hellman)假设的方案(DDH方案)存在密文泄露攻击且仅满足选择明文攻击(chosenplaintextattack,CPA)安全,针对此类问题,密码学家提出了访问控制加密选择密文攻击(chosenciphertextattack,CCA)安全性定义,并基于Naor-Yung的构造策略构造了CCA安全的方案.但密码学家未修补DDH方案的安全瑕疵,且其CCA方案存在效率较低、构造复杂、通信策略受限等不足.将DDH方案进行了通用化设计,并以高效的方式修补了DDH方案遭受密文攻击的瑕疵,进一步,构造了CCA安全的访问控制加密方案,具有高效、设计简单、基于标准困难性假设的特点.最后,分别基于格上困难性假设和判定性双线性Diffie-Hellman(decisional binlinear Diffie-Hellman,DBDH)假设,给出了2种CCA安全方案的实例化设计。

常数大小自主可链接的门限环签名

进一步分析讨论Shacham和Waters提出的环签名方案的潜在性质,提出相应的门限环签名方案。与Wei和Yuen的方案相比,在无随机谕示模型下,该门限环签名方案的安全性证明基于标准假设——计算Diffie Hellman假设与子群判定假设。此外,在某些情况下,该方案可以转化为常数大小自主可链接的门限环签名,从而提高签名效率。

图形面积判断任务下信息加工模式和信息呈现方式对吸引效应的影响

研究使用图形面积判断任务取代典型的双属性决策框架,考察了不同信息加工模式和信息呈现方式对吸引效应的影响。实验1比较了不同信息加工模式对吸引效应的影响,结果发现,当被试以直觉的信息加工方式进行面积比较判断时,吸引效应不显著,而以分析的信息加工方式判断时吸引效应明显存在,后者效应强度显著大于前者。实验2通过调整图形排列顺序,比较了刺激材料呈现方式对吸引效应的影响,结果表明,被试以直觉的信息加工方式进行判断时吸引效应依然存在,但其表现要受信息呈现方式影响,相对于将目标图形放置于诱引图形和竞争图形之间,将诱引图形放置于目标图形和竞争图形之间而成为判断背景时,吸引效应强度更大。研究提出了吸引效应形成的两阶段理论,认为吸引效应产生的根源同时来自直觉的和分析的两个信息加工阶段,研究也证实信息呈现方式对被试信息加工方式造成较大影响,进而影响吸引效应强度。

Radon变换去噪方法的保幅性理论分析

本文在对比常规抛物线Radon变换、最小二乘抛物线Radon变换和高分辨率抛物线Radon变换的保幅性的基础上,重点分析了影响高分辨率抛物线Radon变换去噪方法保幅性的各种因素,认为对于最小二乘Ra-don变换和高分辨率Radon变换而言,信号在变换域中的分辨率都依赖于信号模型的"标准同相轴"假设,地震数据处理中各种实际因素导致信号同相轴偏离该假设,进而导致分辨率降低,影响Radon变换去噪方法的保幅能力。文中给出了波场分解类去噪方法的保幅性理论分析思路以及评价标准,然后以Radon变换去除多次波为例,具体分析了Radon变换的各种实现方式对信号的操作过程,并进行了保幅性理论评价。理论分析以及数值试验结果表明:常规Radon变换不满足保幅性处理的要求;最小二乘Radon变换算子满足保幅性要求,但变换域中信号分辨率仍然有待提高;逼近"标准同相轴"假设条件时,高分辨率Radon变换去噪方法在一定精度范围内可以认为是保幅的。

对实验台架往复活塞式柴油机循环过程分析

该实验用往复活塞式内燃机的实际循环是复杂且不可逆的,本文为了简化分析过程,忽略次要因素,应用"空气标准假设"将实际问题抽象概括成内可逆理想循环。通过简化整个循环理想化为以空气为工质的混合加热内可逆理想循环。最终利用Matlab软件代入实测数据对循环各冲程相关参数求解,得出具体参数。所得数据可以用来在线监测内燃机工作状况,对内燃机的维修及优化具有指导意义。