Security Properties through the Lens of Modal Logic

Re-assign community