Security Properties through the Lens of Modal Logic

Open in new window