多项式函数根的零知识证明协议

多项式函数是数学和理论计算机研究中最常见的一类函数,而多项式函数根的零知识证明,是零知识证明在数学领域的重要应用,有重要的理论和应用价值。为有效解决多项式函数根的零知识证明问题,利用计算离散对数的困难性假设,提出并解决了多重离散对数问题,以此为基础构造了多项式函数根的零知识证明协议。理论分析结果表明该协议是安全和可靠的。     

一个基于交互式零知识证明的身份鉴别协议

提出了一个基于零知识证明的身份鉴别协议。该协议的安全性依赖于大数的因子分解和离散对数两个NP完全问题。该协议可以被方便地应用到智能卡系统中去，协议中证明者（Prover)和验证者（Verifier）具有同样的计算能力，而且该协议要求最小限度的计算量和通信流量。     

一种高效的多证明者零知识论证系统

基于离散对数构造了一种高效的多证明者零知识论证系统,即使验证者具有无穷的计算能力,也得不到证明者的任何信息.基于该协议能构造一种具有完全安全的永久秘密共享方案.     

基于秘密共享的数字签名方案

针对数字签名安全性问题,利用离散对数问题的难解性和零知识证明协议,结合(t,n)门限签名方案与参与者的身份,提出了一种基于秘密共享的数字签名方案.方案中,无可信秘钥分发中心,参与者的秘密份额由参与者自己生成,能多次使用,且参与者的身份由参与者结合自己的秘密份额生成;秘密更新只更新公开信息,不影响参与者的秘密份额;任何人都可检测分发者是否欺骗参与者及参与者之间是否有欺骗行为;只有授权子集用户才能代表群体进行签名,部分签名和群签名的生成与验证有效;离散对数问题的难解性及零知识证明协议保证信息传输的安全性,进而使得方案的安全性进一步提高.分析表明,该方案是安全的、有效的.     

一种新的零知识证明协议

利用Chik How Tan加密方案对SDH对(A,a)进行加密,生成(A,a)的零知识证明协议,然后证明了该协议为诚实验证者在DBDH假设下对SDH对(A,a)的零知识证明.该协议适用于对数据的安全性要求较高的用户.与类似文献相比,该协议效率更高.     

一种新的零知识证明协议

利用Chik How Tan加密方案对SDH对（A,a）进行加密,生成（A,a）的零知识证明协议,然后证明了该协议为诚实验证者在DBDH假设下对SDH对（A,a）的零知识证明.该协议适用于对数据的安全性要求较高的用户.与类似文献相比,该协议效率更高.     

生成函数的应用

在函数论、组合数学、解析数论等学科的研究领域中 ,一些恒等式的证明结果及证明方法极为重要。本文以生成函数为工具 ,讨论了生成函数方法的广泛应用。设 { An} (n=0 ,1 ,2… )是一待定数列 ,若能作出一个函数 F(x) ,使得 F(x)的展开式恰好是F(x) =A0 A1 x2 Anxn … ,则称函数 F(x)是数列 { An} (n=0 ,1 ,2… )的生成函数。相应地数列 { An}称为 F(x)的生成数列。一、幂级数作为生成函数最初应用幂级数作为生成函数的是欧拉 ,其后拉拉普斯曾广泛采用此方法。该方法主要是通过多项式或幂级数相乘方程中合并同类项 ,从而得到相关的结…     

双向零知识证明与初等函数两方保密计算

提出了双向零知识证明的概念,研究了双向零知识证明与传统的零知识证明之间的关系,设计了两个最基本的双向零知识证明协议。提出并研究双向零知识证明的目的是希望用双向零知识的思想,研究多方安全计算问题。将双向零知识证明协议用于构造两方保密计算协议,取得了一些结果：设计了容忍恶意行为的指数函数,幂函数,对数函数,三角函数的两方安全计算协议：研究了健忘计算多项式的协议。     

圆锥曲线上基于零知识的身份鉴别协议

提出了一种安全性是基于圆锥曲线上离散对数计算的零知识身份鉴别协议 .这种协议比基于离散对数的同类协议运算速度更快 ,比椭圆曲线上的同类协议在设计、实现上更为方便 .在经过形式化分析了协议安全性后 ,针对该协议可能出现的一个漏洞 ,提出了简单的解决方案 .     

