Conceptual Modeling of a Quantum Key Distribution Simulation Framework Using the Discrete Event System Specification

Loading...
Thumbnail Image

Authors

Morris, Jeffrey D.

Issue Date

2014

Type

Theses or dissertations

Language

Keywords

Quantum Key Distribution (QKD)

Research Projects

Organizational Units

Journal Issue

Alternative Title

Abstract

Quantum Key Distribution (QKD) is a revolutionary security technology that exploits the laws of quantum mechanics to achieve information-theoretical secure key exchange. QKD is suitable for use in applications that require high security such as those found in certain commercial, governmental, and military domains. As QKD is a new technology, there is a need to develop a robust quantum communication modeling and simulation framework to support the analysis of QKD systems. This dissertation presents conceptual modeling QKD system components using the Discrete Event System Specification (DEVS) formalism to assure the component models are provably composable and exhibit temporal behavior independent of the simulation environment. These attributes enable users to assemble and simulate any collection of compatible components to represent QKD system architectures. The developed models demonstrate closure under coupling and exhibit behavior suitable for the intended analytic purpose, thus improving the validity of the simulation. This research contributes to the validity of the QKD simulation, increasing developer and user confidence in the correctness of the models and providing a composable, canonical basis for performance analysis efforts. The research supports the efficient modeling, simulation, and analysis of QKD systems when evaluating existing systems or developing next generation QKD cryptographic systems.

Description

Citation

Morris, Jeffrey D. "Conceptual Modeling of a Quantum Key Distribution Simulation Framework Using the Discrete Event System Specification". AIR FORCE INSTITUTE OF TECHNOLOGY, 2014.

Publisher

AIR FORCE INSTITUTE OF TECHNOLOGY

License

Journal

Volume

Issue

PubMed ID

DOI

ISSN

EISSN