CN113765658A - 分布式云计算架构中物联网设备的认证和密钥协商协议方法 - Google Patents
分布式云计算架构中物联网设备的认证和密钥协商协议方法 Download PDFInfo
- Publication number
- CN113765658A CN113765658A CN202110970858.0A CN202110970858A CN113765658A CN 113765658 A CN113765658 A CN 113765658A CN 202110970858 A CN202110970858 A CN 202110970858A CN 113765658 A CN113765658 A CN 113765658A
- Authority
- CN
- China
- Prior art keywords
- user
- cloud server
- internet
- control server
- authentication
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000000034 method Methods 0.000 title claims abstract description 79
- 230000008569 process Effects 0.000 claims abstract description 46
- 238000012795 verification Methods 0.000 claims abstract description 12
- 238000004891 communication Methods 0.000 claims description 15
- 230000006870 function Effects 0.000 claims description 14
- 230000008859 change Effects 0.000 claims description 7
- 230000005540 biological transmission Effects 0.000 claims description 5
- 238000007689 inspection Methods 0.000 claims description 3
- 238000004458 analytical method Methods 0.000 description 16
- 238000004088 simulation Methods 0.000 description 12
- 238000013461 design Methods 0.000 description 4
- 238000004364 calculation method Methods 0.000 description 2
- 238000010276 construction Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 238000012360 testing method Methods 0.000 description 2
- 240000002853 Nelumbo nucifera Species 0.000 description 1
- 235000006508 Nelumbo nucifera Nutrition 0.000 description 1
- 235000006510 Nelumbo pentapetala Nutrition 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 238000004422 calculation algorithm Methods 0.000 description 1
- 238000012938 design process Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 230000002452 interceptive effect Effects 0.000 description 1
- 230000008447 perception Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 238000007789 sealing Methods 0.000 description 1
- 238000006467 substitution reaction Methods 0.000 description 1
- 230000007704 transition Effects 0.000 description 1
Images
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/08—Key distribution or management, e.g. generation, sharing or updating, of cryptographic keys or passwords
- H04L9/0816—Key establishment, i.e. cryptographic processes or cryptographic protocols whereby a shared secret becomes available to two or more parties, for subsequent use
- H04L9/0838—Key agreement, i.e. key establishment technique in which a shared key is derived by parties as a function of information contributed by, or associated with, each of these
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L63/00—Network architectures or network communication protocols for network security
- H04L63/04—Network architectures or network communication protocols for network security for providing a confidential data exchange among entities communicating through data packet networks
- H04L63/0407—Network architectures or network communication protocols for network security for providing a confidential data exchange among entities communicating through data packet networks wherein the identity of one or more communicating identities is hidden
- H04L63/0421—Anonymous communication, i.e. the party's identifiers are hidden from the other party or parties, e.g. using an anonymizer
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L63/00—Network architectures or network communication protocols for network security
- H04L63/08—Network architectures or network communication protocols for network security for authentication of entities
- H04L63/083—Network architectures or network communication protocols for network security for authentication of entities using passwords
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L63/00—Network architectures or network communication protocols for network security
- H04L63/08—Network architectures or network communication protocols for network security for authentication of entities
- H04L63/0876—Network architectures or network communication protocols for network security for authentication of entities based on the identity of the terminal or configuration, e.g. MAC address, hardware or software configuration or device fingerprint
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L63/00—Network architectures or network communication protocols for network security
- H04L63/14—Network architectures or network communication protocols for network security for detecting or protecting against malicious traffic
- H04L63/1441—Countermeasures against malicious traffic
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
- H04L9/3226—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using a predetermined code, e.g. password, passphrase or PIN
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
- H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
- H04L9/3236—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using cryptographic hash functions
Landscapes
- Engineering & Computer Science (AREA)
- Computer Security & Cryptography (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Computer Hardware Design (AREA)
- Computing Systems (AREA)
- General Engineering & Computer Science (AREA)
- Power Engineering (AREA)
- Information Transfer Between Computers (AREA)
Abstract
本发明一种分布式云计算架构中物联网设备的认证和密钥协商协议方法。该方法包括注册阶段、登录阶段以及认证和密钥协商阶段;认证和密钥协商阶段包括:第一次握手过程:用户Ui通过其物联网设备向云服务器Sm发送登录消息,Sm接收到登录消息后,计算其自身的身份验证条件,并身份验证条件和登录消息发送至控制服务器CS;第二次握手过程:CS接收到来自Sm的消息后,验证Ui和Sm的合法性,若二者合法,则分别为Ui和Sm生成其自身的身份验证条件,并发送至Sm;第三次握手过程:Sm选择与其自身相关的身份验证条件来验证CS,并将另一种身份验证条件发送至Ui的物联网设备;第四次握手过程:Ui的物联网设备根据身份验证条件验证CS的合法性,若CS通过验证,Ui、Sm和CS最终协商得到一个共享密钥SK=h(Nm||NCS||Ni)。
Description
技术领域
本发明涉及信息安全技术领域,尤其涉及一种用于分布式云计算架构中多个物联网设备之间的高效认证和密钥协商协议设计方法。
背景技术
近年来,物联网(IoT)设备,如传感器设备、RFID标签、执行器和智能终端,越来越多地应用于日常生活中,为人们提供便利的生活。在智慧城市建设过程中,物联网设备的主要功能在异构无线环境中互联互通,设备可以持续监控和分析来自城市中各种应用数据,以实现智慧城市智能决策过程的实时自动化。然而,众所周知,物联网设备资源受限,而智慧城市中的数据量巨大,一般会随着数据和设备呈指数级增长,因此,需要一个标准平台集中处理大量异构的数据和设备。为了处理由各种物联网设备生成的如此庞大的数据库存储库,云计算是一种有效的解决方案。目前,云提供商提供了多种类型的云服务,例如软件即服务云(SaaS)(例如IBM LotusLive)、平台即服务(PaaS)(例如Google AppEngine)和基础设施即服务(IaaS)(例如亚马逊网络服务)。
但是,随着物联网和云计算在智慧城市的广泛应用,可能会遇到各种安全和隐私挑战,其中最基本的问题是各个应用设备之间的相互认证,例如参与用户、物联网设备、分布式服务器、数据控制中心等。在图1中,我们简单给出了一个场景:假设一个云计算服务商已经搭建了一个覆盖整个智慧城市的分布式私有云环境,在智慧城市运营过程中,有许多物联网设备需要把实时产生的应用数据上传到距离它最近的私有云服务中,而各个分布式私有云服务经过初步的计算,再把数据汇聚到云服务中心,即数据控制中心,经过云服务中心的高速计算和智能调度,实现各个设备的之间实时通信感知,以提供高质量的服务。该场景中主要涉及三个主要实体:云计算提供商,即数据控制中心,单个分布式私有云服务器和每个支持物联网的设备终端。而在这个过程中,分布式私有云服务器中一般存储来自物联网设备的隐私信息,只有合法用户才能访问敏感信息,这就需要实现两个实体间的相互认证。同样的,还有分布式私有服务器与数据控制中心之间,都需要实现之间的相互认证。此外,在各个设备之间实现相互认证后,由于相互的通信数据大多通过开放的互联网来传递,为了保证数据的机密性,还需要在三个实体实现相互认证后,生成一个共享秘钥,用来加密接下来的通信流量。
最近,已经提出了许多与物联网和分布式云计算集成的身份验证协议,用于大规模物联网网络的安全访问控制。2018年,Amin等人(文献1“R.Amin,N.Kumar,G.P.Biswas,R.Iqbal,and V.Chang,A light weight authentication protocol for IoT-enableddevices in distributed Cloud Computing environment,Future Generation ComputerSystems,vol.78,pp.01”)提出了一种分布式云计算环境中物联网设备的认证协议,指出Xue等人和Chuang等人分别提出的两种认证协议中的许多安全漏洞。然而,Kang等人(文献2:Kang B,Han Y,Qian K,et al.Analysis and Improvement on an AuthenticationProtocol for IoT-Enabled Devices in Distributed Cloud Computing Environment[J].Mathematical Problems in Engineering,2020,2020(2):1-6)发现Amin等人协议容易受到伪造攻击,并改进了协议。但是,通过研究大量的认证协议,发明人进一步发现了对Kang等人的协议的离线密码猜测攻击,即恶意用户可以轻松获取主控服务器的主密钥,主密钥是整个***的关键参数,可能造成整个***的所有信息被泄露。
另外,由于这些协议是为物联网设备之间通信设计的,而众所周知,此类设备是基于嵌入式开发的,一般计算资源和存储资源都很有限,而在实际使用过程中,通信的实时性要求很高,数据运行效率要快,如果采用主流的加密算法,都很难满足需要。因此,设计这些协议在保证通信的机密性的同时,也需要考虑协议实现的计算复杂度。
发明内容
为了满足智慧城市中基于物联网的分布式云架构下各应用设备之间的相互认证和加密通信,本发明提供一种用于分布式云计算架构中物联网设备的高效认证和密钥协商协议设计方法。
本发明提供一种分布式云计算架构中物联网设备的认证和密钥协商协议方法,包括注册阶段、登录阶段以及认证和密钥协商阶段,所述认证和密钥协商阶段包括:
第一次握手过程:用户Ui通过其物联网设备向云服务器Sm发送登录消息,云服务器Sm接收到用户Ui的登录消息后,计算其自身的身份验证条件,并将其自身的身份验证条件和用户Ui的登录消息发送至控制服务器CS;
第二次握手过程:控制服务器CS接收到来自云服务器Sm的消息后,验证用户Ui和云服务器Sm的合法性,若二者合法,则分别为用户Ui和云服务器Sm生成其自身的身份验证条件,并将生成的两种身份验证条件发送至云服务器Sm;
第三次握手过程:云服务器Sm从接收到的两种身份验证条件中选择与其自身相关的身份验证条件来验证控制服务器CS,并将另一种身份验证条件发送至用户Ui的物联网设备;
第四次握手过程:用户Ui的物联网设备根据接收到的身份验证条件验证控制服务器CS的合法性,若控制服务器CS通过验证,用户Ui、云服务器Sm和控制服务器CS最终协商得到一个共享密钥SK=h(Nm||NCS||Ni);其中,Nm表示第一次握手过程中由云服务器Sm所生成的一个128位的随机数,NCS表示第二次握手过程中由控制服务器CS所生成的一个128位的随机数,Ni表示用户Ui在登录上云服务器Sm后所生成的一个至少128位的随机数;
其中,在上述的四次握手过程中,只要用户Ui、云服务器Sm和控制服务器CS中的任何一方未能通过身份验证,则会话结束。
进一步地,所述第一次握手过程中,云服务器Sm接收到用户Ui的登录消息后,还包括:
云服务器Sm检查条件TSm-TSi<△T是否成立,若成立,云服务器Sm计算其自身的身份验证条件,具体包括:云服务器Sm生成一个128位的随机数Nm并计算Ki=h(Nm||BSm||PIDi||Gi||TSm);
对应地,所述云服务器Sm将其自身的身份验证条件和用户Ui的登录消息发送至控制服务器CS具体为:云服务器Sm将<Ji,Ki,PSIDm,Gi,Fi,Zi,PIDi,TSi,TSm>发送到控制服务器CS;
其中,<Gi,Fi,Zi,PIDi,TSi>表示用户Ui的登录消息,<Ji,Ki,PSIDm,TSm>表示云服务器Sm的身份验证条件,TSm表示云服务器Sm的当前时间戳,TSi表示用户Ui的物联网设备的当前时间戳,△T表示设定的时间阈值,BSm表示云服务器Sm与控制服务器CS之间的对称密钥,PIDi表示用户Ui的伪身份标识,PSIDm表示云服务器Sm的伪身份标识,Bm、Ji、Ki、Gi、Fi和Zi均表示中间运算结果,h(·)表示哈希函数,||表示拼接操作。
进一步地,所述第二次握手过程中,控制服务器CS接收到来自云服务器Sm的消息后,还包括:控制服务器CS检查条件TSCS-TSm<△T是否成立,若成立,则验证用户Ui和云服务器Sm的合法性;
对应地,所述验证用户Ui和云服务器Sm的合法性,若二者合法,则分别为用户Ui和云服务器Sm生成其自身的身份验证条件,并将生成的两种身份验证条件发送至云服务器Sm,具体包括:
步骤A1:控制服务器CS计算
Di=h(PIDi||x)
步骤A3:控制服务器CS计算
BSm=h(PSIDm||SIDm||y)
步骤A5:控制服务器CS生成一个128位的随机数NCS并计算
SKCS=h(Ni||Nm||NCS)
步骤A6:通过公共信道将<PCS,QCS,RCS,VCS>发送至云服务器Sm;
其中,TSCS表示控制服务器CS的当前时间戳,x表示仅为控制服务器CS所知用于验证用户Ui的密钥,IDi表示用户Ui的真实身份标识,SIDm表示云服务器Sm的真实身份标识,SKCS表示控制服务器CS端生成的共享密钥,RCS和VCS表示控制服务器CS为云服务器Sm生成的身份验证条件,PCS和QCS表示控制服务器CS为用户Ui生成的身份验证条件,Di表示物联网设备和控制服务器CS之间的对称密钥,和分别表示用于验证用户Ui和云服务器Sm的合法性且数据传输完整性的参数,表示异或运算。
进一步地,所述第三次握手过程具体包括:
首先,云服务器Sm计算
Wm=h(BSm||Nm)
进一步地,所述第四次握手过程具体包括:
首先,用户Ui的物联网设备计算
Li=h(Ni||Di||Fi)
SKi=h(Nm||NCS||Ni)
进一步地,所述注册阶段,分为云服务器注册阶段和用户注册阶段;其中:所述云服务器注册阶段,具体包括:
云服务器Sm将注册消息<SIDm,d>发送到控制服务器CS;其中,SIDm表示云服务器Sm的真实身份标识,d是随机数;
控制服务器CS在接收到来自云服务器Sm的注册消息后,计算PSIDm=h(SIDm||d),BSm=h(PSIDm||SIDm||y),并通过安全通道将<BSm>发回云服务器Sm;其中,PSIDm表示云服务器Sm的伪身份标识,y表示仅为控制服务器CS所知用于验证云服务器Sm的密钥,BSm表示云服务器Sm与控制服务器CS之间的对称密钥,h(·)表示哈希函数;
云服务器Sm将秘密参数<BSm,d>存储到内存中。
进一步地,所述用户注册阶段,具体包括:
用户Ui选择所需的真实身份标识IDi和密码Pi进入其物联网设备;
物联网设备将注册消息<IDi,PIDi,Ai>通过安全通道发送至控制服务器CS;
控制服务器CS在接收到来自物联网设备的注册消息后,验证IDi的真实性,若IDi是非法的,控制服务器CS将拒绝用户Ui的注册;否则,控制服务器CS计算Ci=h(PIDi||Ai),Di=h(PIDi||x)和其中,x表示仅为控制服务器CS所知用于验证用户Ui的密钥,Di表示物联网设备和控制服务器CS之间的对称密钥,Ci和Ei均表示中间运算结果;
控制服务器CS将数据<Ci,Ei,h(·)>写入智能卡,并通过专用通信将其传递给用户Ui;
用户Ui获得智能卡后,将其***物联网设备,并再次向物联网设备输入IDi和Pi,以便通过物联网设备向智能卡写入Ωi,智能卡记录信息<Ci,Ωi,Ei,h(·)>。
进一步地,所述登录阶段,具体包括:
若用户Ui是真实的,物联网设备生成一个至少128位的随机数Ni,并计算
PIDi=h(IDi||b)
Gi=h(PIDi||SIDm||Ni||TSi||Di)
其中,TSi是物联网设备的当前时间戳,SIDm是云服务器Sm的真实身份标识,Gi、Fi和Zi均表示中间运算结果;
物联网设备通过公共信道将<Gi,Fi,Zi,PIDi,TSi>传输到云服务器Sm。
进一步地,还包括:密码更改阶段,具体包括:
接着,物联网设备计算
进一步地,还包括:身份更改阶段,具体包括:用户Ui通过安全通道重新注册到控制服务器CS。
本发明的有益效果:
1、本发明方案是轻量级的协议认证,更适用于计算和存储有限的物联网终端设备。考虑到智慧城市构建过程中,接入云服务器的物联网终端计算资源和存储能力有限,而实时性要求高的特征,本发明方案设计过程中只使用异或运算和哈希运算,充分提高执行效率,满足该环境的需要;
2、本方案充分考虑通信的机密性。一方面,采用匿名身份的登陆方式,充分保护用户的身份信息;另一方面,在用户登陆认证过程中,也协商一个共享密钥,用于加密后续的通信数据,抵抗中间人获取通信信息;
3、抵抗离线密码猜测攻击。本发明方案在设计时充分考虑三个参与主体之间的身份认证,以抵抗恶意攻击者通过冒充身份攻击后,进而进行离线密码猜测攻击。例如,在云服务器注册阶段,通过计算PSIDm=h(SIDm||d)和BSm=h(PSIDm||SIDm||y),确保云服务器的身份SIDm绑定到控制服务器的私钥y,从而恶意攻击者若采取冒充身份攻击,则必须获得控制服务器的私钥y,这是不可能的。而且,由于d是云服务器随机产生的,能够大大增加攻击者进行离线口令猜测攻击的成本。
附图说明
图1为本发明实施例提供的智慧城市中基于物联网的分布式云架构示意图;
图2为本发明实施例提供的一种分布式云计算架构中物联网设备的认证和密钥协商协议方法的流程图;
图3为本发明实施例提供的一种分布式云计算架构中物联网设备的认证和密钥协商协议方法中前三个阶段的流程图;
图4为本发明实施例提供的分布式云计算架构中物联网设备的认证和密钥协商协议方法的部分HLPSL仿真代码;
图5为本发明实施例提供的SPDL中控制服务器CS角色的代码描述;
图6为本发明实施例提供的AVISPA工具在四个后端分析下的仿真结果;
图7为本发明实施例提供的Scyther工具的模拟结果。
具体实施方式
为使本发明的目的、技术方案和优点更加清楚,下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚地描述,显然,所描述的实施例是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
为了满足智慧城市中基于物联网的分布式云架构下各应用设备之间的相互认证和加密通信,本发明基于轻量级动态匿名身份,设计了一种使用智能卡的安全认证和密钥协商方案,该方案被证明是高效和安全的。当前场景涉及3个主要实体:控制服务器CS、云服务器Sm和每个支持物联网的物联网设备;其中物联联网设备属于用户Ui。
本发明实施例提供的分布式云计算架构中物联网设备的认证和密钥协商协议方法分为5个阶段:(1)注册阶段,(2)登录阶段,(3)认证和密钥协商阶段,(4)密码更改阶段,(5)身份更新阶段。其中,第(3)阶段是本发明方法的核心所在。需要说明的是,后两个阶段可以根据应用场景的需要选择是否进行增删。
作为一种可实施方式,如图2所示,本发明实施例中的认证和密钥协商阶段包括以下步骤:
第一次握手过程:用户Ui通过其物联网设备向云服务器Sm发送登录消息,云服务器Sm接收到用户Ui的登录消息后,计算其自身的身份验证条件,并将其自身的身份验证条件和用户Ui的登录消息发送至控制服务器CS;
具体地,云服务器Sm接收到用户Ui的登录消息后,还包括:云服务器Sm检查条件TSm-TSi<△T是否成立,若成立,云服务器Sm计算其自身的身份验证条件,具体包括:云服务器Sm生成一个128位的随机数Nm并计算Ki=h(Nm||BSm||PIDi||Gi||TSm);
对应地,所述云服务器Sm将其自身的身份验证条件和用户Ui的登录消息发送至控制服务器CS具体为:云服务器Sm将<Ji,Ki,PSIDm,Gi,Fi,Zi,PIDi,TSi,TSm>发送到控制服务器CS;
其中,<Gi,Fi,Zi,PIDi,TSi>表示用户Ui的登录消息,<Ji,Ki,PSIDm,TSm>表示云服务器Sm的身份验证条件,TSm表示云服务器Sm的当前时间戳,TSi表示用户Ui的物联网设备的当前时间戳,△T表示设定的时间阈值,BSm表示云服务器Sm与控制服务器CS之间的对称密钥,PIDi表示用户Ui的伪身份标识,PSIDm表示云服务器Sm的伪身份标识,Bm、Ji、Ki、Gi、Fi和Zi均表示中间运算结果,h(·)表示哈希函数,||表示拼接操作。
第二次握手过程:控制服务器CS接收到来自云服务器Sm的消息后,验证用户Ui和云服务器Sm的合法性,若二者合法,则分别为用户Ui和云服务器Sm生成其自身的身份验证条件,并将生成的两种身份验证条件发送至云服务器Sm;
具体地,所述第二次握手过程中,控制服务器CS接收到来自云服务器Sm的消息后,还包括:控制服务器CS检查条件TSCS-TSm<△T是否成立,若成立,则验证用户Ui和云服务器Sm的合法性;
对应地,所述验证用户Ui和云服务器Sm的合法性,若二者合法,则分别为用户Ui和云服务器Sm生成其自身的身份验证条件,并将生成的两种身份验证条件发送至云服务器Sm,具体包括:
步骤A1:控制服务器CS得到消息<Ji,Ki,PSIDm,Gi,Fi,Zi,Oi,PIDi,TSi,TSm>之后,控制服务器CS计算
Di=h(PIDi||x)
步骤A3:用户Ui合法性被验证通过后,控制服务器CS计算
BSm=h(PSIDm||SIDm||y)
步骤A5:云服务器Sm合法性被验证通过后,控制服务器CS生成一个128位的随机数NCS并计算
SKCS=h(Ni||Nm||NCS)
步骤A6:通过公共信道将<PCS,QCS,RCS,VCS>发送至云服务器Sm;
其中,TSCS表示控制服务器CS的当前时间戳,x表示仅为控制服务器CS所知用于验证用户Ui的密钥,IDi表示用户Ui的真实身份标识,SIDm表示云服务器Sm的真实身份标识,SKCS表示控制服务器CS端生成的共享密钥,RCS和VCS表示控制服务器CS为云服务器Sm生成的身份验证条件,PCS和QCS表示控制服务器CS为用户Ui生成的身份验证条件,Di表示物联网设备和控制服务器CS之间的对称密钥,和分别表示用于验证用户Ui和云服务器Sm的合法性且数据传输完整性的参数,表示异或运算。
第三次握手过程:云服务器Sm从接收到的两种身份验证条件中选择与其自身相关的身份验证条件来验证控制服务器CS,并将另一种身份验证条件发送至用户Ui的物联网设备;
具体地,首先,云服务器Sm从控制服务器CS接收到消息<PCS,QCS,RCS,VCS>之后,云服务器Sm计算
Wm=h(BSm||Nm)
第四次握手过程:用户Ui的物联网设备根据接收到的身份验证条件验证控制服务器CS的合法性,若控制服务器CS通过验证,用户Ui、云服务器Sm和控制服务器CS最终协商得到一个共享密钥SK=h(Nm||NCS||Ni);其中,Nm表示第一次握手过程中由云服务器Sm所生成的一个128位的随机数,NCS表示第二次握手过程中由控制服务器CS所生成的一个128位的随机数,Ni表示用户Ui在登录上云服务器Sm后所生成的一个至少128位的随机数。
具体地,首先,用户Ui的物联网设备从云服务器Sm接收到消息<PCS,QCS>之后,用户Ui的物联网设备计算
Li=h(Ni||Di||Fi)
SKi=h(Nm||NCS||Ni)
最后,用户Ui、云服务器Sm和控制服务器CS这3个参与者协商得到一个共享密钥SK=h(Nm||NCS||Ni)。
其中,Li表示中间运算结果,SKi表示用户Ui的物联网设备端生成的共享密钥,Q* CS分别表示用于验证控制服务器CS的身份真实性的参数。
需要说明的是,在上述的四次握手过程中,只要用户Ui、云服务器Sm和控制服务器CS中的任何一方未能通过身份验证,则会话结束。
从上述实施例可以看出,最终,整个身份验证路径(Ui→Sm→CS→Sm→Ui)被建立。同时,协商得到了共享密钥SK,该共享密钥SK用以加密用户Ui和云服务器Sm之间的后续通信流量。
在进入认证和密钥协商阶段之前,还需要先进行注册、登录,作为一种可实施方式,本发明实施例中的注册阶段,分为云服务器注册阶段和用户注册阶段;
在注册阶段,控制服务器CS会预先随机产生两个高熵数x和y,其中,x用作仅为CS所知的用于验证所有用户Ui的密钥,y用作仅为CS所知的用于验证所有云服务器Sm的密钥。然后,任何云服务器Sm和用户Ui都可以注册到CS。
所述云服务器注册阶段,具体包括以下步骤:
云服务器Sm将注册消息<SIDm,d>发送到控制服务器CS;其中,SIDm表示云服务器Sm的真实身份标识,d是随机数;
控制服务器CS在接收到来自云服务器Sm的注册消息<SIDm,d>后,计算PSIDm=h(SIDm||d),BSm=h(PSIDm||SIDm||y),并通过安全通道将<BSm>发回云服务器Sm;其中,PSIDm表示云服务器Sm的伪身份标识,y表示仅为控制服务器CS所知用于验证云服务器Sm的密钥,BSm表示云服务器Sm与控制服务器CS之间的对称密钥,h(·)表示哈希函数;
云服务器Sm将秘密参数<BSm,d>存储到内存中。
所述用户注册阶段,具体包括:
当用户Ui希望向控制服务器CS注册时,用户Ui选择所需的真实身份标识IDi和密码Pi进入其物联网设备(如读卡器);
物联网设备将注册消息<IDi,PIDi,Ai>通过安全通道发送至控制服务器CS;
控制服务器CS在接收到来自物联网设备的注册消息后,验证IDi的真实性,若IDi是非法的,控制服务器CS将拒绝用户Ui的注册;否则,控制服务器CS计算Ci=h(PIDi||Ai),Di=h(PIDi||x)和其中,x表示仅为控制服务器CS所知用于验证用户Ui的密钥,Di表示物联网设备和控制服务器CS之间的对称密钥,Ci和Ei均表示中间运算结果;
控制服务器CS将数据<Ci,Ei,h(·)>写入智能卡,并通过专用通信将其传递给用户Ui;
用户Ui获得智能卡后,将其***物联网设备,并再次向物联网设备输入IDi和Pi,以便通过物联网设备向智能卡写入Ωi,智能卡记录信息<Ci,Ωi,Ei,h(·)>
需要说明的是,注册阶段中的“安全通道”可以是因特网密钥交换协议版本2或安全套接字层协议(SSL)。
作为一种可实施方式,本发明实施例中的登录阶段,具体包括:
若用户Ui是真实的,物联网设备生成一个至少128位的随机数Ni,并计算
PIDi=h(IDi||b)
Gi=h(PIDi||SIDm||Ni||TSi||Di)
其中,TSi是物联网设备的当前时间戳,SIDm是云服务器Sm的真实身份标识,Gi、Fi和Zi均表示中间运算结果;
之后,物联网设备通过公共信道将<Gi,Fi,Zi,PIDi,TSi>传输到云服务器Sm。
到此为止,前三个阶段的详细实现如图3所示。
作为一种可实施方式,本发明实施例中的密码更改阶段(每当用户Ui想要更新他/她的密码而不与控制服务器CS通信时,就会调用此阶段),具体包括:
接着,物联网设备计算
从该实施例中可以看出,用户Ui使用智能卡本地更新密码是非常方便和快速的。
一个合法的用户Ui更新他的身份IDi是很实际的,比如身份已经过期。但是由于控制服务器CS需要验证用户的IDi的真实性,作为一种可实施方式,本发明实施例中的身份更改阶段,具体包括:用户Ui通过安全通道重新注册到控制服务器CS。
为了验证本发明协议方法的安全性和其他性能,下述内容主要从以下三方面进行了分析:(1)使用密码相关知识利用启发式分析本发明方案如何抵抗冒充身份攻击;(2)利用Scyther和AVISPA这两个安全协议分析工具模拟本发明方案的实现过程,证明本发明方案能够抵抗主流的攻击过程;(3)简要介绍本发明协议与其他协议的性能比较。
1、安全性分析
本小节主要利用密码学的知识,详细分析了本发明方案中Ui、Sm和CS之间的认证路径,以防范最常见的冒充身份攻击。
(1)在云服务器注册阶段,Sm与CS之间的相互身份验证,Sm与CS协商产生一个值BSm=h(PSIDm||SIDm||y),该值可视为Sm和CS的对称密钥,因为值BSm只能由Sm和CS计算。因此,Sm和CS可以在身份验证阶段通过对称密钥BSm实现相互身份验证,例如Kerberos协议身份验证。此外,由于身份SIDm和伪身份PSIDm都与控制服务器CS的机密号y绑定,因此CS将对Sm的两个身份进行身份验证。因此,我们的协议可以在身份验证阶段实现Sm和CS之间的相互身份验证。
为方便描述,本发明采用以下符号进行标记:
(2)Ui和CS之间的相互身份验证
为了避免在控制服务器CS上记录Ui的身份和密码信息,CS在注册阶段将智能卡分发给Ui。智能卡在本发明协议中记录值<Ci,Ei,h(·)>。
上述符号表示:借助智能卡中记录的关键参数值Ci,物联网设备可以验证Ui。另一方面,用户显然信任自己的物联网设备。
其次,当Ui登录设备时,设备会计算和PIDi=h(IDi||b)。智能卡中记录的值Ei可以看作是物联网设备与CS之间身份验证过程中的中间数据。一方面,只有Ui使用Bi和Pi登录物联网设备,设备才能使用数据Ei计算另一方面,只有知道x和PIDi的CS才能计算Di=h(PIDi||x),然后使用数据Ei计算因此,物联网设备和CS可以在用户登录阶段借助智能卡实现相互认证。所以,采用以下符号标记它:
再次,当Ui登录到物联网设备时,该物联网设备可以使用值Ei计算Di。然后,值Di可以是作为物联网设备和CS的对称密钥,因为只有物联网设备和CS才能计算值Di。因此,物联网设备和CS可以在认证阶段通过对称密钥Di实现相互认证。所以,采用以下符号标记它:
根据符号(2)、符号(3)和符号(4),我们可以推导出以下符号(5):
上面的符号意味着:在智能卡的帮助下,身份为IDi的Ui可以在认证阶段与CS实现相互认证。
此外,在收到Ui注册消息后,CS应该验证Ui的身份IDi的真实性。当身份IDi被确认为合法时,CS将执行后续操作并向Ui传递智能卡。然后,当Ui登录到支持物联网的设备时,设备通过哈希函数计算PIDi=h(IDi||b),这表明伪身份PIDi与真实身份IDi绑定,值b受智能卡中Ωi记录的保护。因此,Ui的标识IDi由Ui的伪标识PIDi间接控制,该伪标识与操作Di=h(PIDi||x)的控制服务器CS的机密号x绑定。因此,采用以下符号进行标记:
(3)Ui和Sm之间的相互身份验证:
就像上面第(2)部分的分析一样,可以在这一部分用以下符号来标记
因此,可以用以下符号来推断:
如符号(11)所示,本发明协议通过CS的中介实现了Ui和Sm之间的相互认证。此外,这三方共享相同的会话密钥SK=h(Nm||NCS||Ni)。因此,可以断言本发明协议能够有效地抵抗冒充身份攻击。
2、使用Scyther和AVISPA进行仿真分析
在本小节中,定义攻击者的能力并讨论本发明协议的安全性分析。基于对抗模型,使用AVISPA(无限状态***的自动验证)和Scyther的安全协议分析工具来证明该协议可以防御现有的各种攻击。
2.1对抗模型
参考Dolev-Yao对手威胁模型,给出威胁攻击模型。
Dolev-Yao对手威胁模型的详细描述如下:
(1)攻击者可以窃听和拦截所有通过网络的消息;
(2)攻击者可以存储和发送截获的或自建的消息;
(3)攻击者可以作为合法主体参与协议的运行;
(4)功率分析或边信道攻击可以帮助攻击者提取存储在用户智能卡中的秘密信息。
2.2使用安全协议分析工具模拟本发明协议
2.2.1仿真代码说明
使用仿真工具的第一步是用形式语言描述目标协议。本节介绍AVISPA工具形式语言HLPSL(高级协议规范语言)和Scyther工具形式语言SPDL(安全协议描述语言)来模拟本发明协议。
(1)本发明协议的HLPSL模拟代码:本发明协议的HLPSL模拟代码涉及5个角色:“角色用户”模拟真实用户Ui;“角色服务器”模拟云服务器Sm;“角色控制服务器”模拟控制服务器CS;“角色会话”代表四次交互握手的角色;“角色环境”代表有入侵者的高层角落;“角色目标”代表模拟的目的。下面只简单介绍用户角色、环境角色和安全目标的部分HLPSL描述,如图4所示。
在图4(a)中,用户角色过程描述了开始使用的参数、初始状态和转换。“转换”表示接受信息和发送响应信息。“Channel(dy)”表示攻击方式为Dolev-Yao攻击模型,攻击者可以控制协议的网络。例如,攻击者可以拦截、窃取、修改、重放协议中通道上传输的信息,甚至冒充协议中的合法角色执行操作发起攻击。
图4(b)展示了角色环境和安全目标。高级角色过程包括全局常量和一个或多个会话的混合角色过程。其中,入侵者可能冒充合法用户运行某些角色进程。还有一些句子描述了入侵者在初始状态下已知的知识,一般包括代理的名称、其他代理共享的所有密钥以及所有已知的功能。对于安全目标的HLPSL建模,我们只给出支持机密性和认证两个目标之一的HLPSL的机密性目标。为了保密,目标实例指示在声明的角色中哪些值是保密的。如果不能实现,则说明入侵者获得了机密值,可以成功攻击协议。对于身份验证,主要目的是验证身份伪装攻击,在上一节的安全性分析中,具体演示本发明协议如何抵抗这种常见的攻击。
(2)本发明协议的SPDL仿真代码:与HLPSL类似,本发明协议的SPDL仿真代码包括3个角色:“角色U”模拟真实用户Ui;“角色S”模拟云服务器Sm;“角色CS”模拟服务器控制CS。这里以控制服务器CS角色为例介绍SPDL代码,如图5所示。定义会话协议所需的变量后,本发明协议的完整实现由CS中发生的事件集合表示。"send"和"recv"事件表示CS分别发送消息和接收消息。Scyther工具的优点之一是它可以灵活地描述目标属性,无论是变量的机密性还是某个主体对另一个主体的认证。Scyther工具可以对用户感兴趣的安全属性进行分析和验证。目标属性的描述是通过“claim”事件完成的,可以用来描述角色的认证和变量的机密性。
2.2.2仿真结果
本节使用两种形式分析工具展示了本发明协议的模拟结果。在ubuntu操作***的虚拟机中构建了AVISPA(2006/02/13版本)和Scyther(v1.1.3)。图6显示了AVISPA提供的所有四个后端分析工具的结果,以模拟所有实体的提议协议。OFMC、CL-AtSe和SATMC模块的测试结果表明本发明协议是安全的(SUMMARY SAFE),这意味着它可以达到预期的安全目标;TA4SP验证模型表示INCONCLUSIVE,因为当前TA4SP模块不支持单向哈希函数,并且当前版本可以提供No ATTACK TRACE的结果。在使用Scyther工具模拟协议时,也使用Dolev-Yao攻击模型,分析参数中的最小执行轮数设置为3。Scyther工具的模拟结果如图7所示。图7.(a)显示了Scyther工具在Dolev-Yao模型下对我们协议的形式分析的攻击路径。我们的协议消息的可达性分析报告如图7(b)所示的。测试结果表明,本发明协议在该模型下不存在任何攻击威胁。因此,可以断言本发明协议可以抵抗各种常见的攻击,例如内部攻击、重放攻击、会话密钥披露者攻击等。
3、性能比较
下文中,在对安全功能和计算性能的抵抗力方面具体将本发明协议与其他两个协议(分别为文献1和文献2)进行比较。表2列出了物联网设备和云服务器的强大身份验证协议的9项一般安全要求。表2中的结果表明本发明协议的优势在于用户可审计性、简单安全的密码更改、抵抗离线密码猜测攻击、抵抗假冒攻击和生物特征保护。
此外,表3显示了在本发明协议与其他相关协议的每个阶段中,哈希函数和异或XOR操作所花费的次数。从最后一行的总计数可以看出,本发明协议使用哈希函数和XOR的次数最少。因此,它更适合应用程序资源受限和数据密集型的环境,例如智慧城市中的物联网设备。
表2新协议与相关协议的安全功能比较
表3新方案与其他相关方案的操作比较
H:哈希函数;X:异或运行
最后应说明的是:以上实施例仅用以说明本发明的技术方案,而非对其限制;尽管参照前述实施例对本发明进行了详细的说明,本领域的普通技术人员应当理解:其依然可以对前述各实施例所记载的技术方案进行修改,或者对其中部分技术特征进行等同替换;而这些修改或者替换,并不使相应技术方案的本质脱离本发明各实施例技术方案的精神和范围。
Claims (10)
1.一种分布式云计算架构中物联网设备的认证和密钥协商协议方法,包括注册阶段、登录阶段以及认证和密钥协商阶段,其特征在于,所述认证和密钥协商阶段包括:
第一次握手过程:用户Ui通过其物联网设备向云服务器Sm发送登录消息,云服务器Sm接收到用户Ui的登录消息后,计算其自身的身份验证条件,并将其自身的身份验证条件和用户Ui的登录消息发送至控制服务器CS;
第二次握手过程:控制服务器CS接收到来自云服务器Sm的消息后,验证用户Ui和云服务器Sm的合法性,若二者合法,则分别为用户Ui和云服务器Sm生成其自身的身份验证条件,并将生成的两种身份验证条件发送至云服务器Sm;
第三次握手过程:云服务器Sm从接收到的两种身份验证条件中选择与其自身相关的身份验证条件来验证控制服务器CS,并将另一种身份验证条件发送至用户Ui的物联网设备;
第四次握手过程:用户Ui的物联网设备根据接收到的身份验证条件验证控制服务器CS的合法性,若控制服务器CS通过验证,用户Ui、云服务器Sm和控制服务器CS最终协商得到一个共享密钥SK=h(Nm||NCS||Ni);其中,Nm表示第一次握手过程中由云服务器Sm所生成的一个128位的随机数,NCS表示第二次握手过程中由控制服务器CS所生成的一个128位的随机数,Ni表示用户Ui在登录上云服务器Sm后所生成的一个至少128位的随机数;
其中,在上述的四次握手过程中,只要用户Ui、云服务器Sm和控制服务器CS中的任何一方未能通过身份验证,则会话结束。
2.根据权利要求1所述的一种分布式云计算架构中物联网设备的认证和密钥协商协议方法,其特征在于,所述第一次握手过程中,云服务器Sm接收到用户Ui的登录消息后,还包括:
云服务器Sm检查条件TSm-TSi<△T是否成立,若成立,云服务器Sm计算其自身的身份验证条件,具体包括:云服务器Sm生成一个128位的随机数Nm并计算Ki=h(Nm||BSm||PIDi||Gi||TSm);
对应地,所述云服务器Sm将其自身的身份验证条件和用户Ui的登录消息发送至控制服务器CS具体为:云服务器Sm将<Ji,Ki,PSIDm,Gi,Fi,Zi,PIDi,TSi,TSm发送到控制服务器CS;
其中,<Gi,Fi,Zi,PIDi,TSi>表示用户Ui的登录消息,<Ji,Ki,PSIDm,TSm>表示云服务器Sm的身份验证条件,TSm表示云服务器Sm的当前时间戳,TSi表示用户Ui的物联网设备的当前时间戳,△T表示设定的时间阈值,BSm表示云服务器Sm与控制服务器CS之间的对称密钥,PIDi表示用户Ui的伪身份标识,PSIDm表示云服务器Sm的伪身份标识,Bm、Ji、Ki、Gi、Fi和Zi均表示中间运算结果,h(·)表示哈希函数,||表示拼接操作。
3.根据权利要求2所述的一种分布式云计算架构中物联网设备的认证和密钥协商协议方法,其特征在于,所述第二次握手过程中,控制服务器CS接收到来自云服务器Sm的消息后,还包括:控制服务器CS检查条件TSCS-TSm<△T是否成立,若成立,则验证用户Ui和云服务器Sm的合法性;
对应地,所述验证用户Ui和云服务器Sm的合法性,若二者合法,则分别为用户Ui和云服务器Sm生成其自身的身份验证条件,并将生成的两种身份验证条件发送至云服务器Sm,具体包括:
步骤A1:控制服务器CS计算
Di=h(PIDi||x)
步骤A3:控制服务器CS计算
BSm=h(PSIDm||SIDm||y)
步骤A5:控制服务器CS生成一个128位的随机数NCS并计算
SKCS=h(Ni||Nm||NCS)
步骤A6:通过公共信道将<PCS,QCS,RCS,VCS>发送至云服务器Sm;
6.根据权利要求1所述的一种分布式云计算架构中物联网设备的认证和密钥协商协议方法,其特征在于,所述注册阶段,分为云服务器注册阶段和用户注册阶段;其中:所述云服务器注册阶段,具体包括:
云服务器Sm将注册消息〈SIDm,d>发送到控制服务器CS;其中,SIDm表示云服务器Sm的真实身份标识,d是随机数;
控制服务器CS在接收到来自云服务器Sm的注册消息后,计算PSIDm=h(SIDm||d),BSm=h(PSIDm||SIDm||y),并通过安全通道将〈BSm>发回云服务器Sm;其中,PSIDm表示云服务器Sm的伪身份标识,y表示仅为控制服务器CS所知用于验证云服务器Sm的密钥,BSm表示云服务器Sm与控制服务器CS之间的对称密钥,h(·)表示哈希函数;
云服务器Sm将秘密参数<BSm,d>存储到内存中。
7.根据权利要求6所述的一种分布式云计算架构中物联网设备的认证和密钥协商协议方法,其特征在于,所述用户注册阶段,具体包括:
用户Ui选择所需的真实身份标识IDi和密码Pi进入其物联网设备;
物联网设备将注册消息〈IDi,PIDi,Ai>通过安全通道发送至控制服务器CS;
控制服务器CS在接收到来自物联网设备的注册消息后,验证IDi的真实性,若IDi是非法的,控制服务器CS将拒绝用户Ui的注册;否则,控制服务器CS计算Ci=h(PIDi||Ai),Di=h(PIDi||x)和其中,x表示仅为控制服务器CS所知用于验证用户Ui的密钥,Di表示物联网设备和控制服务器CS之间的对称密钥,Ci和Ei均表示中间运算结果;
控制服务器CS将数据<Ci,Ei,h(·)>写入智能卡,并通过专用通信将其传递给用户Ui;
用户Ui获得智能卡后,将其***物联网设备,并再次向物联网设备输入IDi和Pi,以便通过物联网设备向智能卡写入Ωi,智能卡记录信息<Ci,Ωi,Ei,h(·)>。
8.根据权利要求7所述的一种分布式云计算架构中物联网设备的认证和密钥协商协议方法,其特征在于,所述登录阶段,具体包括:
若用户Ui是真实的,物联网设备生成一个至少128位的随机数Ni,并计算
PIDi=h(IDi||b)
Gi=h(PIDi||SIDm||Ni||TSi||Di)
其中,TSi是物联网设备的当前时间戳,SIDm是云服务器Sm的真实身份标识,Gi、Fi和Zi均表示中间运算结果;
物联网设备通过公共信道将<Gi,Fi,Zi,PIDi,TSi>传输到云服务器Sm。
10.根据权利要求8所述的一种分布式云计算架构中物联网设备的认证和密钥协商协议方法,其特征在于,还包括:身份更改阶段,具体包括:
用户Ui通过安全通道重新注册到控制服务器CS。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110970858.0A CN113765658A (zh) | 2021-08-23 | 2021-08-23 | 分布式云计算架构中物联网设备的认证和密钥协商协议方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110970858.0A CN113765658A (zh) | 2021-08-23 | 2021-08-23 | 分布式云计算架构中物联网设备的认证和密钥协商协议方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN113765658A true CN113765658A (zh) | 2021-12-07 |
Family
ID=78790861
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110970858.0A Pending CN113765658A (zh) | 2021-08-23 | 2021-08-23 | 分布式云计算架构中物联网设备的认证和密钥协商协议方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN113765658A (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114401153A (zh) * | 2022-03-24 | 2022-04-26 | 科大天工智能装备技术(天津)有限公司 | 一种智慧井盖设备的认证方法及*** |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109327313A (zh) * | 2018-11-07 | 2019-02-12 | 西安电子科技大学 | 一种具有隐私保护特性的双向身份认证方法、服务器 |
CN113259091A (zh) * | 2021-04-01 | 2021-08-13 | 中国人民解放军战略支援部队信息工程大学 | 基于椭圆曲线密码的空间信息网络时钟异步安全认证方法 |
-
2021
- 2021-08-23 CN CN202110970858.0A patent/CN113765658A/zh active Pending
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109327313A (zh) * | 2018-11-07 | 2019-02-12 | 西安电子科技大学 | 一种具有隐私保护特性的双向身份认证方法、服务器 |
CN113259091A (zh) * | 2021-04-01 | 2021-08-13 | 中国人民解放军战略支援部队信息工程大学 | 基于椭圆曲线密码的空间信息网络时钟异步安全认证方法 |
Non-Patent Citations (1)
Title |
---|
黄辉辉等: ""An efficient authentication and key agreement protocol for IoT-enabled devices in distributed cloud computing architecture"" * |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114401153A (zh) * | 2022-03-24 | 2022-04-26 | 科大天工智能装备技术(天津)有限公司 | 一种智慧井盖设备的认证方法及*** |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Qiu et al. | Practical and provably secure three-factor authentication protocol based on extended chaotic-maps for mobile lightweight devices | |
Amin et al. | A light weight authentication protocol for IoT-enabled devices in distributed Cloud Computing environment | |
Banerjee et al. | Physically secure lightweight anonymous user authentication protocol for internet of things using physically unclonable functions | |
Odelu et al. | Provably secure authenticated key agreement scheme for distributed mobile cloud computing services | |
Dhillon et al. | Secure multi‐factor remote user authentication scheme for Internet of Things environments | |
Liu et al. | A physically secure, lightweight three-factor and anonymous user authentication protocol for IoT | |
Ghaffar et al. | An improved authentication scheme for remote data access and sharing over cloud storage in cyber-physical-social-systems | |
Srinivas et al. | Provably secure biometric based authentication and key agreement protocol for wireless sensor networks | |
Kalra et al. | Advanced password based authentication scheme for wireless sensor networks | |
Jiang et al. | An anonymous and efficient remote biometrics user authentication scheme in a multi server environment | |
Huang et al. | An efficient authentication and key agreement protocol for IoT-enabled devices in distributed cloud computing architecture | |
CN113849815B (zh) | 一种基于零信任和机密计算的统一身份认证平台 | |
CN113572765B (zh) | 一种面向资源受限终端的轻量级身份认证密钥协商方法 | |
Alhaidary et al. | Vulnerability analysis for the authentication protocols in trusted computing platforms and a proposed enhancement of the offpad protocol | |
CN114143343A (zh) | 雾计算环境中远程访问控制***、控制方法、终端及介质 | |
Alizai et al. | Key-based cookie-less session management framework for application layer security | |
Bairwa et al. | Mutual authentication of nodes using session token with fingerprint and MAC address validation | |
Chen et al. | Improved Secure and Lightweight Authentication Scheme for Next‐Generation IoT Infrastructure | |
Indushree et al. | Mobile-Chain: Secure blockchain based decentralized authentication system for global roaming in mobility networks | |
Liu et al. | TR‐AKA: A two‐phased, registered authentication and key agreement protocol for 5G mobile networks | |
Huang et al. | An Efficient ECC‐Based Authentication Scheme against Clock Asynchronous for Spatial Information Network | |
Hussain et al. | An improved authentication scheme for digital rights management system | |
Sani et al. | SPrivAD: A secure and privacy-preserving mutually dependent authentication and data access scheme for smart communities | |
Zhang et al. | Formal analysis of QUIC handshake protocol using ProVerif | |
Cui et al. | Multi-factor based session secret key agreement for the Industrial Internet of Things |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20211207 |
|
WD01 | Invention patent application deemed withdrawn after publication |