BAN逻辑相关论文
物联网（IoT）是指由物理对象连接而成的网络。21世纪,物联网正以前所未有的速度走进人们的生活。随着物联网的快速发展,我们周围的物......
目前,互联网的核心是TCP/IP协议,该技术的设计初衷是针对端到端的主机通信。但随着互联网的高速发展,互联网用户的数量爆炸式增长......
射频识别（Radio Frequency Identification,RFID）技术是物联网感知层的关键技术,是一种通过无线射频信号采集物体信息的自动识别技术......
量子密码协议的安全性证明一直以来是一个研究难点,虽然QKD协议已经被证明是无条件安全的,但是证明过程相当复杂.到目前为止还没有......
认证协议的形式化描述及分析已成为国际的研究热点.本文采用BAN逻辑对SIP网络中采用的HTTP Digest认证协议进行形式化,并对其认证......
本文对身份认证协议和密钥建立协议作了详细的分类,并对分类后的各种类型协议的安全目标作了较为详细的逻辑公式刻划,据此给出了新......
近年来,人们在运用BAN逻辑进行形式化分析时,发现非形式化的理想化步骤是其致命缺陷,导致目前BAN逻辑的研究进展迟缓.有鉴于此,人......
随着网络的迅速发展，网络安全问题日益突出，正确分析和验证安全协议尤为必要。目前对安全协议进行分析的主流方法是形式化分析方法。......
本文在基本概念中给出了一种新的逻辑语义,在此基础上对身份认证协议和密钥建立协议做了更细的分类,并对分类后的各种类型协议的安......
射频识别(Radio FrequencyIdentification, RFID)是一种无需直接接触的自动辨别技术，通过使用无线射频信号辨别目标对象并获得其相......
首先本文针对安全套接层协议SSL在电子商务应用中的安全缺陷，提出了克服协议缺陷的改进策略，进一步完善了SSL协议，增强了网络的安......
RFID(Radio frequency identification)无线射频识别技术是一种利用无线电射频进行信息通信的非接触式自动识别技术。它具有快速、......
RFID技术是一种利用射频信号的空间耦合和传输特性来实现对静止或移动物品进行交换数据和自动识别的技术。其能在无须人工参与的情......
学位
密码学作为信息安全的关键技术,是目前研究领域的一个热点,也是计算机网络安全的基础.该文重点介绍了安全协议的一些特征,并针对基......
计算机网络的出现使世界的联系变得更加紧密。但是，开放式网络上和分布式系统上不断增长的各种应用尤其是电子商务的蓬勃发展，对系统......
随着互联网技术的飞速发展，网络技术日益广泛的应用于商业、金融、国防等各个领域，并影响着人们生活和工作的方方面面。但是网络固有......
密码协议安全性分析是网络安全的一个难题,运用形式化方法对密码协议进行分析一直是该领域的研究热点.形式化分析由于其精炼、简洁......
移动通讯的发展正影响着无线通讯的未来。然而，无线接入固有的安全缺陷和移动性带来的安全高风险使第三代移动通信系统面临着严重的......
信息安全在银行、电信、政府机关大型软件系统中的重要性愈来愈显突出，这些领域的软件系统对安全性要求极高。由于信息安全对国民经......
随着电子商务在全球的迅猛发展，电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础......
在一个分布式的网络环境中，人们通过安全协议实现安全共享网络资源的需求，因此安全协议的安全性逐渐成为网络安全的关键。传统的安全......
随着计算机网络的广泛应用，计算机网络的安全问题也日益引起人们的重视。在网络安全中，各种安全服务都是基于安全协议的，这使得安全协......
随着Internet和分布式系统的广泛应用,安全协议逐渐发挥着越来越重要的作用。形式化的方法是分析安全协议的主要方法。目前已经有......
随着计算机网络通信的迅猛发展,网络安全开始被人们所重视,其中安全协议分析验证已成为一个研究热点。对安全协议的分析验证的方法......
无线射频识别(简称RFID)技术是从上世纪六七十年代兴起的一项非接触式自动识别技术。现已进入实用化的节段,并广泛的应用于工业生......
认证协议是安全协议中最基本、最重要的一种,其目标是实现通信实体的身份认证和在通信实体间分发会话密钥。对认证协议的攻击形式......
随着互联网的深度发展和电子商务的迅猛发展，移动支付以其方便易行、支付成本低等优点受到消费者的欢迎，并逐渐成为一种流行的支付方......
射频识别技术(Radio Frequency Identification, RFID)是一种非接触式自动识别技术,它利用射频信号自动识别目标对象并获取相关数......
传统的身份认证协议大部分都是采用用户名和口令的模式在基于数学问题难解的情况下衍生出来的。这类协议往往依赖于口令的复杂性、......
无线射频识别(Radio Frequency Identification,RFID)技术是一种使用无线通信的自动识别技术。由于RFID系统具有识别速度快、实现......
无线射频识别(RFID)技术是一种使用射频信号实现非接触式双向通信的自动识别技术,凭借快速、高效、可靠、非视距读取等优势被广泛......
RFID(Radio Frequency IDentification)是一种非接触式自动识别技术,作为构建“物联网”的关键技术受到人们的广泛关注,现已被成功......
由于无线移动设备使用量不断增加,无线网络的攻击方法也随之逐年增多。而从2017年密钥重装攻击漏洞被披露以来,无线局域网身份认证......
射频识别(RFID)是一种以非接触的方式使用无线射频信号实现物品识别的技术,其中超轻量级标签,价格低廉,非常适合大规模应用,受到人......
随着物联网(IoT,Internet of Things)的兴起,嵌入式系统的网络安全问题越来越受到大家的关注。目前,人们把一些在计算机网络运行的......
随着无线网络技术的发展,无线传感器网络逐渐被应用在各行各业中。无线传感器网络由大量的传感器节点组成,能够实时的监测环境,采......
随着物联网技术的快速发展,无线射频识别技术(Radio Frequency Identification,RFID)由于其不需实体接触、工作效率高、可远程识别......
随着通信技术的进步,移动互联网呈现爆发式发展,为了满足用户对通信速率日益增长的要求,网络架构不断趋向于扁平化。但由于成本等......
射频识别技术(Radio Frequency Identification,RFID)是无线通信中的一种非接触方式的自动识别技术,可以同时多目标一起识别或者对......
针对无线射频识别(RFID)系统容易遭受无线信道中的恶意攻击以及标签所有者隐私时常收到侵犯的问题,提出了一种支持匿名的轻量级RFI......
本文提出一种新的基于口令认证的RFID系统安全协议.该方法充分利用RFID低等级标签提供的有限资源:访问口令(PW)、标签的标识码(ID)......
