Safety envelope for security

摘要: We present an approach for detecting sensor spoofing attacks on a cyber-physical system. Our consists of two steps. In the first step, we construct safety envelope Under nominal conditions (that is, when there are no attacks), system always stays inside its envelope. second build attack detector: monitor that executes synchronously with and raises alarm whenever state falls outside synthesize envelopes using modifed machine learning procedure applied data collected from it is not under attack. experimental results show effectiveness our approach, also validate several novel features introduced in procedure.