Home // PATTERNS 2016, The Eighth International Conferences on Pervasive Patterns and Applications // View article

Towards Antipatterns-Based Model Checking

Authors:
Hassan Loulou
Sebastien Saudrais
Hassan Soubra
Cherif Larouci

Keywords: Antipatterns; Model Checking; Formal Methods.

Abstract:
Discovering bugs in the early stages of the development life cycle is an important issue. However, software model checking realized by transforming design models into formal methods cannot test all the possible execution scenarios. Thus, we developed an approach to guide the model checker and the security engineer to the most suspicious parts of these models firstly. The objective is to build and analyze antipatterns to notify the security engineer to concentrate on specific parts of their models during the model checking. Our first contribution is dedicated to exploring ProB model checker features which help the translated model to find attack scenarios automatically. The second one is the definition and the analysis of 10 antipatterns as a step towards their automatic detection.

Pages: 27 to 32

Copyright: Copyright (c) IARIA, 2016

Publication date: March 20, 2016

Published in: conference

ISSN: 2308-3557

ISBN: 978-1-61208-465-7

Location: Rome, Italy

Dates: from March 20, 2016 to March 24, 2016