Hybrid extensions for stateful attack graphs

  title={Hybrid extensions for stateful attack graphs},
  author={George Louthan and Michael Haney and Phoebe Hardwicke and Peter J. Hawrylak and John Hale},
Critical infrastructures and safety critical systems increasingly rely on the carefully orchestrated interactions between computers, networks and kinetic elements. The dominant formalisms for modeling such hybrid systems (those with discrete and continuous components) are geared towards simple reactive systems working in isolation. By contrast, modern cyber… CONTINUE READING