| Brown L.: Computer Security and Cryptography, Australian Defence Force Academy, (http://www.cs.adfa.oz.au/teaching/studinfo/csc/assess98b.html), 1998. |
....Erlang was not used in that system, which instead was based on KQML communication. Safety was supported by protected secure domains spanning a number of nodes, where it was assumed that all nodes within a single domain were friendly. More recently the SSErl prototype was developed by Brown [10] to address the perceived deficiencies of the previous prototypes. It supports a hierarchy of nodes on each Erlang system which provide a custom context for processes in them, the use of both hash and password capabilities for pids, ports, and nodes to constrain the use of these values; and remote ....
L. Brown. SSErl - Prototype of a Safer Erlang. Technical Report CS04/97, School of Computer Science, Australian Defence Force Academy, Canberra, Australia, Nov 1997. http://www.adfa.edu.au/~lpb/papers/tr9704.html.
....should be considerably more tractable than approaches based on proofing the imported code directly, for example. It is also much more efficient than approaches which attempt to validate all function calls. The use of such a safety check function on client server messages was sketched in Brown [9]. 6 Conclusions This paper describes proposed extensions to Erlang to enhance its ability to support safe execution of remotely sourced code. The changes include the provision of a hierarchy of nodes to provide a custom context, restrictions on side effects, and resource limits; and the use of ....
L. Brown. Custom Safety Policies in SSErl. Technical note, School of Computer Science, Australian Defence Force Academy, Canberra, Australia, Jun 1997. http://www.adfa.edu.au/~lpb/papers/ssp97/sserl97e.html.
....of its implementation, the incomplete usage of capabilities for all resource items (in particular for ports) and the use of fully encrypted capabilities and the consequent need to decrypt them before any information could be used. More recently the SSErl prototype was developed by Brown [10] whilst on his sabbatical in 1997 at SERC 1 and NTNU 2 . It supports a hierarchy of nodes on each Erlang system which provide a custom context for processes in them, the use of both hash and password capabilities for pids, ports, and nodes to constrain the use of these values; and remote ....
L. Brown. SSErl - Prototype of a Safer Erlang. Technical Report CS04/97, Australian Defence Force Academy, Canberra, Australia, Nov 1997. http://www.adfa.oz.au/~lpb/papers/tr9704.html.
....be considerably more tractable than approaches based on proofing the imported code directly, for example. It is also much more efficient than approaches which attempt to validate all function calls. The use of such a safety check function on client server messages is further elaborated on in Brown [9]. 6 Conclusions This paper describes proposed extensions to Erlang to enhance its ability to support safe execution of remotely sourced code. The changes include the provision of a hierarchy of nodes to provide a custom context, restrictions on side effects, and resource limits; and the use of ....
L. Brown. Custom Safety Policies in SSErl. Technical note, Australian Defence Force Academy, Canberra, Australia, Jun 1997. http://www.adfa.oz.au/~lpb/papers/ssp97/sserl97e.html.
No context found.
Brown L.: Computer Security and Cryptography, Australian Defence Force Academy, (http://www.cs.adfa.oz.au/teaching/studinfo/csc/assess98b.html), 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC