A Game Of Drones: Extending the Dolev-Yao Attacker Model With Movement.

Andrew Cook Luca Viganò

Published in: EuroS&P Workshops (2020)

Keyphrases

computational model
theoretical framework
mathematical model
formal model
data sets
high level
experimental data
decision making
prior knowledge
probabilistic model
probability distribution
objective function
computer games
simulation model