Using the Discrete Event System Specification to model Quantum Key Distribution system components
No Thumbnail Available
Authors
Morris, Jeffrey D.
Grimaila, Michael R.
Hodson, Douglas D.
Mclaughlin, Colin V.
Jacques, David R.
Issue Date
2014
Type
journal-article
Language
Keywords
Quantum Key Distribution (QKD)
Alternative Title
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.
Description
Citation
Morris JD, Grimaila MR, Hodson DD, McLaughlin CV, Jacques DR. Using the Discrete Event System Specification to model Quantum Key Distribution system components. The Journal of Defense Modeling and Simulation. 2015;12(4):457-480. doi:10.1177/1548512914554404
Publisher
The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology
License
Journal
Volume
Issue
PubMed ID
ISSN
1548-5129
1557-380X
1557-380X