A Model-Based Approach to Security Analysis for Cyber-Physical Systems

Evaluating the security of cyber-physical systems throughout their life cycle is necessary to assure that they can be deployed and operated in safety-critical applications, such as infrastructure, military, and transportation. Most safety and security decisions that can have major effects on mitigation strategy options after deployment are made early in the system's life cycle. To allow for a vulnerability analysis before deployment, a sufficient well-formed model has to be constructed. To construct such a model we produce a taxonomy of attributes; that is, a generalized schema for system attributes. This schema captures the necessary specificity that characterizes a possible real system and can also map to the attack vector space associated with the model's attributes. In this way, we can match possible attack vectors and provide architectural mitigation at the design phase. We present a model of a flight control system encoded in the Systems Modeling Language, commonly known as SysML, but also show agnosticism with respect to the modeling language or tool used.Comment: 8 pages, 5 figures, conferenc

A reduced set of moves on one-vertex ribbon graphs coming from links

Every link in R^3 can be represented by a one-vertex ribbon graph. We prove a Markov type theorem on this subset of link diagrams.Comment: 14 pages, 15 figure

Rotation of Low-mass Stars in Taurus with K2

We present an analysis of K2 light curves (LCs) from Campaigns 4 and 13 for members of the young (~3 Myr) Taurus association, in addition to an older (~30 Myr) population of stars that is largely in the foreground of the Taurus molecular clouds. Out of 156 of the highest-confidence Taurus members, we find that 81% are periodic. Our sample of young foreground stars is biased and incomplete, but nearly all stars (37/38) are periodic. The overall distribution of rotation rates as a function of color (a proxy for mass) is similar to that found in other clusters: the slowest rotators are among the early M spectral types, with faster rotation toward both earlier FGK and later M types. The relationship between period and color/mass exhibited by older clusters such as the Pleiades is already in place by Taurus age. The foreground population has very few stars but is consistent with the USco and Pleiades period distributions. As found in other young clusters, stars with disks rotate on average slower, and few with disks are found rotating faster than ~2 days. The overall amplitude of the LCs decreases with age, and higher-mass stars have generally lower amplitudes than lower-mass stars. Stars with disks have on average larger amplitudes than stars without disks, though the physical mechanisms driving the variability and the resulting LC morphologies are also different between these two classes

Theory and Application of Dissociative Electron Capture in Molecular Identification

The coupling of an electron monochromator (EM) to a mass spectrometer (MS) has created a new analytical technique, EM-MS, for the investigation of electrophilic compounds. This method provides a powerful tool for molecular identification of compounds contained in complex matrices, such as environmental samples. EM-MS expands the application and selectivity of traditional MS through the inclusion of a new dimension in the space of molecular characteristics--the electron resonance energy spectrum. However, before this tool can realize its full potential, it will be necessary to create a library of resonance energy scans from standards of the molecules for which EM-MS offers a practical means of detection. Here, an approach supplementing direct measurement with chemical inference and quantum scattering theory is presented to demonstrate the feasibility of directly calculating resonance energy spectra. This approach makes use of the symmetry of the transition-matrix element of the captured electron to discriminate between the spectra of isomers. As a way of validating this approach, the resonance values for twenty-five nitrated aromatic compounds were measured along with their relative abundance. Subsequently, the spectra for the isomers of nitrotoluene were shown to be consistent with the symmetry-based model. The initial success of this treatment suggests that it might be possible to predict negative ion resonances and thus create a library of EM-MS standards.Comment: 18 pages, 7 figure