Advertisement

CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems

  • An Hoa Vu
  • Nils Ole Tippenhauer
  • Binbin Chen
  • David M. Nicol
  • Zbigniew Kalbarczyk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8657)

Abstract

We present CyberSAGE, a Cyber Security Argument Graph Evaluation tool for cyber-physical systems. Specifically, CyberSAGE supports the automatic generation of security argument graphs, a graphical formalism that integrates diverse inputs—including workflow information for processes executed in the system, physical network topology, and attacker models—to argue about the level of security for the target system. Based on the generated graphs, CyberSAGE can combine numerical information to compute quantitative security assessment results. We illustrate the use of CyberSAGE through a power grid case study.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Chen, B., Kalbarczyk, Z., Nicol, D.M., Sanders, W.H., Tan, R., Temple, W.G., Tippenhauer, N.O., Vu, A.H., Yau, D.K.: Go with the flow: Toward workflow-oriented security assessment. In: New Security Paradigms Workshop (2013)Google Scholar
  2. 2.
    Tippenhauer, N.O., Temple, W.G., Vu, A.H., Chen, B., Nicol, D.M., Kalbarczyk, Z., Sanders, W.H.: Automatic generation of security argument graphs. Technical Report 1405.7475, CoRR (2014)Google Scholar
  3. 3.
    CyberSAGE: Tool Website, http://cybersagetool.com
  4. 4.
    CSET: The cyber security evaluation tool, http://ics-cert.us-cert.gov/satool.html
  5. 5.
    Mooij, J.M.: libDAI: A free and open source C++ library for discrete approximate inference in graphical models. Journal of Machine Learning Research 11, 2169–2173 (2010)zbMATHGoogle Scholar
  6. 6.
    CEN-CENELEC-ETSI Smart Grid Coordination Group: Smart grid reference architecture (November 2012), http://ec.europa.eu/energy/gas_electricity/smartgrids/doc/xpert_group1_reference_architecture.pdf

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • An Hoa Vu
    • 1
  • Nils Ole Tippenhauer
    • 1
  • Binbin Chen
    • 1
  • David M. Nicol
    • 2
  • Zbigniew Kalbarczyk
    • 2
  1. 1.Advanced Digital Sciences CenterSingapore
  2. 2.University of Illinois at Urbana-ChampaignUSA

Personalised recommendations