2015 · 43 citations · 11 references
EngineeringCybersecuritySystems EngineeringComputer SecurityCyber-physical SystemsSystems ModelingCyber-physical SecurityCyber-physical Systems ArchitectureCyber-physical Systems DesignCyber-physical Systems ModelingThreat AnalysisThreat ModelingCyber-physical Security ModelingCyber-physical System SecurityCyber-physical Systems IntegrationCyber-physical Vulnerability AssessmentFormal Methods For Cyber-physical SystemsModel-based Threat AnalysisNetworkingThreat Modeling Tools
Cyber-Physical Systems (CPS) are systems that integrate physical, computational, and networking components. These systems have an impact on the physical components; it is critical to safeguard them against a range of attacks. In this paper, it is argued that an effective approach to achieve this goal is to systematically identify the potential threats at the design phase of building such systems, commonly achieved via threat modeling. In this context, a tool to perform systematic analysis of threat modeling for CPS is proposed. A real-world wireless railway temperature monitoring system is used as a case study to validate the proposed approach. The threats identified in the system are subsequently mitigated using the National Institute of Standards and Technology (NIST) SP 800-82 guidelines.
11
Attack trees : Modeling security threats
Bruce Schneier · Medical Entomology and Zoology · 1999 · 639 citations
The Generic Modeling Environment
Ákos Lédeczi, Miklós Maróti, Árpád Bakay et al. · 2001 · 496 citations