Change search
ReferencesLink to record
Permanent link

Direct link
LAPS: A General Framework for Modeling Alias Management Using Access Permission Sets
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2012 (English)Independent thesis Advanced level (professional degree), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

This thesis presents a general model of access control. It uses a simple notion of an access permission token, which gives permission to reference an associated object. Sets of permission tokens are used to model the maximum reach of an object, and reasoning about access to groups of objects. Links between sets are used to model propagation. Restricting access to an object is important for example when dealing with aliasing, multiple references to a single object.

Aliasing is ubiquitous in object-oriented  programming, and while practical and even necessary for many purposes, it is also a common source of errors. Since an aliased object may change at any time without notice to the other holders of references to that object, one can generally not guarantee that the state observed through a reference will be the same the next time it is observed.

Many techniques for alias control, such as uniqueness and ownership types, have been proposed and implemented to limit and prevent the problems potentially caused by aliasing. However, they are often formulated in very specific settings, making formal comparison between different techniques difficult. This thesis presents a general framework that allows several common alias management policies to be implemented using the same mechanisms, allowing for easy comparison and unification of existing systems, as well as reasoning about new systems.

The framework is formally implemented as LAPS, a small object-oriented  language that uses access permission sets to express the aliasing policies of a program. Alias management concepts from several existing languages are translated into LAPS, showing how it can be used as a common platform for reasoning about access control properties  of different systems.

Place, publisher, year, edition, pages
UPTEC IT, ISSN 1401-5749 ; 12 017
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-182857OAI: diva2:561095
Educational program
Master of Science Programme in Information Technology Engineering
Available from: 2012-10-17 Created: 2012-10-17 Last updated: 2012-10-17Bibliographically approved

Open Access in DiVA

fulltext(1144 kB)270 downloads
File information
File name FULLTEXT01.pdfFile size 1144 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 270 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 517 hits
ReferencesLink to record
Permanent link

Direct link