Capability

From Erights

(Difference between revisions)
Jump to: navigation, search
(restore deleted See Also section)
Line 1: Line 1:
== Definition ==
== Definition ==
-
Capability is an unforgeable designation of an [[subject, object, operation and permission|object]] together with a permission to make some set of operations with a given object.
+
Capability is an unforgeable or hardly guessable designation of an [[subject, object, operation and permission|object]] together with a permission to make some set of operations with a given object.
== Examples ==
== Examples ==

Revision as of 15:51, 10 July 2009

Definition

Capability is an unforgeable or hardly guessable 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 Tamed Pict. Those who hold these capabilities may have a permission to make send and/or receive operations with the designated channel.


See also

XXX improve this section

See What is a Capability, Anyway? for a partisan explanation of what capabilities actually are.

See also Overview: Capability Computation

This page is a stub; it should be expanded with more information. If doing so, check the original E web site and the mailing list archives for content which could be moved into this page.
Personal tools
more tools