Sökning: "Gabriel Ballot"

Hittade 1 uppsats innehållade orden Gabriel Ballot.

  1. 1. Reasoning about Moving Target Defense in Attack Modeling Formalisms

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Gabriel Ballot; [2022]
    Nyckelord :Timed Model checking; Cyber Security; Threat Modeling; Moving Target Defense; Tidsinställd modellkontroll; Cybersäkerhet; Hotmodellering; Moving Target Defense;

    Sammanfattning : Since 2009, Moving Target Defense (MTD) has become a new paradigm of defensive mechanism that frequently changes the state of the target system to confuse the attacker. This frequent change is costly and leads to a trade-off between misleading the attacker and disrupting the quality of service. LÄS MER