Programming languages for mobile code

1 September 1997

journal article
Published by Association for Computing Machinery (ACM) in ACM Computing Surveys

Vol. 29 (3) , 213-239
https://doi.org/10.1145/262009.262010

Abstract

Sun's announcement of the programming language Java more that anything popularized the notion of mobile code, that is, programs traveling on a heterogeneous network and automatically executing upon arrival at the destination. We describe several classes of mobile code and extract their common characteristics, where security proves to be one of the major concerns. With these characteristics as reference points, we examine six representative languages proposed for mobile code. The conclusion of this study leads to our recommendations for future work, illustrated by examples of ongoing research.

Keywords

This publication has 7 references indexed in Scilit:

A sound type system for secure flow analysis
Journal of Computer Security, 1996
Weaknesses in Java bytecode verifier
Network Security, 1996
News track
Communications of the ACM, 1996
The B Language and Method
Published by Springer Nature ,1996
A security flow control algorithm and its denotational semantics correctness proof
Formal Aspects of Computing, 1992
Formal Models for Computer Security
ACM Computing Surveys, 1981
Certification of programs for secure information flow
Communications of the ACM, 1977