Security Risk-Aware Secure Tropos
Security Risk-Aware Secure Tropos
Security Risk-Aware Secure Tropos
Chapter 6:
Security Risk-Aware
Secure Tropos
Raimundas Matulevičius
University of Tartu, Estonia, rma@ut.ee
• Early requirements
• Late requirements
• Architecture design
• Detailed design
Actor model
Actor model
Actor model
15
© Springer International Publishing AG 2017
Abstract and Concrete syntax
Actor model
16
© Springer International Publishing AG 2017
Abstract and Concrete syntax
Actor model
17
© Springer International Publishing AG 2017
Abstract and Concrete syntax
Goal model
18
© Springer International Publishing AG 2017
Abstract and Concrete syntax
Goal model
19
© Springer International Publishing AG 2017
Abstract and Concrete syntax
Goal model
20
© Springer International Publishing AG 2017
Abstract and Concrete syntax
Goal model
21
© Springer International Publishing AG 2017
Abstract and Concrete syntax
22
© Springer International Publishing AG 2017
Abstract and Concrete syntax
23
© Springer International Publishing AG 2017
Abstract and Concrete syntax
24
© Springer International Publishing AG 2017
Abstract and Concrete syntax
25
© Springer International Publishing AG 2017
Abstract and Concrete syntax
26
© Springer International Publishing AG 2017
Abstract and Concrete syntax
27
© Springer International Publishing AG 2017
Abstract and Concrete syntax
28
© Springer International Publishing AG 2017
Abstract and Concrete syntax
29
© Springer International Publishing AG 2017
Abstract and Concrete syntax
30
© Springer International Publishing AG 2017
Abstract and Concrete syntax
31
© Springer International Publishing AG 2017
Outline
• Tropos and Secure Tropos
• Security risk management
– Abstract and concrete syntax
– Semantics
• Example
• Further reading
33
34
35
36
40 40
© Springer International Publishing AG 2017
Risk Analysis and Assessment
• Identify risks and estimate them qualitatively or
quantitatively
41 41
© Springer International Publishing AG 2017
Risk Analysis and Assessment
• Identify risks and estimate them qualitatively or
quantitatively
42 42
© Springer International Publishing AG 2017
Risk Treatment Decisions
43 43
© Springer International Publishing AG 2017
Security Requirements Definition
• Security requirements - security solutions to
mitigate the risks
45 45
© Springer International Publishing AG 2017
Outline
• Tropos and Secure Tropos
• Security risk management
– Abstract and concrete syntax
– Semantics
• Example
• Further reading