Systems for formally reasoning about, for example authority, in capability systems.
The following 4 pages are in this category, out of 4 total.