Extending a dynamic programming language and runtime environment with access control

Extending a dynamic programming language and runtime environment with access control
Author :
Publisher : Universitätsverlag Potsdam
Total Pages : 90
Release :
ISBN-10 : 9783869563732
ISBN-13 : 3869563737
Rating : 4/5 (737 Downloads)

Book Synopsis Extending a dynamic programming language and runtime environment with access control by : Tessenow, Philipp

Download or read book Extending a dynamic programming language and runtime environment with access control written by Tessenow, Philipp and published by Universitätsverlag Potsdam. This book was released on 2016-11-09 with total page 90 pages. Available in PDF, EPUB and Kindle. Book excerpt: Complexity in software systems is a major factor driving development and maintenance costs. To master this complexity, software is divided into modules that can be developed and tested separately. In order to support this separation of modules, each module should provide a clean and concise public interface. Therefore, the ability to selectively hide functionality using access control is an important feature in a programming language intended for complex software systems. Software systems are increasingly distributed, adding not only to their inherent complexity, but also presenting security challenges. The object-capability approach addresses these challenges by defining language properties providing only minimal capabilities to objects. One programming language that is based on the object-capability approach is Newspeak, a dynamic programming language designed for modularity and security. The Newspeak specification describes access control as one of Newspeak’s properties, because it is a requirement for the object-capability approach. However, access control, as defined in the Newspeak specification, is currently not enforced in its implementation. This work introduces an access control implementation for Newspeak, enabling the security of object-capabilities and enhancing modularity. We describe our implementation of access control for Newspeak. We adapted the runtime environment, the reflective system, the compiler toolchain, and the virtual machine. Finally, we describe a migration strategy for the existing Newspeak code base, so that our access control implementation can be integrated with minimal effort.


Extending a dynamic programming language and runtime environment with access control Related Books

Extending a dynamic programming language and runtime environment with access control
Language: en
Pages: 90
Authors: Tessenow, Philipp
Categories: Computers
Type: BOOK - Published: 2016-11-09 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Complexity in software systems is a major factor driving development and maintenance costs. To master this complexity, software is divided into modules that can
Improving hosted continuous integration services
Language: en
Pages: 128
Authors: Weyand, Christopher
Categories: Computers
Type: BOOK - Published: 2017-02-17 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Developing large software projects is a complicated task and can be demanding for developers. Continuous integration is common practice for reducing complexity.
Proceedings of the 10th Ph.D. Retreat of the HPI Research School on Service-oriented Systems Engineering
Language: en
Pages: 268
Authors: Meinel, Christoph
Categories: Computers
Type: BOOK - Published: 2018-01-17 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis
Transmorphic
Language: en
Pages: 106
Authors: Schreiber, Robin
Categories: Computers
Type: BOOK - Published: 2017-03-03 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Defining Graphical User Interfaces (GUIs) through functional abstractions can reduce the complexity that arises from mutable abstractions. Recent examples, such
Automatic verification of behavior preservation at the transformation level for relational model transformation
Language: en
Pages: 126
Authors: Dyck, Johannes
Categories: Computers
Type: BOOK - Published: 2017-04-26 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

The correctness of model transformations is a crucial element for model-driven engineering of high quality software. In particular, behavior preservation is the