Open AccessReasoning about Moving Target Defense in Attack Modeling Formalisms
Author(s) -
Gabriel Ballot,
Vadim Malvone,
Jean Leneutre,
Étienne Borde
Publication year - 2022
Publication title -
kth publication database diva (kth royal institute of technology)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/3560828.3564009
Subject(s) - rotation formalisms in three dimensions , computer science , formalism (music) , representation (politics) , model checking , relevance (law) , state (computer science) , process (computing) , computer security , theoretical computer science , algorithm , programming language , art , musical , geometry , mathematics , politics , political science , law , visual arts
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom