Reasoning about Moving Target Defense in Attack Modeling Formalisms

Gabriel Ballot, Vadim Malvone, Jean Leneutre +1

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 freque…