John K. Ousterhout, Jacob Y. Levy, Brent B. Welch  Home/Search
Context Related
| scriptics.com/people/john....safeTcl.ps ucdavis.edu/summer_m...smli_tr9760.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mother.lub.lu.se/...112201112250 (more) From: ucdavis.edu/summer_meetings/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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... (Update)
Cited by: More
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (Correct)
Semantic Lookup in Service-Oriented Architectures - Zdun (Correct)
A New Approach to Mobile Code Security - Wallach (1999) (Correct)
Active bibliography (related documents): More All
0.3: Scripting: Higher Level Programming for the 21st Century - Ousterhout (1997) (Correct)
0.0: Serverless Network File Systems - Dahlin (1995) (Correct)
0.0: Precisely Answering Multi-dimensional Range.. - Wang, Li.. (2003) (Correct)
Similar documents based on text: More All
0.2: EcoLab Documentation - Standish (1999) (Correct)
0.2: Java Security - Bank (1995) (Correct)
0.2: Introducing SERCs Safer Erlang: Now Superceeded by SSErl -.. - Brown (1997) (Correct)
Related documents from co-citation: More All
14: Safe Kernel Extensions Without Run-Time Checking - Necula, Lee - 1996
12: Extensible security architectures for Java - Wallach, Balfanz et al. - 1997
12: Efficient software-based fault isolation - Wahbe, Lucco et al. - 1993
BibTeX entry: (Update)
J. K. Ousterhout, J. Y. Levy, and B. B. Welch. "The Safe-Tcl Security Model." Sun Microsystems Laboratories Technical Report TR-97-60, March 1997. http://citeseer.ist.psu.edu/ousterhout97safetcl.html More
@article{ ousterhout98safetcl,
author = "John K. Ousterhout and Jacob Y. Levy and Brent B. Welch",
title = "The {Safe-Tcl} Security Model",
journal = "Lecture Notes in Computer Science",
volume = "1419",
pages = "217--??",
year = "1998",
url = "citeseer.ist.psu.edu/ousterhout97safetcl.html" }
Citations (may not include all citations):861 Tcl and the Tk Toolkit - Ousterhout - 1994
737 The Java Programming Language (context) - Arnold, Gosling - 1996
401 The MD5 Message Digest Algorithm (context) - Rivest - 1992
339 Efficient Software-Based Fault Isolation - Wahbe, Lucco et al. - 1993
253 Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi et al. - 1992
201 Telescript Technology: The Foundation for the Electronic Mar.. (context) - White - 1994
153 A Note on the Confinement Problem - Lampson - 1973
90 EMail With A Mind of Its Own: The Safe-Tcl Language for Enab.. (context) - Borenstein - 1994
64 Low Level Security in Java (context) - Yellin - 1995
13 Data Security (context) - Denning, Denning - 1979
3 JavaScript in Navigator 3.0 (context) - Inc
1 Welcome to the Tcl Plugin (context) - Levy
The graph only includes citing articles where the year of publication is known.
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