Cyber security

• US 9,367,683 B2
• Filed: 03/14/2014
• Issued: 06/14/2016
• Est. Priority Date: 03/15/2013
• Status: Active Grant

• Current Assignee: KA Holding, LLC (Markel Corporation)
• Original Assignee: Cyberricade, Inc
• Inventors: Loparo, Kenneth A., Kolacinski, Richard M., Angeline, Barry D.
• Primary Examiner(s): Lemma, Samson
• Assistant Examiner(s): VICTORIA, NARCISO F
• Application Number:
  US14/211,909
• Publication Number:
  US 20150096026A1
• Time in Patent Office: 823 Days
• Field of Search: 726/23
• US Class Current: 1/1
• CPC Class Codes: G06F 21/52 during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow
• CPC Class Codes: G06F 21/55 Detecting local intrusion or implementing counter-measures
• CPC Class Codes: G06F 21/552 involving long-term monitoring or reporting
• CPC Class Codes: G06F 21/577 Assessing vulnerabilities and evaluating computer system security
• CPC Class Codes: G06F 2221/034 Test or assess a computer or a system
• CPC Class Codes: G06N 20/00 Machine learning
• CPC Class Codes: G06N 7/01 Probabilistic graphical models, e.g. probabilistic networks
• CPC Class Codes: Y04S 40/20 Information technology specific aspects, e.g. CAD, simulation, modelling, system security

Abstract

Systems and methods that use probabilistic grammatical inference and statistical data analysis techniques to characterize the behavior of systems in terms of a low dimensional set of summary variables and, on the basis of these models, detect anomalous behaviors are disclosed. The disclosed information-theoretic system and method exploit the properties of information to deduce a structure for information flow and management. The properties of information can provide a fundamental basis for the decomposition of systems and hence a structure for the transmission and combination of observations at the desired levels of resolution (e.g., component, subsystem, system).

Claims

1. A computer implemented method for detecting cyber physical system behavior, comprising:

utilizing one or more processors and associated memory storing one or more programs for execution by the one or more processors, the one or more programs including instructions for;

receiving data from a plurality of sensors associated with the cyber physical system;

constructing a metrization of the data utilizing a data structuring;

determining at least one ensemble and at least one summary variable from the metrized data, wherein the determining includes a symbolic encoding of the metrized data and inferring an automata model utilizing a probabilistic grammatical inference that comprises an ε

-Machine Reconstruction statistical machine learning technique that includes describing a system trajectory as a string of symbols and describing system dynamics in terms of shift dynamics of the associated symbol string, wherein the ε

-Machine Reconstruction statistical machine learning technique includes at least one of;

(a) discovering common subtrees of a string parse tree via a nonparametric Bayesian clustering method including a Dirichlet Process or a Beta Process;

or

(b) a diffusion map technique;

applying a thermodynamic formalism to the at least one summary variable to classify a plurality of system behaviors;

identifying the plurality of system behaviors based at least in part on the classified plurality of system behaviors;

obtaining, by the one or more processors, a baseline of the system behavior associated with the classified plurality of system behaviors;

detecting an anomalous condition based on a deviation of the plurality of system behaviors from the baseline; and

generating an output indicating the identified plurality of system behaviors or the anomalous condition.

2. The method for detecting cyber physical system behavior of claim 1, including identifying cycles in strings of symbols utilizing pumping lemmas.

3. The method for detecting cyber physical system behavior of claim 1, wherein the at least one ensemble is determined empirically.

4. The method for detecting cyber physical system behavior of claim 1, wherein applying a thermodynamic formalism includes applying thermodynamic techniques to the sensor data.

5. The method for detecting cyber physical system behavior of claim 1, wherein the data structuring includes a manifold learning technique comprising at least one of a Diffusion Mapping, a bijective mapping or a spectral graph analysis.

6. The method for detecting cyber physical system behavior of claim 1, wherein the at least one summary variable is determined by forming a derivative of a natural variable.

7. The method for detecting cyber physical system behavior of claim 1, wherein receiving data includes receiving time series data from a plurality of sensors monitoring a cyber-physical system.

8. The method for detecting cyber physical system behavior of claim 7, wherein the cyber-physical system is an electrical power grid system.

9. The method for detecting cyber physical system behavior of claim 1, wherein detecting an anomalous condition includes at least one of predicting or detecting the presence of an Improvised Explosive Device.

10. A system for detecting cyber physical system behavior, comprising:

a processor and memory coupled to the processor, the processor executes the following executable components;

a data collection component that receives encoded information from a plurality of sensors associated with the cyber physical system;

a data assimilation component for decoding the encoded information by applying a manifold learning technique to the information to identify system features including at least one summary variable, wherein the data assimilation component applies a thermodynamic formalism to the at least one summary variable to obtain an indication of system behavior, wherein the data assimilation component utilizes a spectral graph analysis process that includes integrating data across at least one of a continuous physical domain or a discrete physical domains and at least one of a computational cyber domain or a transactional cyber domain, wherein the spectral graph analysis process comprises a Diffusion Mapping technique; and

an operational component for receiving the indication of system behavior and for detecting an anomalous system behavior.

11. The system for detecting cyber physical system behavior of claim 10, wherein the encoded information includes at least one of continuous, discrete or transactional cyber physical system dynamics.

12. The system for detecting cyber physical system behavior of claim 10, wherein the operational component provides an output indicating the anomalous system behavior.

13. The system for detecting cyber physical system behavior of claim 10, wherein the data assimilation component utilizes a bijective mapping technique.