2,608 research outputs found
A moving target defense to detect stealthy attacks in cyber-physical systems
Cyber-Physical Systems (CPS) have traditionally been considered more static, with regular communication patterns when compared to classical information technology networks. Because the structure of most CPS remains unchanged during long periods of time, they become vulnerable to adversaries who can tailor their attacks based on their precise knowledge of the system dynamics, communications, and control. Moving Target Defense (MTD) has emerged as a strategy to add uncertainty about the state and execution of a system in order to prevent adversaries from having predictable effects with their attacks. In this work we propose a novel type of MTD strategy that randomly changes the availability of the sensor data, so that it is harder for adversaries to tailor stealthy attacks and at the same time it can minimize the impact of false-data injection attacks. Using tools from switched control systems we formulate an optimization problem to find the probability of the switching signals that increase the visibility of stealthy attacks while decreasing the deviation caused by false data injection attacks
Análisis de la señal ECG en pacientes con enfermedad de Párkinson
Postprint (published version
Quantum point contact conductance in NINS junctions
The effect of an insulating barrier located at a distance from a NS
quantum point contact is analyzed in this work. The Bogoliubov de Gennes
equations are solved for NINS junctions (S: anysotropic superconductor, I:
insulator and N: normal metal), where the NIN region is a quantum wire. For , bound states and resonances in the differential conductance are
predicted. These resonances depend on the symmetry of the pair potential, the
strength of the insulating barrier and . Our results show that in a NINS
quantum point contact the number of resonances vary with the symmetry of the
order parameter. This is to be contrasted with the results for the NINS
junction, in which only the position of the resonances changes with the
symmetry.Comment: 5 pages, 5 Figures, RevTex
Strong and auxiliary forms of the semi-Lagrangian method for incompressible flows
We present a review of the semi-Lagrangian method for advection-diusion and incompressible Navier-Stokes equations discretized with high-order methods. In particular, we compare the strong form where the departure points are computed directly via backwards integration with the auxiliary form where an auxiliary advection equation is solved instead; the latter is also referred to as Operator Integration Factor Splitting (OIFS) scheme. For intermediate size of time steps the auxiliary form is preferrable but for large time steps only the strong form is stable
Retention of duplicated long-wavelength opsins in mosquito lineages by positive selection and differential expression
Geant4 simulations of the neutron production and transport in the n TOF spallation target
The neutron production and transport in the spallation target of the n TOF facility at CERN has been simulated with Geant4. The results obtained with the different hadronic Physics Lists provided by Geant4 have been compared
with the experimental neutron flux in n TOF-EAR1. The best overall Agreement in both the absolute value and the energy dependence of the flux from thermal to 1GeV, is obtained with the INCL++ model coupled with the Fritiof Model(FTFP).
This Physics List has been thus used to simulate and study the main features of the new n TOF-EAR2 beam line, currently in its commissioning phase
- …