Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Innovations in Systems and Software Engineering Année : 2016

Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems

Résumé

Pattern-based development of software systems has gained more attention recently by addressing new challenges such as security and dependability. However, there are still gaps in existing modeling languages and/or formalisms dedicated to modeling design patterns and the way how to reuse them in the automation of software development. The solution envisaged here is based on combining metamodeling techniques and formal methods to represent security patterns at two levels of abstraction to fostering reuse. The goal of the paper is to advance the state of the art in model and pattern-based security for software and systems engineering in three relevant areas: (1) develop a modeling language to support the definition of security patterns using metamodeling techniques; (2) provide a formal representation and its associated validation mechanisms for the verification of security properties; and (3) derive a set of guidelines for the modeling of security patterns within the integration of these two kinds of representations.
Fichier principal
Vignette du fichier
hamid_16871.pdf (1.46 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01592038 , version 1 (22-09-2017)

Identifiants

Citer

Brahim Hamid, Sigrid Gürgens, Andreas Fuchs. Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems. Innovations in Systems and Software Engineering, 2016, vol. 12 (n° 2), pp. 109-140. ⟨10.1007/s11334-015-0259-1⟩. ⟨hal-01592038⟩
177 Consultations
765 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More