密码协议相关论文
随着5G网络通信时代的到来,信息安全成为人们关注的问题之一,因为没有信息安全,就没有国家安全。保障信息安全使用密码机制的网络......
蓝牙低功耗技术作为物联网的基础构件,成为智能应用不可或缺的无线连接方式,被广泛应用在无线个人局域网中。根据蓝牙技术标准规范......
零知识证明允许证明者向一个验证者证明一个断言的正确性而不泄漏其它任何知识.在理论层面,这一概念的提出对密码学和计算机科学都......
本文找到了TMN密码协议的一些新的攻击,这些攻击具有新的特点:入侵者既作协议的初始者,也作协议的响应者.这种新类型的攻击无疑扩......
密码分析模型一直以来都是信息安全研究的重点之一,特别是分析密码协议代码实现的安全模型值得关注.针对密码协议代码实现的安全分......
通过对大量的密码协议的研究发现,对于密码协议的分析需要有序化,形式化,本文提出一种形式化的分析方法对密码协议进行分析,以使得被此......
对密码协议攻击进行有效的分类及形式化描述有助于密码协议的形式化分析.本文根据攻击的形式化描述需要,在研究入侵者攻击的动作特......
本文给出了一种新的逻辑系统,并给出了若干实用的定理,这些定理可更方便地用来分析密码协议的安全性.此外,本文还给出了若干协议的......
对密码协议的攻击进行有效的分类及形式化描述有助于密码协议的形式化分析.本文在对现存各种攻击分类进行比较和分析的基础上,结合......
本文分析了以前的BAN类逻辑方法,指出了其存在的问题,针对密码协议分析提出了新的逻辑语义,给出了X涵项及消息真实性和双向可追溯......
本文描述了无线移动网络中密码协议的过程,并利用GNY逻辑对密码协议进行了分析,找出协议中存在的安全缺陷,发现了对密码协议的安全威......
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。模型检测是一种针对并发系统的自动分析与验证......
针对现有的基于统计特征的协议识别方法选择识别特征时未考虑不同协议个体之间的差异的问题,结合半监督学习和模糊子空间聚类(FSC)......
形式方法可以辅助设计、分析和验证网络和分布式系统中的密码协议.本文对密码协议形式分析化现状进行了综述,并指出了这个领域的主......
在该文中,作者运用自己提出的运行模式法分析了Helsinki密码协议。分析结果表明,Horng-Hsu攻击是Helsinki密码协议的唯一攻击,提出了......
直接匿名证明(简记DAA)是一种被可信计算联盟采用的匿名性身份认证方案,用来对一个安全硬件模块进行远程认证.本文基于TCM和ECC......
从目前的研究成果来看,基于CPN(Colored Petri Nets,着色Petri网)的密码协议形式化建模及其分析方法主要采用传统的Dolev—Yao攻击者模......
现代密码协议作为网络安全通信系统的核心技术,其重要性不言而喻。然而,如何分析密码协议的安全性,从而证明密码协议的有效性?如何设......
上个世纪末开始,网络成为支撑社会运转的重要基础设施,随着网络在社会生活中的广泛应用,人们对网络安全性的期望和使用网络的安全意识......
信息技术的高速发展和信息交换的日益频繁使得网络通信无处不在,却也为信号的安全传输带来了不容忽视的威胁,无线通信的广播特性使得......
密码协议(Cryptographic Protocols)作为保证电子通信安全的基础模块,是密码学研究中的一个重要方向。在密码算法的基础上,密码协......
首先,该文讨论了信息在网络传送过程中安全问题.分析了信息在网络传送过程中可能受到的攻击的方式,针对攻击方式提出了信息安全的......
密码协议安全性分析与研究对于促进我国信息化建设以及网络安全和信息安全研究具有非常重要的意义。本文主要研究运用模型检测技术......
该文的主要研究工作包括:首先,建立了一个新的密码协议形式化模型,研究了密码协议的一般性理论;其次,提出了新的密码协议安全性自......
该论文的主要工作内容包括如下:1.建立密码协议的新的安全模型;将密码协议与协议中用到的密码算法视为一个系统(称为密码协议系统)......
随着计算机网络通信的迅猛发展,密码协议的重要性越来越得到重视。而在众多的验证方法中,模型检测方法在对密码协议的验证中体现出......
在网络通信日益普及的今天,信息成为当今人类社会的重要战略资源,所以必然会面对越来越多的安全威胁。随着人们对通信安全性的要求日......
该文作者经过辛勤研究,在以下几个方面取得了一些成绩,通过实例分析和比较,显示我们方法的可行性和其中某些技术具有一定的领先性:......
密码协议安全性分析是网络安全的一个难题,运用形式化方法对密码协议进行分析一直是该领域的研究热点.形式化分析由于其精炼、简洁......
本文设计并实现了一个椭圆曲线密码引擎。整个系统分为协议模块、椭圆曲线运算模块、对称密码模块、数字摘要模块、密钥数据库模块......
密码协议的安全性分析对于保障计算机网络的安全通信具有重要意义。运用形式化方法对密码协议进行分析一直是该领域的研究热点。目......
从20世纪70年代到现在,运用形式化方法对安全协议进行分析一直是计算机安全领域的研究热点。并产生了一些比较有影响的验证方法,如......
密码协议是以密码学为基础以达到密钥分配与身份认证等目的的一种消息交换协议,是实现计算机网络系统安全的关键,在投入使用之前应该......
椭圆曲线密码系统的安全性建立在椭圆曲线离散对数问题的难解性上。同其它公钥密码系统相比,它的执行速度快、密钥长度短、安全性......
椭圆曲线密码体制是目前公钥密码体制中在密钥大小相当的情况下安全强度最高的一种密码体制。由于其具有较短的密钥长度、较少的计......
椭圆曲线密码系统近年来已被广泛制定于各种国际标准,椭圆曲线密码技术可应用于加解密、数字签名、密钥交换、大数分解和质数判断等......
安全协议也称密码协议,是建立在密码体制基础上的高互通的消息交换协议,它运行在计算机通信网或分布式系统中,其目的是在网络环境中提......
无线射频识别(简称RFID)技术是从上世纪六七十年代兴起的一项非接触式自动识别技术。现已进入实用化的节段,并广泛的应用于工业生......
零知识证明是一种高级密码协议,它是指声称者要向验证者证明某一断言的真实性,却并不向验证者泄露任何与该断言有关的其他信息。零......
随着Internet技术持续突飞猛进地发展,网络上的信息安全问题日益突出。特别是电子商务、数字货币和网络银行等新业务的深入开展,信......
动态对等群(Dynamic Peer Group(DPG))属于Ad Hoc群的一种,其最显著的特性是对称性和动态性。群中每一个成员都是平等对称的,任何......
密码学作为信息保护的手段,最早应用在军事和外交领域,随科技的发展逐渐进入人们的生活中。传统的对密码协议的建模和分析主要包括......
作为椭圆曲线密码体制(ECC)的推广,Neal Koblitz在1989年提出了超椭圆曲线密码体制(HCC)。超椭圆曲线密码体制是基于有限域上的超......
双线性对是近几年发展起来的用来构造密码协议的一个重要工具。基于双线性对的特殊性质,诸多有趣的密码协议被构造出来。这些协议利......
不经意传输协议(OT)是一种可保护隐私的密码协议,它既可以作为基本组件构造其它安全协议又可以单独应用于电子商务、医疗保健、内......