检索结果-内蒙古大学图书馆

作者：陆明清华大学

学位级别：博士

随着计算机网络的发展和关键任务网络应用的迅速普及,网络安全受到人们的日益重视.网络安全技术,特别是网络环境中的身份认证协议及系统,对于应用的安全起着非常重要的作用,已经成为影响网络进一步发展的重要因素.通过对身份认证协议的... 详细信息

随着计算机网络的发展和关键任务网络应用的迅速普及,网络安全受到人们的日益重视.网络安全技术,特别是网络环境中的身份认证协议及系统,对于应用的安全起着非常重要的作用,已经成为影响网络进一步发展的重要因素.通过对身份认证协议的理论分析和系统设计等方面的研究,可以增强现有网络安全平台的安全性、可用性和可管理性,提高安全系统的效率,为关键任务应用提供高效实用的安全解决方案.论文以身份认证协议为研究重点,围绕Internet/Intranet网络环境中新型应用的安全模型、身份认证协议的特点和应用环境以及安全应用平台设计与实现等方面的课题进行了研究.

关键词：身份认证密码学协议访问控制公钥基础设施

来源：评论

学校读者我要写书评

暂无评论

零知识证明硬件加速研究综述

引用

信息安全研究 2024年第7期10卷 594-601页

作者：谢明东郝萌杨洪伟何慧张伟哲哈尔滨工业大学网络空间安全学院哈尔滨150001 哈尔滨工业大学(深圳)计算机科学与技术学院广东深圳518055 鹏城实验室新型网络研究部广东深圳518055

