A framework towards the efficient identification and modeling of security requirements

In this paper, we present MUSER (MUltilayer SEcurity Requirements anal- ysis tool), a prototype that supports analyzing security requirements of STSs from a holistic point of

All used metamodels (i.e., the security requirements metamodel plus the transformational metamodel) are specied using the Eclipse Modeling Frame- work (EMF)1. As a benet, this

Guided by our requirements engineering approach that specifies the security relevant automotive requirements to mitigate several attacks and vulnerabilities on these systems [80,

Abstract. Traditionally, requirements engineering has been stakeholder driven. With the advent of digital technologies, unprecedented amounts of data are con- tinuously

[Principal ideas/results] To tackle this domain formalization issue, we propose a dual Model- driven Engineering (MDE) and Information Retrieval (IR) approach to address the

We propose an integrated approach for modeling and verify- ing the requirements of Self-Adaptive Systems using Model Driven Engineering techniques.. For this, we use Relax , which is

His research areas include requirements engineering, model driven engineering, goal based requirements engi- neering, computer networks and use of formal methods for the

However, the applicability of these approaches in the context of security and privacy requirements modeling for mobile apps shows limitations with respect to (1) their support