Package edu.kit.ipd.are.dsexplore.analysis.security.model

Class Scenario

java.lang.Object
edu.kit.ipd.are.dsexplore.analysis.security.model.Scenario
public class Scenario extends Object
Scenario for our Security Model. This gives us the final security value with the methods calcMTTSF(int, Attacker) or the static methdod calcMTTSF(int, Attacker, Component[], int[][]).

  • Constructor Summary

    Constructors
    Constructor
    Description
    Scenario(int[][] theta, Component[] components)
    Create a new Scenario with a given Theta and the given components.

  • Method Summary

    Modifier and Type
    Method
    Description
    double
    calcMTTSF(int length_Entry, Attacker a)
    Calculates the Meantime To Security Failure for the specified Attacker and the number of entry points.
    static double
    calcMTTSF(int length_Entry, Attacker a, Component[] components, int[][] theta)
    Calculates the Meantime To Security Failure for the specified Attacker and the number of entry points.
    String
    toString()
     

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

  • Constructor Details

    • Scenario

      public Scenario(int[][] theta, Component[] components)
      Create a new Scenario with a given Theta and the given components.
      Parameters:
      theta - Theta
      components - Components

  • Method Details

    • calcMTTSF

      public double calcMTTSF(int length_Entry, Attacker a)
      Calculates the Meantime To Security Failure for the specified Attacker and the number of entry points.
      Parameters:
      length_Entry - Attacker Entry Points
      a - Attacker
      Returns:
      MTTSF

    • calcMTTSF

      public static double calcMTTSF(int length_Entry, Attacker a, Component[] components, int[][] theta)
      Calculates the Meantime To Security Failure for the specified Attacker and the number of entry points. Additionally needs information about the components and the theta matrix
      Parameters:
      length_Entry - Attacker Entry Points
      a - Attacker
      components - components
      theta - theta matrix
      Returns:
      MTTSF

    • toString

      public String toString()
      Overrides:
      toString in class Object