Ensuring threat-model assumptions by using static code analyses.
Johannes GeismannBastian HaverkampEric BoddenPublished in: ECSA (Companion) (2021)
Keyphrases
- computational model
- probabilistic model
- theoretical analysis
- hierarchical structure
- experimental data
- statistical model
- analytical model
- metamodel
- prediction model
- formal model
- parameter estimation
- decision making
- mathematical model
- sensitivity analysis
- management system
- parameter values
- probability distribution
- objective function