Aleksandr Lenin MSc Thesis topics

Algorithms for Security Analysis:

• [TREsPASS] A genetic (evolutionary) algorithm for the Failure-Free risk assessment model.

      [Priority: High Status: In progress Due: April 2015]

• [TREsPASS] Attack scenario transformation component. Design and implementation.

[Priority: High Status: In progress Due: April 2015]

• [TREsPASS] Comparison of the genetic algorihm for the Failure-Free model with the Failure-Free model upper bounds estimation. Assessment of performance. Benchmarking and analysis.

[Priority: Medium Status: Pending Due: June 2015]

Security Modeling:

• [TREsPASS] A structure for representing attack scenarios in the form of attack graphs in xml file.

[Priority: Low Status: Pending Due: June 2015]

Fuzzy Metrics for Security:

• [TREsPASS] Fuzziness as a measure of uncertainty in quantitative security metrics.

[Priority: High Status: Pending Due: April 2015]

• [TREsPASS] Choosing the right membership function to represent uncertainty.

[Priority: High Status: Pending Due: April 2015]

Fuzzy decision making and control:

• [TREsPASS] Fuzzy attacker profiling
• [TREsPASS] Fuzzy reasoning and computations for the Failure-Free risk assessment model.

Security modelling patterns:

• [TREsPASS] APL (Attack Pattern Library) and MPL (Model Pattern Library) design and implementation.
• [TREsPASS] A library of attacker behavioral patterns.

Quantitative Security Risk Analysis:

• [TREsPASS] Approximation of fully-adaptive strategies by the most optimal non-adaptive strategy. Assessment of precision and viability of the approach.

ISKE:

• [TREsPASS] ISKE-TREsPASS integration. Case study.

Security Games:

• Defender game for the quantitative security analysis models.
• Attacker-defender strategic interaction. Stackleberg equilibrium and security analysis.