Modeling and Security Analysis Method of Quantum Key Distribution Protocol Based on Colored Petri Nets

Yang, Xiaoming; Jiao, Jian; Shi, Yunmei; Liu, Yong

doi:10.1109/icct46805.2019.8947177

Cited by 3 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…After all photons have been sent, there is no base check between Alice and Bob. Bob tells Alice which qubit will remain as the key shared between them (Yang, Jiao, Shi, and Liu, 2019).…”

Section: Bennett 1992 (B92)mentioning

confidence: 99%

Akilli Ev Si̇stemleri̇nde Kuantum Anahtar Dağitimi

DERE,

ÜLKÜ

2023

Kahramanmaraş Sütçü İmam Üniversitesi Mühendislik Bilimleri Dergisi

View full text Add to dashboard Cite

In recent years, with the increase in the widespread use of the internet, the usage areas and the number of users have increased rapidly. Technological advances and efforts to make life easier bring innovation and transformation in many sectors. One of these innovative approaches is the use of Internet of Things (IoT) in home systems. The concept of IoT refers to the ability of objects to communicate with each other over the internet. Smart home systems stand out as systems where different devices come together work in interaction and can be controlled remotely. While this communication and integration offers various advantages, it also brings security risks. Ensuring security in IoT systems basically includes objectives such as confidentiality, integrity, and authentication. In this study, how the key used in the encryption of data transmitted between the gateway and the cloud in smart home systems can be strengthened with the B92 Quantum Key Distribution protocol is implemented through a scenario. The effect of the Quantum Key Distribution protocol in providing privacy and its advantages against man-in-the-middle attacks are emphasized in this study.

show abstract

“…After all photons have been sent, there is no base check between Alice and Bob. Bob tells Alice which qubit will remain as the key shared between them (Yang, Jiao, Shi, and Liu, 2019).…”

Section: Bennett 1992 (B92)mentioning

confidence: 99%

Akilli Ev Si̇stemleri̇nde Kuantum Anahtar Dağitimi

DERE,

ÜLKÜ

2023

Kahramanmaraş Sütçü İmam Üniversitesi Mühendislik Bilimleri Dergisi

View full text Add to dashboard Cite

show abstract

“…Luo et al, have used CPN Tools to analyze the security of the Wireless Hart protocol [ 28 ], verified the known protocol vulnerabilities through state space analysis, updated the protocol for security flaws, and used CPN Tools to verify the updates again. In addition, other similar works [ 37 , 38 , 39 ] have used CPN Tools to conduct formal security analyses for the SIP protocol, 5G AKA and QKD protocol. From the above, it can be seen that CPN Tools play an essential role in the formal analysis of security protocols.…”

Section: Related Workmentioning

confidence: 99%

Lightweight Anonymous Authentication and Key Agreement Protocol Based on CoAP of Internet of Things

Gong

Feng

2022

Sensors

View full text Add to dashboard Cite

To solve the problem regarding the lack of a lightweight and secure authentication and key agreement protocol in the Constrained Application Protocol of the Internet of Things environment, we explore the security flaws and applicability problems in the current related research. Then, we propose a new lightweight authentication and key agreement protocol based on the CoAP framework. The scheme adopts shared secret and elliptic curve public key technology, which ensures the anonymity of the communicators and provides strong security and anti-attack capacity. In terms of security analysis, the Dolev–Yao Adversary model and a security model checking analysis method based on CPN Tools are improved, in order to verify the correctness and security of the proposed scheme. Compared with other schemes, regarding communication overhead, computational cost, and security, the proposed scheme provides a robust and comprehensive security guarantee, although it is not the lightest.

show abstract

Quantum Key Distribution for Secure Communications

Najeeb

Masood

Fazil

2022

IJIST

View full text Add to dashboard Cite

Data protection and information security have been the essence of communication in today's digital era. Authentication and secrecy of secure communication are achieved using key-based cryptographic primitives; the security of which significantly relies upon the underlying computationally complex mathematics. Moreover, these existing cryptographic primitives are considered to be non-deterministic on the basis of the existing computational capabilities. However, the considerable advancements in the development of quantum computers have significantly enhanced parallel computations; thereby, posing a great threat to these existing encryption primitives. Thus, in the future, the physical manifestation of a large successful quantum computer is likely to break all the existing public-key encryption algorithms in no time. This has led to a remarkable surge of interest in propelling quantum mechanics into existence; subsequently, leading cryptographers to research various viable domains to offer quantum-resistant secure communications. Resultantly, quantum cryptography/quantum key distribution has emerged as a futuristic replacement for classical cryptography as it offers unconditionally secure communication along with the inherent detection of any unintended user. Thus, keeping in view the significance of this relatively newer domain of cryptography, this research focuses on presenting a consolidated review of the various Quantum Key Distribution (QKD) protocols. A comparative analysis of the working mechanism of the prominent QKD protocols is presented along with an overview of the various emerging trends that have been proposed to optimize the implementational efficiency of the BB84 protocol.

show abstract

Modeling and Security Analysis Method of Quantum Key Distribution Protocol Based on Colored Petri Nets

Cited by 3 publications

References 15 publications

Akilli Ev Si̇stemleri̇nde Kuantum Anahtar Dağitimi

Akilli Ev Si̇stemleri̇nde Kuantum Anahtar Dağitimi

Lightweight Anonymous Authentication and Key Agreement Protocol Based on CoAP of Internet of Things

Quantum Key Distribution for Secure Communications

Contact Info

Product

Resources

About