可任意花费的可传递电子现金系统

针对现有的可传递电子现金系统在传递协议中传递花费顺序固定以及传递次数受限制的问题,利用Groth-Sahai证明系统、对承诺的承诺和Ghadafi群盲签名,在标准模型下构建一个具有最优匿名性的可任意花费的等长可传递电子现金系统,该系统中电子现金的花费不受任何花费顺序限制,传递次数是任意次.基于对承诺的承诺,可以对所传递的序列号进行压缩,从而保证用户传递电子现金的长度是常量;基于Ghadafi群盲签名,实现了电子现金花费用户的任意性;在标准模型下,证明了新系统的安全属性,该系统具有不可伪造性、最优匿名性、不可重复花费性和不可诬陷性.      

基于控制流精化的反汇编方法

反汇编过程是整个逆向工程的基础和重要部分。为提高反汇编过程的效率及反汇编结果的准确度,通过对传统反汇编方法的探究,提出了一种基于控制流图精化的静态反汇编方法。该方法把二进制代码通过函数定位切分成单个函数,然后再对单个函数生成初始的过程内控制流图,使用图论的方法与汇编指令的特征匹配相结合,提炼出真实的控制流图。使用CoreUtils中的22个程序作为测试基准,使用2种线性扫描算法作为比较基准。实验结果表明:本文所提出的反汇编方法比Objdump快63.2%,并且可以高度精确地绘制出控制流图,因此具有准确度高、效率高的显著特性。     

符号执行中的约束求解问题研究进展

在符号执行中,约束求解主要负责路径可达性进行判定及测试输入生成的工作,但路径爆炸问题带来的频繁调用,以及SMT求解器本身的能力和效率的不足,使得约束求解占用了符号执行中主要的性能开销,约束求解问题也成为符号执行中面临的主要瓶颈问题之一.本文介绍了符号执行和约束求解的基本概念,并分析了符号执行中约束求解问题的由来,对近年来的约束求解问题研究进展进行了归类,涉及的技术包括非相关约束分支切片、约束简化、快速不满足性检查及多求解器支持等.对这方面的研究进行了展望和总结.提出未来工作应在提高路径约束逻辑精简率、提高约束求解结果存储和重用的效率、约束求解并行化以及约束求解配置预测等方面展开.      

裂缝发育程度对低孔隙度岩石渗流特性的影响

低孔隙度岩石中的裂缝对储层渗透率具有重要影响,但裂缝的存在导致岩心代表性样品选取和高精度岩石物理参数测量困难。为研究裂缝对低孔隙度岩石渗透率的影响,通过高精度电子计算机断层扫描(computed tomography, CT)实验构建了低孔隙度岩石的三维数字岩心模型,采用添加平板裂缝的方法构建了不同裂缝参数的低孔隙度岩石数字岩心,并利用格子玻尔兹曼(lattice Boltzmann method, LBM)方法计算了不同裂缝参数数字岩心模型的渗流场分布和绝对渗透率。结果表明,尽管低孔隙度岩石的数字岩心模型基质渗透率低,但裂缝的存在对岩石渗透率有一定程度的提高。然而,裂缝发育程度对渗透率影响规律不同：当单条裂缝孔隙度在0～0.4%时,裂缝对模型渗透率影响不明显;当单条裂缝孔隙度大于0.4%时,裂缝对模型渗透率具有显著影响;模型渗透率随裂缝开度增大而增大,随裂缝倾角增大而减小,随裂缝数量增加而增大。另外,裂缝与基质存在耦合作用,与裂缝相连的孔隙中流体流速明显提高,显示裂缝对基质孔隙的强连通作用。本研究结果对含裂缝的低孔隙度储层渗透率精确计算及储层压裂后的油气产能评价有指导意义。