Authentication in distributed systems: theory and practice
ACM Transactions on Computer Systems (TOCS)
Efficient software-based fault isolation
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Tcl and the Tk toolkit
Practical programming in Tcl and Tk
Practical programming in Tcl and Tk
ACM Computing Surveys (CSUR)
A note on the confinement problem
Communications of the ACM
The Java Programming Language
EMail With A Mind of Its Own: The Safe-Tcl Language for Enabled Mail
Proceedings of the IFIP TC6/WG6.5 International Conference on Upper Layer Protocols, Architectures and Applications
First international workshop, AOSE 2000 on Agent-oriented software engineering
Evaluating the Security of Three Java-Based Mobile Agent Systems
MA '01 Proceedings of the 5th International Conference on Mobile Agents
A Property-Dependent Agent Transfer Protocol
Trust '09 Proceedings of the 2nd International Conference on Trusted Computing
Research note: Security issues related to mobile code and agent-based systems
Computer Communications
| Hi-index | 0.00 |
Safe-Tcl is a mechanism for controlling the execution of programs written in the Tcl scripting language. It allows untrusted scripts (applets) to be executed while preventing damage to the environment or leakage of private information. Safe-Tcl uses a padded cell approach: each applet is isolated in a safe interpreter where it cannot interact directly with the rest of the application. The execution environment of the safe interpreter is controlled by trusted scripts running in a master interpreter. Safe-Tcl provides an alias mechanism that allows applets to request services from the master interpreter in a controlled fashion. Safe-Tcl allows a variety of security policies to be implemented within a single application, and it supports both policies that authenticate incoming scripts and those that do not.