CyberSAGE: A tool for automatic security assessment of cyber-physical systems

An Hoa Vu, Nils Ole Tippenhauer, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationQuantitative Evaluation of Systems - 11th International Conference, QEST 2014, Proceedings
PublisherSpringer
Pages384-387
Number of pages4
ISBN (Print)9783319106953
DOIs
StatePublished - 2014
Event11th International Conference on Quantitative Evaluation of Systems, QEST 2014 - Florence, Italy
Duration: Sep 8 2014Sep 10 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8657 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other11th International Conference on Quantitative Evaluation of Systems, QEST 2014
Country/TerritoryItaly
CityFlorence
Period9/8/149/10/14

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'CyberSAGE: A tool for automatic security assessment of cyber-physical systems'. Together they form a unique fingerprint.

Cite this