Security Model

Allows modeling of security dysfunctional behavior.
Specurity Aspects
Name
Description
Security dysfunctional behavior represent how security attacks are propagated in the system architecture.
Specification Elements
Name
Description
Represent types of failures: Absent, Err (erroneous) and Mal (malicious) while OK just represents that no failure happened.
Blocks are mapped to functions endowed with possibly-many input and output ports as well as one status which is used to represent the notion of internal failure.
Ports also have a status and can be either input or output ports. An output port can be connected to many input ports.
Each ports has a value.

  • Security Aspects

    • Security Dysfuntional Behavior

      Security dysfunctional behavior represent how security attacks are propagated in the system architecture.
      Specification Elements:
      Function
      Port
      Value
      Status
      Threats:
      Tampering with Data
      Denial of Service

    Specification Elements

    • Status

      Represent types of failures: Absent, Err (erroneous) and Mal (malicious) while OK just represents that no failure happened.
      Applies to:
      State

    • Function

      Blocks are mapped to functions endowed with possibly-many input and output ports as well as one status which is used to represent the notion of internal failure.
      Applies to:
      Activity

    • Port

      Ports also have a status and can be either input or output ports. An output port can be connected to many input ports.
      Applies to:
      InformationFlow

    • Value

      Each ports has a value.
      Applies to:
      Data