公平的无连接可分电子现金方案

基于二叉树、比特承诺、零知识证明等技术提出了一种具有完全无连接性,无需可信第三方参与的、公平的可分电子现金方案。方案的开户协议和取款协议复杂度均为O（N＋K）,用户花费任意一个节点的电子现金时间复杂度为O（poly（K）·polylog（N））,存款协议的时间复杂度与支付协议相同。方案的安全性基于强RSA问题假设、计算离散对数困难问题假设和单向哈希函数的存在性假设。     

民间法正义观的转型

研究了国家法的抽象正义观与民间法的情理正义观,认为西方国家法的抽象正义观与东方民间法的情理正义观存在实质的不同,原因在于思维方式、超验与经验传统、政治结构的差别。在现代法治理念下,传统民间法所代表的正义观将向混合正义观转型,西方法治所代表的国家法抽象正义观是其骨架。     

关于农业区划地图集中的统一协调问题

图集的统一协调,对图集质量有很大影响。本文是作者在编制北京市农业区划地图集的实践基础上,根据地图信息传输论的观点,对农业区划地图集的统一协调的内容及方法进行了探讨。试图总结编制这类图集的统一协调模式,以供读者编图时参考。     

十二烷基苯硝化选择性的测定

利用对位异构体的对称性由核磁共振氢谱测定了工业十二烷基苯在硝硫混酸中的硝化选择性，发现一硝化产物中对位异构体的比例为７５％￣８０％。以月桂酸和苯为原料，经氯化、酰化和还原合成了正十二烷基苯。在同样条件下研究了正十二烷基苯的硝化，由核磁共振氢谱和气相色谱分析，发现一硝化产物中对位异构体的比例仅为６０％。根据空间位阻效应，对结果进行了讨论，并与甲苯，乙苯，异丙苯等短链烷基苯的硝化结果进行了比较。     

YBCO掺杂效应研究

介绍了YBCO掺杂的基础知识,总结了YBCO各个位置采用典型元素掺杂而导致的超导电性和结构的变化,阐述了掺杂对YBCO的重要影响,并简介了当前YBCO掺杂效应研究中的几个热点问题.     

高频机组基础振动检测分析

为了找出诱发高频机组基础不良振动的原因，从基础计算模型方面对基础激励与响应进行了分析，以两个高频机组基础为动测实例，经模态分析得出钢筋混凝土构架式基础竖向1阶振动与电机产生共振；应用功率谱法对动力机组及基础平台进行动测，得出平台异常响应频率66Hz为水泵工作频率，调整机器的工作频率可避开不良振源影响，达到明显的减振效果。由此而知，动力机器基础出现不良振动时，不可盲目改变结构的动力特性，应在机器不同工况比如：停机、起机及正常转速下，对机器及基础进行动测并对振动信号进行比较分析，以制定出行之有效的减振方法。     

整数幂的和计算中的一些规律

给出整数幂的和的另一种计算公式的方法.     

曲面“侧”概念的“参照物”理解法

曲面“侧”是一个重要而难以理解的概念 ,本文对曲面“侧”概念的讲授方法进行了探讨 ,给出了曲面“侧”概念的“参照物”理解法 ,通过实践证明 ,效果良好。     

关于一维非自治时滞系统点态退化一例

给出了一维非自治时滞系统点态退化的一个例子,拓宽了该领域的研究。     

老年人生活空间移动性影响要素研究进展

 老年人生活空间移动性是老年人在日常生活中能动生活状态的重要表征。在梳理老年人生活空间移动性相关概念、测度方法基础上,分析了物质环境要素和非物质环境要素对老年人生活空间移动性的影响;提炼出有效支持老年人生活空间移动性的中观环境规划、微观环境设计和政策文化扶助层面的策略;指出了老年人生活空间移动性的研究建议和发展方向。     

宏观收入分配不等性分析

宏观收入量的分配不仅反映一个国家总体消费的基础水平，而且影响到各阶层消费水平及消费方式．虽然一个国家的宏观收入量的分配不可能绝对平等，但是不等性的大小往往影响到社会和经济的发展，影响到社会的稳定．本文采用洛伦茨曲线、基尼系数来描述宏观收入的不等性，并结合实际情况对我国宏观收入的不等性进行了具体的分析．