Variability Meets Security: Quantitative Security Modeling and Analysis of Highly Customizable Attack Scenarios Romy 12 April 2020