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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
CyberSAGE: Tool Website, http://cybersagetool.com
CSET: The cyber security evaluation tool, http://ics-cert.us-cert.gov/satool.html
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)
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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Vu, A.H., Tippenhauer, N.O., Chen, B., Nicol, D.M., Kalbarczyk, Z. (2014). CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems. In: Norman, G., Sanders, W. (eds) Quantitative Evaluation of Systems. QEST 2014. Lecture Notes in Computer Science, vol 8657. Springer, Cham. https://doi.org/10.1007/978-3-319-10696-0_29
Download citation
DOI: https://doi.org/10.1007/978-3-319-10696-0_29
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10695-3
Online ISBN: 978-3-319-10696-0
eBook Packages: Computer ScienceComputer Science (R0)