Title :
A Fundamental Permission Interpretation for Ownership Types
Author :
Zhao, Yang ; Boyland, John
Author_Institution :
Nanjing Univ. of Sci. & Technol., Nanjing
Abstract :
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any access to that object is required to follow some rules based on its owner. Permission is a low-level linear value associated with some piece of state in a program and it is often used to permit certain operations. A permission nesting indicates that some permission is nested in another which intuitively reveals a protection relation between a nested permission and its nester one, with building some restriction among operations furthermore. Permission nesting and ownership behave some common characteristic. In this paper, two ownership models (owners-as-dominators and owners-as-locks) are investigated, and we show they are able to be unified by permission interpretation. Whereafter, we discuss the possibilities of representing multiple ownership by fractional permissions.
Keywords :
authorisation; object-oriented programming; alias control; fractional permission; low-level linear value; object access; object-oriented program; owners-as-dominators; owners-as-locks; ownership model; ownership type; permission interpretation; permission nesting; program state; protection relation; Bridges; Context modeling; Encapsulation; Permission; Protection; Software engineering; USA Councils; Yarn; Ownership; Permission;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2008. TASE '08. 2nd IFIP/IEEE International Symposium on
Conference_Location :
Nanjing
Print_ISBN :
978-0-7695-3249-3
DOI :
10.1109/TASE.2008.45