Security Properties through the Lens of Modal Logic