Using the Discrete Event System Specification to model Quantum Key Distribution system components

Jeffrey Morris, Michael R. Grimaila, Douglas D. Hodson, Colin V. McLaughlin, David R. Jacques

Research output: Contribution to journalArticle

5 Citations (Scopus)

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.

Original languageEnglish (US)
Pages (from-to)457-480
Number of pages24
JournalJournal of Defense Modeling and Simulation
Volume12
Issue number4
DOIs
StatePublished - Oct 1 2015

Fingerprint

Quantum cryptography
Quantum Key Distribution
Discrete Event Systems
Distribution System
Discrete event simulation
Specification
Specifications
Subsystem
Model Specification
Simulation Framework
Component Model
Simulation Environment
System Architecture
Modeling
Model
Well-defined
Simulation
Attribute
Valid
Decompose

Keywords

  • Conceptual modeling
  • Discrete Event Simulation
  • Discrete Event System Specification
  • Quantum Key Distribution
  • modeling and simulation

ASJC Scopus subject areas

  • Modeling and Simulation
  • Engineering (miscellaneous)

Cite this

Using the Discrete Event System Specification to model Quantum Key Distribution system components. / Morris, Jeffrey; Grimaila, Michael R.; Hodson, Douglas D.; McLaughlin, Colin V.; Jacques, David R.

In: Journal of Defense Modeling and Simulation, Vol. 12, No. 4, 01.10.2015, p. 457-480.

Research output: Contribution to journalArticle

Morris, Jeffrey ; Grimaila, Michael R. ; Hodson, Douglas D. ; McLaughlin, Colin V. ; Jacques, David R. / Using the Discrete Event System Specification to model Quantum Key Distribution system components. In: Journal of Defense Modeling and Simulation. 2015 ; Vol. 12, No. 4. pp. 457-480.
@article{0bf41cc38a3a4e57bbd3241a84ba622f,
title = "Using the Discrete Event System Specification to model Quantum Key Distribution system components",
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.",
keywords = "Conceptual modeling, Discrete Event Simulation, Discrete Event System Specification, Quantum Key Distribution, modeling and simulation",
author = "Jeffrey Morris and Grimaila, {Michael R.} and Hodson, {Douglas D.} and McLaughlin, {Colin V.} and Jacques, {David R.}",
year = "2015",
month = "10",
day = "1",
doi = "10.1177/1548512914554404",
language = "English (US)",
volume = "12",
pages = "457--480",
journal = "Journal of Defense Modeling and Simulation",
issn = "1548-5129",
publisher = "The Society for Modeling and Simulation International",
number = "4",

}

TY - JOUR

T1 - Using the Discrete Event System Specification to model Quantum Key Distribution system components

AU - Morris, Jeffrey

AU - Grimaila, Michael R.

AU - Hodson, Douglas D.

AU - McLaughlin, Colin V.

AU - Jacques, David R.

PY - 2015/10/1

Y1 - 2015/10/1

N2 - 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.

AB - 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.

KW - Conceptual modeling

KW - Discrete Event Simulation

KW - Discrete Event System Specification

KW - Quantum Key Distribution

KW - modeling and simulation

UR - http://www.scopus.com/inward/record.url?scp=84954569300&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84954569300&partnerID=8YFLogxK

U2 - 10.1177/1548512914554404

DO - 10.1177/1548512914554404

M3 - Article

AN - SCOPUS:84954569300

VL - 12

SP - 457

EP - 480

JO - Journal of Defense Modeling and Simulation

JF - Journal of Defense Modeling and Simulation

SN - 1548-5129

IS - 4

ER -