Maryam Jamal¹, Nazir Ahmad Zafar², Atta-ur-Rahman^3,*, Dhiaa Musleh³, Mohammed A. Gollapalli⁴, Sghaier Chabani⁴

CMC-Computers, Materials & Continua, Vol.72, No.2, pp. 3331-3348, 2022, DOI:10.32604/cmc.2022.025205

Abstract The formal modeling and verification of aircraft takeoff is a challenge because it is a complex safety-critical operation. The task of aircraft takeoff is distributed amongst various computer-based controllers, however, with the growing malicious threats a secure communication between aircraft and controllers becomes highly important. This research serves as a starting point for integration of BB84 quantum protocol with petri nets for secure modeling and verification of takeoff procedure. The integrated model combines the BB84 quantum cryptographic protocol with powerful verification tool support offered by petri nets. To model certain important properties of BB84, a new variant of petri nets… More >

Hao Xiao^1,*, Jun Zhang², Wenhua Huang³, Mi Zhou⁴, Wencheng Hu⁵

CMC-Computers, Materials & Continua, Vol.61, No.2, pp. 759-775, 2019, DOI:10.32604/cmc.2019.06085

Abstract Combined with the dense coding mechanism and the bias-BB84 protocol, an efficient quantum key distribution protocol with dense coding on single photons (QDKD-SP) is proposed. Compared with the BB84 or bias-BB84 protocols based on single photons, our QDKD-SP protocol has a higher capacity without increasing the difficulty of its experiment implementation as each correlated photon can carry two bits of useful information. Compared with the quantum dense key distribution (QDKD) protocol based on entangled states, our protocol is more feasible as the preparation and the measurement of a single-photon quantum state is not difficult with current technology. In addition, our… More >