Loading...
Please wait, while we are loading the content...
Similar Documents
Extending erlang for safe mobile code execution (1997).
| Content Provider | CiteSeerX |
|---|---|
| Author | Brown, Lawrie Sahlin, Dan |
| Abstract | This paper discusses extensions to the functional language Erlang which provide a secure execution environment for remotely sourced code. This is in contrast to much existing work which has focused on securing procedural languages. Using a language such as Erlang provides a high degree of inherent run-time safety, which means effort can be focused on providing a suitable degree of system safety. We found that the main changes needed were the use of unforgeable (capability) references with access rights to control the use of system resources; the provision of a hierarchy of execution nodes to provide custom views of the resources available and to impose utilisation limits; and support for remote module loading. We then discuss prototype implementations of these changes, used to evaluate their utility and impact on visibility for the users of the language, and mention work in progress using this foundation to specify safety policies by filtering messages to server processes. 1 Introducti... |
| File Format | |
| Publisher Date | 1997-01-01 |
| Access Restriction | Open |
| Subject Keyword | Safe Mobile Code Execution Functional Language Erlang Procedural Language Execution Node Remote Module Main Change Utilisation Limit Sourced Code Suitable Degree Custom View Prototype Implementation Safety Policy Inherent Run-time Safety Mention Work Access Right Secure Execution Environment System Safety High Degree System Resource |
| Content Type | Text |
| Resource Type | Article |
