A Modeling and Formal Approach for the Precise Specification of Security Patterns
19
0
0
Texte intégral
Documents relatifs
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
