Safeware: system safety and computers
Safeware: system safety and computers
Threat Modeling
The Art of Software Security Assessment: Identifying and Preventing Software Vulnerabilities
The Art of Software Security Assessment: Identifying and Preventing Software Vulnerabilities
Threat Modeling: Diving into the Deep End
IEEE Software
IEEE Security and Privacy
Developer-Driven Threat Modeling: Lessons Learned in the Trenches
IEEE Security and Privacy
Can we measure security and how?
Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
Availability Assessment of Embedded Systems with Security Vulnerabilities
SEW '11 Proceedings of the 2011 IEEE 34th Software Engineering Workshop
Hi-index | 0.00 |
In this paper, threat modeling issues in cyberphysical systems are discussed. First a generic model of a cyberphysical system is outlined, with an attack surface suitable for security analysis. Then, a case study of network communication in a road vehicle is presented, with its behavior modeled by a discrete time Markov chain, under the assumption that security violations can cause gradual degradation of functionality. Finally, two ways of numerical assessment of vulnerabilities are analyzed, to help better estimate probabilities of state changes in a Markov model.