Affiliation:
1. United States Air Force Institute of Technology, Wright-Patterson AFB, USA
2. Naval Research Laboratory, USA
Abstract
In this paper, we present modeling a Quantum Key Distribution (QKD) system with its components using the Discrete Event System Specification (DEVS) formalism. The DEVS formalism assures the developed component models are composable and exhibit well-defined temporal behavior independent of the simulation environment. These attributes enable users to assemble a valid simulation using any collection of compatible components to represent complete QKD system architectures. To illustrate the approach, we introduce a prototypical “prepare and measure” QKD system, decompose one of its subsystems, and present the detailed modeling of the subsystem using the DEVS formalism. The developed models are provably composable and exhibit behavior suitable for the intended analytic purpose, thus improving the validity of the simulation. Finally, we examine issues identified during the verification of the conceptual DEVS model and discuss the impact of these findings on implementing a hybrid QKD simulation framework.
Subject
Engineering (miscellaneous),Modeling and Simulation
Reference30 articles.
1. Singh S. The code book: the secret history of codes and code-breaking. London: Fourth Estate, 1999, p.ix.
2. Schneier B. Applied cryptography: protocols, algorithms, and source code in C. 2nd ed.New York: John Wiley & Sons, 1995, pp.151–153.
3. Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling quantum optics for quantum key distribution system simulation;The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology;2017-01-10
2. Discrete Event Simulation of the quantum channel within a Quantum Key Distribution system;The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology;2015-02-13