Francois Rouaix  Home/Search
Context Related
Links: ACM DBLP | pauillac.inria.fr/~rouaix/m...mmm.ps.gz 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: pauillac.inria.fr/publioscope (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper reports on the implementation of applets in Caml Special Light, a strongly typed functional language. The experiment shows the major contributions of strong typing and powerful module systems for supporting secure execution of mobile code. Security checks are almost entirely performed once at compile-time, and authentication proves that checks have actually been done. Keywords: mobile code, strong typing, authentication 1 Introduction A hot topic in Web-related research and... (Update)
Cited by: More
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (Correct)
Biglook: a Widget Library for the Scheme Programming Language - Gallesio, Serrano (Correct)
Programming Languages for Mobile Code - Thorn (1999) (Correct)
Active bibliography (related documents): More All
0.0: A Modular Module System - Leroy (1996) (Correct)
0.0: A Compiled Implementation of Strong Reduction - Grégoire, Leroy (Correct)
0.0: Tree Automata and Pattern Matching - Hosoya, Pierce (2000) (Correct)
Similar documents based on text: More All
0.3: The CamlTk interface - Pessaux, Rouaix (1996) (Correct)
0.1: 1 + 1 = 1: an optimizing Caml compiler - Serrano, Weis (1994) (Correct)
0.1: An Implementation Of Caml-Light With Existential Types - Mauny, Pottier (1993) (Correct)
Related documents from co-citation: More All
12: Safe Kernel Extensions Without Run-Time Checking - Necula, Lee - 1996
12: Proof-carrying code - Necula - 1997
8: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
BibTeX entry: (Update)
F. Rouaix. A Web navigator with applets in Caml. In Proceedings of the 5th International World Wide Web Conference, Computer Networks and Telecommunications Networking, volume 28, pages 1365--1371. Elsevier, May 1996. http://citeseer.ist.psu.edu/rouaix96web.html More
@article{ rouaix96web,
author = "Fran{\c{c}}ois Rouaix",
title = "A {Web} navigator with applets in {Caml}",
journal = "Computer Networks and ISDN Systems",
volume = "28",
number = "7--11",
pages = "1365--1371",
year = "1996",
url = "citeseer.ist.psu.edu/rouaix96web.html" }
Citations (may not include all citations):861 Tcl and the Tk Toolkit - Ousterhout - 1994 ACM
264 A Language with Distributed Scope - Cardelli - 1995 ACM DBLP
128 and separate compilation (context) - Leroy, modules - 1994
81 The ZINC experiment: an economical implementation of the ML .. - Leroy - 1990
73 The Java Language Environment (context) - Gosling, McGilton - 1995
66 Hypertext Markup Language (context) - Berners-Lee, Connolly - 1995
64 Low Level security in Java (context) - Yellin - 1995
62 Theoretical Aspects of ObjectOriented Programming: Types - Gunter, Mitchell - 1994
40 Omniware: a universal substrate for web programming - Lucco, Sharp et al. - 1995
39 Le langage Caml (context) - Weis, Leroy - 1993
22 Pseudoknot (context) - Hartel, Feeley et al. - 1996
21 Software and documentation available on the Web (context) - Leroy, Doligez et al. - 1995
1 Programmation du syst`eme Unix en Caml Light (context) - Leroy - 1992
1 The Grail browser (context) - van Rossum
1 ese de doctorat, Universit (context) - Doligez, r'ealisation et al. - 1995
1 The Guile architecture for Ubiquitous computing (context) - Project
1 WWW address (context) - Ball, browser
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://pauillac.inria.fr/publioscope.html): More
Optimal Derivations in Weak Lambda-calculi and in Orthogonal.. - Maranget (1991) (Correct)
Functional Back-Ends within the Lambda-Sigma Calculus - Hardin, Maranget, Pagano (1996) (Correct)
Compiling Join-Patterns - Maranget, Le Fessant (1998) (Correct)
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