Escolar Documentos
Profissional Documentos
Cultura Documentos
However, in contrast to ASP fun Erlang does not support objects. Since
object orientation is a good principle for data encapsulation and confinement,
i t seems likely that the ASP fun paradigm has good security properties. Since
ASP fun is functional, i t has no side-effects. This quite naturally enhances
its security properties because many side-channel attacks are excluded by
the language. I n current work, ASP fun is used to implement generic pro-
cedures for privacy enhanced communication [8]. I n this dissertation, we aim
at validating such security procedures based on the Erlang prototype
implementation to test their viability and feasibility, possibly finding new
procedures tailored for enhancing security of ASP fun applications.
2 Aims
A global aim of this research is to support the security of distributed appli-
cations. The specific goals of this dissertation are
• to understand and document the underlying principles of active objects,
futures, asynchronous communication, and their security,
• to find out the state of the art of security for distributed objects in
particular for active objects,
3 Objectives
A general objective of this work is to further investigate the ASP fun approach.
To that end, we concentrate on
• performing a study on the foundations of actors and asynchronous
message passing,
• testing the viability of the practical applicability of the ASP fun approach
to security by implementing small security case studies and validating
them
4 Deliverables
• An introduction to the paradigm of active objects and asynchronous
distributed communication of objects, including a summary of ASP fun
and its implementation in Erlang.
5 Project Type
Literature survey leading onto an experimental validation using an existing
prototype implementation.
6 Research Methodology
Literature study, comparison and evaluation of existing approaches, experi-
mental implementation of small case studies, and test.
7 Research Audit
The research will produce a written dissertation document including readable
descriptions of practical experiments in Erlang (the source code will be added
as an appendix). The value of the research contribution lies in the clarity and
conciseness of the scientific review and the observations based on it. A
further possibility for assessing the quality lies in the experimental part
providing evidence and reproducibility of the contribution given by the case
studies.
8 Mil estones
A timetable for my research runs along the following milestones.
− Get experience with the ASP f u n -Erlang system, try out some sim-
ple examples.
− Understand how ASP fun is encoded in this system, implement the
small security examples designed in ASP fun before.