Safe-Tcl

Safe-Tcl

A secure version of the Tcl language. See Tcl/Tk.
Mentioned in ?
References in periodicals archive ?
Additional Key Words and Phrases: Distribution, formal methods, Java, Limbo, mobile code, network programming, Objective Caml, Obliq, object orientation, portability, Safe-Tcl, safety, security, Telescript
This extension enables the use of embedded executable content written in Safe-Tcl [Borenstein 1994], a restricted variant of the script language Tcl.
The last two, Safe-Tcl and Telescript, are special purpose languages.
We present Safe-Tcl, the most popular among several similar proposals.
Safe-Tcl is, as the name implies, based on Tcl [Ousterhout 1994], a procedural script language designed to be simple, portable, easily embedded, and powerful.
The aim of Safe-Tcl is to be a safe and secure programming language.
As the Safe-Tcl environment is likely to have a great deal of its implementation in Tcl, two interpreters are used: one only for Safe-Tcl, running the untrusted applications, the other for full unrestricted Tel.
Typical applications reported for Safe-Tcl include advanced user dialogues for ordering and voting.
Safe-Tcl's inherent limitations in terms of efficiency place it in a weak position in the competition.
To give the reader a feel of the different languages we present examples for Java, Limbo, O'Caml, and Safe-Tcl. Unfortunately, realistic examples would be much too long for this article.