LOCKS: a property specification language for security goals.

Rajesh Kumar, Arend Rensink, Marille Stoelinga

Browse the full SAC paper archive.