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.
First Virtual Holdings proposes Safe-Tcl as an extension to MIME, the Internet multimedia mail standard [Borenstein 1994].
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.
On the other hand, the Safe-Tcl language is much smaller than any of the preceding five, known to be easy to embed, and requires only a small amount of storage.
To give the reader a feel of the different languages we present examples for Java, Limbo, O'Caml, and Safe-Tcl.
Borenstein is the co-creator of the Multipurpose Internet Mail Extensions (MIME) email standard and developer of the Andrew Mail System, metamail software and the Safe-Tcl programming language.