Dna-X

Sun, Haiyou; Xiao, Shuangjiu

doi:10.1145/3199478.3199508

Cited by 5 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…At present, some scholars have applied SGX to other environments to design schemes. Sun et al [25] used SGX to design schemes to better protect dynamic identity authentication. Liu et al [26] devised an AKA scheme that applies SGX to wireless sensor networks (WSNs).…”

Section: Related Workmentioning

confidence: 99%

“…At present, some scholars protect users' privacy through differential privacy [15], quick response (QR) code [16] and other technologies, and many scholars have proposed many authentication and key agreement (AKA) schemes [13,[17][18][19][20][21][22][23][24] to protect the confidentiality and security of transmitted information, but most of their schemes have various security problems, such as unable to achieve mutual authentication, unable to resist offline password guessing (OPG) attacks, insider attacks, impersonation attacks, etc. In order to protect and improve the security of information, Intel has proposed a new set of CPU instruction extensions called software guard extensions (SGX) [25,26] technology. It is a kind of hardware that can create a trusted execution environment (TEE) to protect code and data, which even high-level system software cannot access.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Toward a Secure Smart-Home IoT Access Control Scheme Based on Home Registration Approach

et al. 2023

View full text Add to dashboard Cite

The extensive application of the Internet of Things (IoT) and artificial intelligence technology has greatly promoted the construction and development of smart cities. Smart home as the foundation of smart cities can optimize home lifestyles. However, users access the smart home system through public channels, and the transmitted information is vulnerable to attack by attackers, and the privacy and data security of the home user will be difficult to be guaranteed. Therefore, how to protect users’ data and privacy security becomes critical. In this paper, we design a provably secure authentication scheme for the smart home environment, which ensures that only legitimate users can use smart devices. We use the informal model to verify the security of the scheme and formally analyze the security and correctness of the scheme through the Real or Random model. Finally, through the comparison of security and performance analysis, it is proven that our scheme has higher security under similar performance.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Toward a Secure Smart-Home IoT Access Control Scheme Based on Home Registration Approach

et al. 2023

View full text Add to dashboard Cite

show abstract

“…Fisch et al [41] constructed a provably secure and practical functional encryption mechanism using Intel SGX and showed that the performance of this mechanism exceeded the known encryption schemes. Sun et al [42] proposed a dynamic network identity authentication scheme using SGX, which can continuously update the key. Conde et al [43] designed and implemented an identity authentication module based on SGX in a Unix operating system.…”

Section: Related Workmentioning

confidence: 99%

SAKAP: SGX-Based Authentication Key Agreement Protocol in IoT-Enabled Cloud Computing

et al. 2022

View full text Add to dashboard Cite

With the rapid development of the Internet, Internet of Things (IoT) technology is widely used in people’s daily lives. As the number of IoT devices increases, the amount of data to be processed also increases. The emergence of cloud computing can process the data of IoT devices in a timely manner, and it provides robust storage and computing capabilities to facilitate data resource sharing. Since wireless communication networks are unstable and open, it is easy for attackers to eavesdrop, intercept, and tamper with the messages sent. In addition, authentication protocols designed for IoT-enabled cloud computing environments still face many security challenges. Therefore, to address these security issues, we propose an Intel software-guard-extensions (SGX)-based authentication key agreement protocol in an IoT-enabled cloud computing environment. The goal is to ensure data privacy and sustainable communication between the entities. Moreover, SGX can resist several well-known attacks. Finally, we show the security using the real-or-random model, ProVerif, and informal analysis. We also compare the security and performance of the proposed protocol with existing protocols. The comparison results show that our proposed protocol reduces the communication cost by 7.07% compared to the best one among the current protocols and ensures sufficient security.

show abstract

LAFED: A lightweight authentication mechanism for blockchain-enabled federated learning system

Zhang

et al. 2023

Future Generation Computer Systems

View full text Add to dashboard Cite

Dna-X

Cited by 5 publications

References 10 publications

Toward a Secure Smart-Home IoT Access Control Scheme Based on Home Registration Approach

Toward a Secure Smart-Home IoT Access Control Scheme Based on Home Registration Approach

SAKAP: SGX-Based Authentication Key Agreement Protocol in IoT-Enabled Cloud Computing

LAFED: A lightweight authentication mechanism for blockchain-enabled federated learning system

Contact Info

Product

Resources

About