Electronic workshops in computing · 2018 · 18 citations · 13 references
ComputingComputer ScienceCybersecurityComputer SecurityCyber-physical SystemsVulnerability AnalysisCyber-physical SecurityCyber-physical Systems ArchitectureCyber-physical Systems DesignCyber-physical Systems ModelingSystem SecurityThreat ModelingAttack DetectionAttack Detection In Cyber-physical SystemsAttack Tree AnalysisAttack TreesCyber-physical Security ModelingCyber-physical System SecurityCyber-physical Vulnerability AssessmentLegacy Systems
Over the last decades, cyber-physical systems have evolved from isolated to complex interconnected systems that are remotely accessible. This made them easier to attack, especially since they often contain legacy components with known vulnerabilities. This paper presents a methodology to assess the security of a cyber-physical system. It automatically generates attack trees based on the system architecture. The generated attack trees are processed to provide both technical and non-technical feedback. The assessor can define different attacker models to asses the security of the system with respect to different types of attackers. The methodology is validated by providing tool support and applying it to an example ICS.
13
A Practical Guide to SysML: The Systems Modeling Language
C.J.H. Mann · Kybernetes · 2009 · 928 citations
Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)
Elizabeth LeMay, Michael Ford, Ken Keefe et al. · 2011 · 170 citations