Programming languages for mobile code
ACM Computing SurveysPublished 1 September 1997Open access
Tommy Thorn
Citations134
SJR quartileQ1
SJR score5.80
SNIP11.03
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This study describes several classes of mobile code and extracts their common characteristics, where security proves to be one of the major concerns.
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
Computer Science
The Java Language Specification
3,913 Citations1996James Gosling, Bill Joy +1 more
The Java Language Specification, Second Edition is the definitive technical reference for the Java programming language and provides complete, accurate, and detailed coverage of the syntax and semantics of the Java language.
Tcl and the Tk Toolkit
1,607 Citations1994John K. Ousterhout
This draft is intended for educational purposes only and the publisher does not offer warranties in regard to this draft.
The Java Programming Language
1,520 Citations1996Ken Arnold, James Gosling +1 more
The Java (TM)Programming Language, Second Edition, is the definitive resource for all serious Java programmers and lets you in on the rationale behind Java's design, direct from the language's creator, as well as the tradeoffs involved in using specific features.
Communications of the ACMCertification of programs for secure information flow
1,025 Citations1977Dorothy E. Denning, Peter J. Denning
The mechanism can prove that a program cannot cause supposedly nonconfidential results to depend on confidential input data, and can prove that a program cannot cause supposedly nonconfidential results to depend on confidential input data.
Journal of Computer SecurityA sound type system for secure flow analysis
956 Citations1996Dennis Volpano, Cynthia Irvine +1 more
This work forms Denning’s approach as a type system and presents a notion of soundness for the system that can be viewed as a form of noninterference.
Safe kernel extensions without run-time checking
502 Citations1996George C. Necula, Peter Lee
PCC binaries can be executed with no run-time over-head, beyond a one-time cost of 1 to 3 milliseconds for validating the enclosed proofs, and are formally guaranteed to be safe and are faster than packet filters created using Berkeley Packet Filters, Software Fault Isolation, or safe languages such as Modula-3.
ACM Computing SurveysFormal Models for Computer Security
438 Citations1981Carl E. Landwehr
The need for formal security models is described, the structure and operation of military security controls are described, how automation has affected security problems is considered, and possible models that have been proposed and applied to date are surveyed.
Understanding Z: A Specification Language and its Formal Semantics
426 Citations1988Justin M Spivey
This book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications, making a detailed theoretical comparison between schemas, the Z construct for breaking specifications into modules, and the analogous facilities in other languages such as CLEAR and ASL.
A language with distributed scope
392 Citations1995Luca Cardelli
Obliq is a lexically-scoped, untyped, interpreted language that supports distributed object-oriented computation and distributed lexical scoping is the key mechanism for managing distributed computation.
Semantics With Applications: A Formal Introduction
336 Citations1992Hanne Riis Nielson, Flemming Nielson
Axiomatic program verification: direct proofs of program correctness partial correctness assertions soundness and completeness extensions of the axiomatic systems assertions for execution time.
USENIX Symposium on Internet Technologies and SystemsGoing beyond the sandbox: an overview of the new security architecture in the java TM development Kit 1.2
261 Citations1997Li Gong, Marianne Mueller +2 more
This paper describes the new security architecture that has been implemented aspart of JDK1.2, the forthcoming JavaTM Development Kit, and introduces the concept of protection domain and a few related security primitives that help to make the underlying protection mechanism more robust.
CERN Document Server (European Organization for Nuclear Research)Computer Security Basics
237 Citations1991Rick M Lehtinen, Deborah Russell +1 more
This handbook describes complicated concepts such as trusted systems, encryption, and mandatory access control in simple terms and will help you persuade your employees to practice safe computing.
IEEE Communications MagazineIPv6: the new Internet protocol
172 Citations1996William Stallings
An overview of the role of an internet protocol, the motivation for developing a new version of the IP, and some of the details of the next generation of IP are examined.
Medical Entomology and ZoologyIPv6--the new Internet protocol
149 Citations1996Christian Huitema
This chapter discusses the design of IPv6 Header Format, the evolution of ICMP, and real-time support and flows of Real-time Support and Flows of the IPv6 network.
EMail With A Mind of Its Own: The Safe-Tcl Language for Enabled Mail
131 Citations1994Nathaniel S. Borenstein
The Secure HyperText Transfer Protocol
131 Citations1999Eric Rescorla, Allan M. Schiffman
This memo describes a syntax for securing messages sent using the Hypertext Transfer Protocol (HTTP), which forms the basis for the World Wide Web.
Proceedings of the 29th Symposium on Operating Systems Principles
109 Citations2023
Efficient and language-independent mobile programs
99 Citations1996Ali-Reza Adl-Tabatabai, Geoff Langdale +2 more
Omniware uses software fault isolation, a technology developed to provide safe extension code for databases and operating systems, to achieve a unique combination of language-independence and excellent performance.
The B Language and Method
82 Citations1996Kevin Lano
Lecture notes in computer scienceCompile-time detection of information flow in sequential programs
62 Citations1994Jean-Pierre Banâtre, Ciarán Bryce +1 more
An axiomatisation of security properties based on the notion of information flow for a simple guarded command language is proposed and its soundness is proved with respect to the operational semantics of the language.
Formal Aspects of ComputingA security flow control algorithm and its denotational semantics correctness proof
56 Citations1992Masaaki Mizuno, David Schmidt
The development is noteworthy because it is completely rigorous: the flow control algorithm is derived as an abstract interpretation of the denotational semantics of the programming language for the modular system, and the correctness proof is a proof by logical relations of the congruence between the denotsational semantics and its abstract interpretation.
Computer Networks and ISDN SystemsA Web navigator with applets in Caml
34 Citations1996François Rouaix
The experiment shows the major contributions of strong typing and powerful module systems for supporting secure execution of mobile code in Caml Special Light, a strongly typed functional language.
Lecture notes in computer scienceAn overview of mobile agent programming
25 Citations1997Frederick Knabe
Mobile agents are code-containing objects that may be transmitted between communicating participants in a distributed system and can achieve significant gains in performance and functionality.
On the semantic diversity of delegation-based programming languages
18 Citations1995Jacques Malenfant
This paper proposes a rational reconstruction of delegation-based programming languages that identifies programming models going beyond traditional prototypes, and introduces a new classification of delegating-based languages, which clarifies these models, and discusses their relative merits.
Lecture notes in computer scienceUnderstanding mobile agents via a non-interleaving semantics for facile
17 Citations1996Roberta Borgia, Pierpaolo Degano +3 more
This paper proposes a Structural Operational Semantics (SOS) for Facile, giving a proved transition system that records encodings of the derivation trees of transitions in their labels, and uses the new Facile semantics to debug an agent based system.
Enhancing documents with embedded programs: how Ness extends insets in the Andrew ToolKit
16 Citations2002W. J. Hansen
The problems of embedding programs in documents are sketched and the solutions adopted in the Ness component of the Andrew ToolKit are reviewed.