Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
Fri 23 Oct 2020 15:00 - 15:20 at Room A - A7-Safety, Security and Testing Chair(s): Joanne M. Atlee

Security by design is a key principle for realizing secure software systems and it is advised to hunt for security flaws from the very early stages of software development. At design-time, security analysis is often performed manually by means of either threat modeling or expert-based design inspections. However, when leveraging the wide range of well-established knowledge bases on security design flaws (e.g., CWE, CAWE), these manual assessments become too time consuming, error-prone, and infeasible in the context of contemporary development practices which employ frequent iterations. This paper focuses on design inspection and explores the potential for automating the application of inspection rules to speed up the security analysis process. The contributions of this paper are: (i) the creation of a publicly available data set consisting of 26 design models annotated with security flaws, (ii) an automated approach for following inspection guidelines using model query patterns, and (iii) an empirical comparison of the results from this automated approach with those from manual inspection. Even though our results show that a complete automation of the security design flaw detection is hard to achieve, we find that some flaws (e.g., insecure data exposure) are more amenable to automation. Compared to manual analysis techniques, our results are encouraging and suggest that the automated technique could guide security analysts towards a more complete inspection of the software design, especially when analyzing large models.

Fri 23 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

models-2020-technical-track
15:00 - 16:15: Technical Track - A7-Safety, Security and Testing at Room A
Chair(s): Joanne M. AtleeUniversity of Waterloo
models-2020-technical-track15:00 - 15:20
Full-paper
Katja TumaChalmers | University of Gothenburg, Laurens Sionimec-DistriNet, KU Leuven, Riccardo Scandariato, Koen Yskoutimec - DistriNet, KU Leuven
Pre-print
models-2020-technical-track15:20 - 15:40
Full-paper
models-2020-technical-track15:40 - 16:00
Full-paper
models-2020-technical-track16:00 - 16:10
Demonstration
Alessio Di Sandro, Gehan Selim, Sahar KokalyGeneral Motors, Torin Viger, Rick SalayUniversity of Toronto
Hide past events