零知识证明协议研究

在当代密码学中,零知识证明占据着重要的位置.已经成为信息安全领域身份认证的关键技术之一,吸引了许多学者的注意,并得到了一系列的重要研究成果.文章首先阐述了零知识证明的主要思想、零知识证明协议的性质以及零知识证明协议所主要基于的几类数学问题.接着,着重研究了零知识证明在相关问题中的应用.最后,对本文进行了总结,以期能够吸引更多的学者在更广泛的领域对零知识证明协议进行研究.     

零知识证明在版权保护中的应用

列举了常用的版权保护方法,指出了数字水印技术在版权保护中的局限性,提出了一种新的版权保护技术,并通过建模证明了该技术的可行性与优势所在。     

基于零知识证明和M-H背包问题的身份识别技术研究

零知识证明的思想在密码学领域应用非常广泛。基于该思想和M-H背包公钥密码系统,创造性地提出了一种应用于该加密算法中的身份识别方案。该识别方案可用于发送方向接收方发送加密消息时,接收方对发送方身份的鉴别和认证。这是一个交互式的证明过程,可以防止身份的假冒。就其实施的可行性进行了证明,并分析和总结了方案存在的一些局限性。     

基于零知识证明的身份识别体制探讨

身份认证是信息安全的重要内容 ,文章介绍了零知识证明的基本思想 ,分析了基于零知识证明的身份识别体制 ,对基于零知识证明的身份识别体制的构建进行了探讨     

阿里巴巴的零知识证明

战争中你被俘了,敌人拷问你情报.你是这么想的:如果我把情报都告诉他们,他们就会认为我没有价值了,就会杀了我省粮食;但如果我死活不说,他们也会认为我没有价值而杀了我.怎样才能做到既让他们确信我知道情报,但又一丁点儿情报也不泄露     

一个拥有DSA数字签名的零知识证明的安全性分析

秘密的零知识证明是密码学中一个基本的方法,被广泛应用于数字签名中。文章对学者已经提出并证明的一个拥有DSA数字签名的零知识证明方案重新进行了安全性分析,并提出了一个改进的拥有DSA数字签名的零知识证明方案。该方案可以预防不拥有签名的第三方的欺骗或攻击,同时也能预防证实者的欺骗性。     

基于区块链与零知识证明的物流隐私保护研究

物流中转过程中使用的快递单容易暴露用户的隐私信息,同时服务器的存储不当也增加了隐私泄露的风险.为防止物流用户隐私数据泄露,提出基于区块链和零知识证明的物流用户隐私数据保护方案,使用RSA零知识证明身份认证方法对加入区块链网络的用户进行身份认证,确保真实性和合法性;认证完成则通过访问权限管理方案分配对应权限,获取相应隐私...     

几类不等式的证明

不等式的证明在高等数学通用教材中遇到的较多，学生对它的处理往往无从下手，主要是因为由条件向结论过渡的解题方向不易确定，但是高等数学中不等式的证明还是有一些规律可循的。本文就不等式的证明归纳出了证明方法和基本思路。     

例说数学公式的物理证明

在解物理题的过程中，我们经常用到数学中的公式，即数学公式是以工具的形式出现的。事实上我们也可用物理题来证明数学公式。     

应用凸函数性质证明几个不等式

给出了两个一般的不等式，并用分析方法和凸函数的性质进行了证明．     

证据能力和证据证明力的关系初探

证据能力和证据证明力是证据法学中的两个不同的概念，二者的关系理论上存在着重大的分歧。从理论上正确界定证据能力和证据证明力的关系，具有公正高效地裁判和遏制司法腐败的实践价值。     

鉴定意见的证据能力和证明力

在当今各国的司法实践中,司法鉴定的使用日益广泛,鉴定意见在帮助法官查明事实方面也有着无可替代的作用。但是我国司法鉴定的相关制度并不是十分完善。一直以来,相当一部分法官和当事人把鉴定意见当作科学结论,而忽视了其言词证据的本性,因此疏于对其证据能力和证明力进行审查。因此,我国应借鉴各国的实践经验,分析我国现状,从鉴定机构、鉴定人、鉴定意见三方面完善立法,以促使司法鉴定更好地发挥功效。     

举证责任分配规则若干问题分析

举证责任分配规则分为一般规则和特别规则。《民事诉讼法》没有规定举证责任分配的特别规则,《规定》在最高人民法院《关于适用〈民事诉讼法〉若干问题的意见》的基础上,进一步完善了举证责任分配的特别规则。据此,举证责任的分配,首先应依据民事诉讼法和民事实体法的规定进行,在上述法律没有具体规定时,再参照《规定》和其他司法解释的规定确定。只有在上述法律和司法解释的规定都无法解决举证责任的分配问题时,才能适用法官裁量权。在法律和司法解释已有明确规定时,法官无权对举证责任的分配进行自由裁量。     

Cramer法则的证明

行列式是代数学习和应用中重要的一个基本内容,而Cramer法则是行列式的压轴,该法则的原始证明要利用和逆用展开法则,复杂且难于理解.本文利用行列式的性质给出Cramer法则的简洁证明,并且根据教材的编排不同再给出了Cramer法则的另外两种证明方法.     

编辑性校对

简单说明校对在出版工作中的重要性,提出在不同校次中有侧重地对编校中较易出现差错的地方进行重点校对,对缩小编校差错率、提高出版质量是行之有效的     

初中生对几何证明的认识

直观实验和几何证明是几何教学中常用的两种重要方法.学生对几何证明的本质还缺乏认识.学生认为直观实验不能算是几何证明,一方面因为直观实验存在误差,另一方面直观实验只能从不完全归纳中得出结论.     

论司法证明方法的第三次转变

从古到今,司法证明方法变动不居。而证据是司法证明方法历史兴替的标志,证明方法的各种属性是司法证明方法历史兴替的根据。发源析流,知古鉴今,人类社会的司法证明方法已然经历过两次重大的转变,当代基于各种现代技术手段和仪器测试而取得的各种各样的心理证据的出现预示着司法证明方法第三次转变的发展方向。而一些国家对证明犯罪人主观心理方法合法性的立法认可显露了司法证明方法第三次转变的冰山一角。     

略论行政诉讼举证责任

举证责任来源于古罗马法的概念，我国《行政诉讼法》首次对举证责任制度加以规定，但并未对其做出详尽的说明，因而在理论界和司法实践中对举证责任的具体分配则争论颇多。从举证责任的涵义和性质入手，分析举证责任的分配规则。     

一个可积性结论的证明

如果f(x)在[a,b]上可积,则f(x)在D[a≤x≤b;c≤y≤d]上也可积。