A requirements engineering driven approach to security architecture design for distributed embedded systems

G1: Analyze the set of user requirements resulting from using the dialectic discus- sion platform for the purpose of characterization with respect to the adherence to the

We brifely describe two requirements specification templates, named TERASE and CAMA, and one requirements elicitation guide, named GERSE which is supported by a

We are currently working on SecCo, which will be the socio-technical security mod- elling language for the EU-funded Aniketos project. Aniketos is about ensuring trust- worthiness

While a concrete domain model is as a matter of course domain specific, we assume that in many other engineering disciplines with similar characteristics as control sys-

Like diagnostic security information and knowledge, prescriptive aspects should be assignable to each security topic as easily and intuitively as possible, and

Conditional dependence networks represent obligations as particular kinds of dependencies and these obligations are related to notions by means of sanc- tions if the obligation is

How- ever, the applicability of these approaches in the context of security and privacy requirements modeling for multi-device software ecosystems shows limitations with respect to

The next section ( § 2) presents the features required by a reverse engineering tool dedicated to real time critical embedded systems.. Section § 3 reviews several existing