Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1145/2955811.2955821 | FTfJP@ECOOP |
Field | DocType | Citations |
Permission,Programming language,Computer science,Miller | Conference | 0 |
PageRank | References | Authors |
0.34 | 7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sophia Drossopoulou | 1 | 1016 | 90.55 |
James Noble | 2 | 1683 | 163.52 |
Mark S. Miller | 3 | 5 | 1.15 |
Toby Murray | 4 | 242 | 17.03 |