零知识证明(zeroknowledge proofs,ZKP)是一种允许证明者向验证者证明某一陈述正确性而无需泄露任何其他信息的密码学协议.主要介绍了零知识证明的加速研究,尤其关注了基于二次算术程序(QAP quadratic arithmetic program)和内积证明(... 详细信息

零知识证明(zeroknowledge proofs,ZKP)是一种允许证明者向验证者证明某一陈述正确性而无需泄露任何其他信息的密码学协议.主要介绍了零知识证明的加速研究,尤其关注了基于二次算术程序(QAP quadratic arithmetic program)和内积证明(inner product argument,IPA)的ZKP.研究表明,零知识证明的计算效率可以通过硬件加速技术显著提高,包括使用GPU,ASIC,FPGA等.首先介绍了零知识证明的定义与分类及目前零知识证明应用所遇到的困难.其次详细讨论了不同硬件系统的加速方法、实现原理及其相对于传统CPU的性能提升.例如,cuZK和GZKP利用GPU实现了多标量乘法(multiscalar multiplication,MSM)和数论变换(number theoretic transform,NTT),而PipeZK,PipeMSM,BSTMSM则通过ASIC和FPGA加速这些计算过程.此外,也提到了零知识证明在区块链中隐藏交易细节等方面的应用案例,如ZCash的隐秘交易.最后,提出了未来研究的方向,包括加速更多类型的ZKP和将硬件加速应用到实际的应用场景中,以解决效率低下问题,推动零知识证明技术的广泛应用.

关键词：零知识证明硬件加速计算并行计算密码学协议区块链隐私

来源：评论

学校读者我要写书评

暂无评论

可信平台模块安全性分析与应用

可信平台模块安全性分析与应用

引用

作者：陈军中国科学院研究生院（计算技术研究所）

学位级别：博士

在可信计算技术中,可信平台模块是可信计算技术的核心。可信平台需要可信平台模块的可信测量能力,可信存储能力和可信的报告能力,向用户证实平台是可信的。然而当前人们主要关心可信平台模块的实现以及其上的应用开发,却很少讨论可信平... 详细信息

在可信计算技术中,可信平台模块是可信计算技术的核心。可信平台需要可信平台模块的可信测量能力,可信存储能力和可信的报告能力,向用户证实平台是可信的。然而当前人们主要关心可信平台模块的实现以及其上的应用开发,却很少讨论可信平台模块本身的安全性。这样一方面很难使人们相信可信平台模块本身是安全的,另一方面也不能很好的将可信平台模块应用到安全领域中。在这种情况下,本论文对可信平台模块的安全性进行分析,以得出可信平台模块是否安全,能否改进可信平台模块的安全性,和怎样更好的使用可信平台模块。在分析完可信平台模块的安全性后,具体实现了可信平台模块,并用实现的可信平台模块验证了对可信平台模块的安全性分析。最后基于可信平台模块,开发了两个新的应用模型,以验证可信平台模块的能力。可信平台模块的各种能力是以API(Application Programming Interface)方式提供的,但这些可信平台模块API是否安全,在可信平台模块规范中没有涉及,也没有保证。因此,对可信平台模块API的安全性进行分析是十分必要的。首先,在论文中用一阶逻辑语言建立可信平台模块API的形式化模型,然后对建立的形式化模型进行逻辑推理分析。为帮助对模型进行推理分析,还采用了人工智能中的自动推理技术,编写了自动推理程序。通过推理分析,发现了可信平台模块API的一些安全漏洞。基于分析结果,提出对可信平台模块规范的改进措施。可信平台模块的密码学协议亦是可信平台模块安全的基础。因此,也对可信平台模块密码学协议的安全性进行了分析。首先,使用的SVO逻辑建立可信平台模块密码学协议的形式化描述,然后进行推理分析。在推理分析中,也发现了可信平台模块密码学协议的一些安全漏洞,并在分析的基础上修复了这些安全漏洞。在分析完可信平台模块的安全性之后,实现了可信平台模块。其中,重点改进了可信平台模块所用的两个算法:密钥生成算法和求模拟元算法。对于密钥生成算法,通过理论分析和大量的试验,找到了最适合可信平台模块环境下的密钥生成方法。对于求模逆元算法,在扩展欧拉算法的基础上,提出了一种新的求模逆元算法,该算法比扩展欧拉算法不仅内存所需更少,而且运行速度更快。这些算法有效地解决了在实现可信平台模块中的技术难题,提高了可信平台模块的运行效率。最后基于可信平台模块,开发了两个新的应用模型。一个是一种新的监控方法,该监控方法能使管理中心获知被管理设备当前是否处于可信状态,从而使管理中心能够确定被管理设备当前是否存在未知的攻击。另一个是一种新的CA(Certificate Authority)方案,该方案不仅解决CA抵抗外部攻击的问题,而且也解决了CA抵抗内部攻击的问题。通过两个新的基于可信平台模块的应用模型开发,验证了可信平台模块的能力。

关键词：可信平台模块可信计算安全芯片安全API 密码学协议自动推理模逆元算法监控方法认证中心(CA)

来源：评论

学校读者我要写书评

暂无评论

理性的秘密共享及安全多方计算协议若干技术的研究

理性的秘密共享及安全多方计算协议若干技术的研究

引用

作者：彭晓宇北京工业大学

学位级别：硕士

在当今信息时代，社会和个人对于数字信息保护及各种安全服务的需求越来越高。密码学为解决这些问题提供了关键技术，根据不同的应用场景设计了与之对应的密码学协议。在这些协议中，通常假设参与者要么是完全诚实的，在协议执行过程中... 详细信息

在当今信息时代，社会和个人对于数字信息保护及各种安全服务的需求越来越高。密码学为解决这些问题提供了关键技术，根据不同的应用场景设计了与之对应的密码学协议。在这些协议中，通常假设参与者要么是完全诚实的，在协议执行过程中始终遵守协议，要么是恶意的，任意地执行协议，所有的参与者都没有动机、偏好。然而，在现实生活中，参与者都有一定的偏好取向，执行协议的过程就如同偏好关系的持续对立。因此，假设参与者是自私的，一切行动的出发点是为了最大化自身的效用，则更具有现实意义。博弈论作为研究自私的理性参与者之间如何决策及行动的一门学科，在军事、管理、政治、经济以及个人生活中发挥着重要的作用。2004年，Halpern和Teague首次提出在秘密共享和安全多方计算中引入博弈论的思想，分析可知传统的协议在理性环境中不再可行，随后设计的理性协议不仅突破了传统密码学协议对于参与者的限制，而且有效阻止了参与者的背离行为，由此引发了学者们对于这一领域的关注。然而目前存在的理性密码学协议或多或少的存在一些问题，因此如何合理的将博弈论应用到密码学协议的设计过程中，使得理性的参与者能够正确地遵守协议解决密码学问题是很值得研究的。\n 本文在对已有的研究成果进行研究的基础上，对博弈论应用于秘密共享和安全多方计算协议进行了更加深入的研究，主要工作和研究成果如下：\n (1)对密码学与博弈论进行了比较，根据实际的研究问题设计了问题的博弈模型和与结果相对应的均衡状态。之后利用模型对传统协议进行博弈分析，根据分析结果对模型进行了扩展，首次提出利用动态的博弈模型和均衡结果来进行问题模拟，扩展后的混合模型更适合研究带有随机性机制的协议。\n (2)设计了一个理性的秘密共享协议并对其进行了分析，这个协议不仅实现了之前理性秘密共享协议实现的功能，而且不依赖仲裁者和较强的物理假设，过程更简单，并且协议具有可行性、安全性、可验证性，与之前的协议相比具有更高的效率。\n (3)将理性的秘密共享技术应用到安全多方计算中，分别设计了基于不经意传输和基于秘密共享的理性安全多方计算协议，经证明，这两个协议都比之前的协议更高效，且各自有自己的适用范围。

关键词：密码学协议秘密共享安全多方计算博弈论

来源：评论

学校读者我要写书评

暂无评论

基于CL匿名凭证系统的属性证明协议的研究与实现

基于CL匿名凭证系统的属性证明协议的研究与实现

引用

作者：王佳东北大学

学位级别：硕士

匿名凭证系统采用一种匿名的且不可连接的方式来出示用户的电子身份凭证,同时能够对一系列属性关系进行证明。但是,传统的属性证明协议通常具有与用户属性数量相关的线性计算复杂度,不适用于智能卡等资源有限的设备。因此,论文针对该问... 详细信息

匿名凭证系统采用一种匿名的且不可连接的方式来出示用户的电子身份凭证,同时能够对一系列属性关系进行证明。但是,传统的属性证明协议通常具有与用户属性数量相关的线性计算复杂度,不适用于智能卡等资源有限的设备。因此,论文针对该问题对属性证明协议的计算复杂度优化进行了研究,提出一系列高效的属性证明协议。本文的核心思想是,为用户的每一个属性颁发对应的匿名凭证,并且通过选择性地聚合用户签名的方式来证明其属性关系。本文的主要工作有：(1)对Camenish和Lysyanskaya在2004年提出的CL签名机制进行研究与改进,结合聚合签名的技术,提出选择性聚合CL签名机制,该签名机制在签名验证阶段具有常数的计算复杂度；并证明了该签名机制在标准模型下具备正确性,且对于自适应消息选择攻击存在不可伪造性。在此基础上,构造匿名凭证系统,并形式化地证明该协议的安全性。(2)在匿名凭证系统中设计一系列属性证明协议。由于其基于属性的策略,用户不仅能够自主选择证明协议中需要涉及的属性和相关的匿名凭证；而且也能够在证明这些属性关系的同时证明对其匿名凭证的持有。本文对这些属性证明协议进行描述,并形式化地证明其安全性。(3)采用Java语言,使用了IatePair包,利用椭圆曲线上的双线性对运算来实现这些属性证明协议。协议包括三个实体：用户(User),凭证颁发者(Signer)和验证方(Verifier)。首先给出实体类的设计,包括ECC类,user、signer、verifier类以及各自的成员属性和方法；其次给出了核心功能的实现过程,包括选择性聚合CL签名机制,匿名凭证颁发协议和属性证明协议的实现流程图；最后对属性证明协议进行时间复杂度和具体性能的分析表明,本文的属性AND和OR关系证明协议的计算代价都小于传统的CL匿名凭证系统和基于累加器的系统；而属性区间和不等式证明协议在传统的CL匿名凭证系统和基于累加器的系统中都未涉及到,本文对于属性区间和不等式谓词的证明进行了完善。

关键词：匿名凭证系统高效属性证明聚合签名隐私保护密码学协议

来源：评论

学校读者我要写书评

暂无评论

非交互零知识证明及其密码应用

引用

密码与信息 1996年第2期 14-22页

作者：冯登国中科院研究生院DCS中心

本文概述了非交互零知识证明和理论和它们的密码学应用。

关键词：零知识证明密码学协议密码非交互式

来源：评论

学校读者我要写书评

暂无评论

基于CL匿名凭证的属性证明协议综述

引用

科学与信息化 2019年第1期 51-52页

作者：王佳国家知识产权局专利局专利审查协作天津中心天津 300308

匿名凭证系统采用一种匿名的且不可连接的方式来出示用户的电子身份凭证,同时能够对一系列属性关系进行证明.但是,传统的属性证明协议通常具有与用户属性数量相关的线性计算复杂度,不适用于智能卡等资源有限的设备.因此,本文针对该问题... 详细信息

匿名凭证系统采用一种匿名的且不可连接的方式来出示用户的电子身份凭证,同时能够对一系列属性关系进行证明.但是,传统的属性证明协议通常具有与用户属性数量相关的线性计算复杂度,不适用于智能卡等资源有限的设备.因此,本文针对该问题对属性证明协议的计算复杂度优化进行了研究,为用户的每一个属性颁发对应的匿名凭证,并且通过选择性地聚合用户签名的方式来证明其属性关系.

关键词：匿名凭证高效属性证明聚合签名密码学协议

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：