密码协议相关论文
随着5G网络通信时代的到来,信息安全成为人们关注的问题之一,因为没有信息安全,就没有国家安全。保障信息安全使用密码机制的网络......
蓝牙低功耗技术作为物联网的基础构件,成为智能应用不可或缺的无线连接方式,被广泛应用在无线个人局域网中。根据蓝牙技术标准规范......
现代密码协议作为网络安全通信系统的核心技术，其重要性不言而喻。然而，如何分析密码协议的安全性，从而证明密码协议的有效性?如何设......
上个世纪末开始，网络成为支撑社会运转的重要基础设施，随着网络在社会生活中的广泛应用，人们对网络安全性的期望和使用网络的安全意识......
信息技术的高速发展和信息交换的日益频繁使得网络通信无处不在，却也为信号的安全传输带来了不容忽视的威胁，无线通信的广播特性使得......
密码协议(Cryptographic Protocols)作为保证电子通信安全的基础模块,是密码学研究中的一个重要方向。在密码算法的基础上,密码协......
首先,该文讨论了信息在网络传送过程中安全问题.分析了信息在网络传送过程中可能受到的攻击的方式,针对攻击方式提出了信息安全的......
密码协议安全性分析与研究对于促进我国信息化建设以及网络安全和信息安全研究具有非常重要的意义。本文主要研究运用模型检测技术......
随着计算机网络通信的迅猛发展,密码协议的重要性越来越得到重视。而在众多的验证方法中,模型检测方法在对密码协议的验证中体现出......
密码协议安全性分析是网络安全的一个难题,运用形式化方法对密码协议进行分析一直是该领域的研究热点.形式化分析由于其精炼、简洁......
本文设计并实现了一个椭圆曲线密码引擎。整个系统分为协议模块、椭圆曲线运算模块、对称密码模块、数字摘要模块、密钥数据库模块......
密码协议的安全性分析对于保障计算机网络的安全通信具有重要意义。运用形式化方法对密码协议进行分析一直是该领域的研究热点。目......
密码协议安全性分析是网络安全的一个难题，从20世纪30年代到现在，运用形式化方法对安全协议进行分析一直是计算机安全领域的研究热点......
密码协议是以密码学为基础以达到密钥分配与身份认证等目的的一种消息交换协议，是实现计算机网络系统安全的关键，在投入使用之前应该......
椭圆曲线密码系统的安全性建立在椭圆曲线离散对数问题的难解性上。同其它公钥密码系统相比,它的执行速度快、密钥长度短、安全性......
椭圆曲线密码体制是目前公钥密码体制中在密钥大小相当的情况下安全强度最高的一种密码体制。由于其具有较短的密钥长度、较少的计......
密钥生成是密钥管理的研究内容，密钥安全是一切安全密码系统的基础，在执行密码协议前必须先生成密钥。为了进行分布式计算等操作，我们......
椭圆曲线密码系统近年来已被广泛制定于各种国际标准，椭圆曲线密码技术可应用于加解密、数字签名、密钥交换、大数分解和质数判断等......
安全协议也称密码协议，是建立在密码体制基础上的高互通的消息交换协议，它运行在计算机通信网或分布式系统中，其目的是在网络环境中提......
无线射频识别(简称RFID)技术是从上世纪六七十年代兴起的一项非接触式自动识别技术。现已进入实用化的节段,并广泛的应用于工业生......
零知识证明是一种高级密码协议,它是指声称者要向验证者证明某一断言的真实性,却并不向验证者泄露任何与该断言有关的其他信息。零......
随着Internet技术持续突飞猛进地发展,网络上的信息安全问题日益突出。特别是电子商务、数字货币和网络银行等新业务的深入开展,信......
密码学作为信息保护的手段,最早应用在军事和外交领域,随科技的发展逐渐进入人们的生活中。传统的对密码协议的建模和分析主要包括......
作为椭圆曲线密码体制(ECC)的推广,Neal Koblitz在1989年提出了超椭圆曲线密码体制(HCC)。超椭圆曲线密码体制是基于有限域上的超......
双线性对是近几年发展起来的用来构造密码协议的一个重要工具。基于双线性对的特殊性质，诸多有趣的密码协议被构造出来。这些协议利......
不经意传输协议(OT)是一种可保护隐私的密码协议,它既可以作为基本组件构造其它安全协议又可以单独应用于电子商务、医疗保健、内......
近年来,随着计算机和信息技术的飞速发展,信息技术已融入人们生产、生活的各个方面,信息系统的安全性日益成为人们关注的焦点。同......
为了建立安全的会话,现实生活中的参与者需要建立密钥以便形成会话密钥,该临时的、新鲜的密钥用于参与者之间的安全通信。常见的密......
信息加密是计算机网络安全研究中的重要内容之一,而密钥是加密算法中的可变部分,它很大程度上决定着保密通信的安全。所以,通信双......
基于传统的Dolev-Yao攻击者模型的密码协议形式化建模及其分析方法中,由于攻击者依据自身的知识和截获到的消息,形成尽可能的数据......
密码协议安全性分析对于保障计算机网络的安全通信具有重要意义。本文主要研究运用形式化技术分析密码协议的理论与技术。研究成果......
随着互联网应用的发展，越来越多的密码协议用于开放网络环境中解决各种应用需求，成为许多分布式应用的基础。由于密码协议运行的复杂......
混淆理论来源于代码混淆,其发展近年来十分迅速。简单来说,混淆器是一个以程序(图灵机或回路)作为输入,并输出具有相同功能性的另......
近年来,安全可靠的群通信已成为研究领域的热点问题,尤其是在基于群的应用和合作领域,群通信越来越受到人们的关注。设计安全有效......
应用层各种载荷特征对密码协议安全性进行分析至关重要。现有方法仅考虑报文载荷中的明文信息,无法有效利用密文数据信息特征。本......
量子保密通信是指利用量子密钥来加解密信息,而传输信息的是否安全是由量子密钥的安全性来保证的。当前,量子保密通信的进步日新月......
秘密共享是密码协议的重要组成部分,特别是随着计算机及网络技术的快速发展,对重要而敏感信息的保护日益受到社会的高度关注。秘密......
博弈论与密码协议研究的都是互不信任参与方之间的交互问题.博弈论深化了密码协议的假设条件,由对诚实或恶意参与方的研究延展到对......
类ＢＡＮ逻辑通常都分析了ＢＡＮ逻辑的缺陷并相应地发展了自己的推理法则，在 ＢＡＮ逻辑的缺陷中最受关注的是消息可识别性问题和密钥保密性问题。该......
目前还未见到公开发表的对WTLS握手协议进行形式化分析的研究成果。本文首次使用密码协议分析工具集AVISPA,从机密性和鉴别两个方......
本文引入公钥加密方案的新安全定义N-PAT,最后针对协议的迹性质与秘密性证明了扩展后方法的可靠性,即如公钥加密方案满足N-PAT,则......
密码协议可以维护网络通信和其中的各个分布式系统的安全,为了让恶意攻击者无法获取机密信息或者借安全漏洞进行不公平认证,需要对......
在密码协议的实际运行中,为保护密码协议安全运行,针对密码协议上攻击产生的原因,文中设计了两种能容忍入侵的密码协议自适应调整......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
