Publications

BibTex format

@inproceedings{Drossopoulou:2016:10.1145/2955811.2955821,
author = {Drossopoulou, S and Noble, J and Miller, MS and Murray, T},
doi = {10.1145/2955811.2955821},
title = {Permission and authority revisited towards a formalisation},
url = {http://dx.doi.org/10.1145/2955811.2955821},
year = {2016}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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.
AU  - Drossopoulou,S
AU  - Noble,J
AU  - Miller,MS
AU  - Murray,T
DO  - 10.1145/2955811.2955821
PY  - 2016///
TI  - Permission and authority revisited towards a formalisation
UR  - http://dx.doi.org/10.1145/2955811.2955821
ER  -

Download

ProfessorSophiaDrossopoulou

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)