Capability

From Erights

Definition

Capability is an unforgeable designation of an object together with a permission to make some set of operations with a given object.

Examples

• Designations of objects in E. Those who hold these capabilities have the permission to invoke any method supported by the designated object.
• Designations of functions and procedures in Emily. Those who hold these capabilities have the permission to call designated functions or procedures.
• Designations of channels in Pict. Those who hold these capabilities may have a permission to make send and/or receive operations with the designated channel.