What is a permission (in NPL)?

An action that an authorised party is allowed to perform on a protocol — effectively a method that only the right party may invoke.

Permissions, together with obligations, form the deontic logic of NPL. Where an obligation is something that must be done, a permission is something that may be done.