Using Attack Surface Entry Points and Reachability Analysis to Assess the Risk of Software Vulnerability Exploitability.
Awad A. YounisYashwant K. MalaiyaIndrajit RayPublished in: HASE (2014)
Keyphrases
- entry points
- reachability analysis
- security risks
- entry point
- risk assessment
- model checking
- security vulnerabilities
- markov decision processes
- risk management
- software development
- attack graphs
- software systems
- d objects
- timed automata
- three dimensional
- computer systems
- incremental algorithms
- real time
- network security
- state space
- image sequences
- penetration testing