Despite its ubiquity in the systems engineering literature, flexibility remains an ambiguous concept. There exist a multitude of definitions, which vary not only by domain, but within domains as well. Furthermore, these definitions often conflict with one another, making it difficult to discern the intended meaning in a given study or to form generalizations across studies. Complicating matters, there is a plethora of related terminology that is often used carelessly and/or interchangeably with flexibility. In this paper, we employ a novel ontological framework for clarifying salient aspects of extant flexibility-related terminology. While it was not possible to distill consensus definitions from the literature, we did identify certain dominant characteristics that enabled us to formulate a set of democratic definitions for flexibility, adaptability, and robustness, as well as recommended definitions for agility and versatility. We believe that the proposed definitions of these key system design principles may provide a baseline for improving analysis and communication among systems engineering practitioners and academics.
In recent years, attack trees have been developed to describe processes by which malicious users attempt to exploit or break computer software and/or networks. Attack trees are a way of decomposing, visualizing, and determining the cost or likeliness of attacks. Similarly, Petri Nets (PNs) are graphical representations of a system or process used for modeling, formal analysis, and design verification. PNs are easy to build and simulate using a myriad of available tools. There are a number of subclasses of PNs, including Colored, Timed, Stochastic, etc. This paper focuses on the use of Generalized Stochastic PNs (GSPNs) to model and analyze Attack Trees with the ultimate goal of automating the analysis using simulation tools.The results of this simulation and analysis can be used to further refine the Attack Tree or to develop countermeasures.
Quantum key distribution (QKD) is an innovative technology that exploits the laws of quantum mechanics to generate and distribute unconditionally secure shared key for use in cryptographic applications. However, QKD is a relatively nascent technology where real-world system implementations differ significantly from their ideal theoretical representations. In this paper, we introduce a modeling framework built upon the OMNeT++ discrete event simulation framework to study the impact of implementation nonidealities on QKD system performance and security. Specifically, we demonstrate the capability to study the device imperfections and practical engineering limitations through the modeling and simulation of a polarization-based, prepare and measure BB84 QKD reference architecture. The reference architecture allows users to model and study complex interactions between physical phenomenon and system-level behaviors representative of real-world design and implementation tradeoffs. Our results demonstrate the flexibility of the framework to simulate and evaluate current, future, and notional QKD protocols and components.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.