Permission and Authority Revisited towards a formalisation
2016
Miller's notions of permissions and authority are foundational to the analysis of object-capability programming. Informal definitions of these concepts were given in Miller's thesis. In this paper we propose precise definitions for permissions and authority, based on a small object-oriented calculus. We quantify their bounds (current, eventual, behavioural, topological), and delineate the relationships between these definitions.
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
11
References
5
Citations
NaN
KQI