Security Properties through the Lens of Modal Logic

Matvey Soloviev, Musard Balliu, Roberto Guanciale

We introduce a framework for reasoning about the security of computer systems using modal logic. This framework is sufficiently expressive to capture a variety of known security pr…