Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Computer security basics
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Tcl and the Tk toolkit
A language with distributed scope
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the semantic diversity of delegation-based programming languages
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
IPv6: the new Internet protocol
IPv6: the new Internet protocol
Efficient and language-independent mobile programs
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
A Web navigator with applets in Caml
Proceedings of the fifth international World Wide Web conference on Computer networks and ISDN systems
Safe kernel extensions without run-time checking
OSDI '96 Proceedings of the second USENIX symposium on Operating systems design and implementation
The Java programming language (2nd ed.)
The Java programming language (2nd ed.)
A sound type system for secure flow analysis
Journal of Computer Security
Formal Models for Computer Security
ACM Computing Surveys (CSUR)
Communications of the ACM
Certification of programs for secure information flow
Communications of the ACM
The Java Language Specification
The Java Language Specification
Compile-Time Detection of Information Flow in Sequential Programs
ESORICS '94 Proceedings of the Third European Symposium on Research in Computer Security
An Overview of Mobile Agent Programming
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
Understanding Mobile Agents via a Non-Interleaving Semantics for Facile
SAS '96 Proceedings of the Third International Symposium on Static Analysis
Java Security: From HotJava to Netscape and Beyond
SP '96 Proceedings of the 1996 IEEE Symposium on Security and Privacy
Bytecode-based Java program analysis
ACM-SE 37 Proceedings of the 37th annual Southeast regional conference (CD-ROM)
Design and implementation of a distributed virtual machine for networked computers
Proceedings of the seventeenth ACM symposium on Operating systems principles
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Using a coordination language to specify and analyze systems containing mobile components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
Software update via mobile agent based programming
Proceedings of the 2002 ACM symposium on Applied computing
An infrastructure language for open nets
Proceedings of the 2002 ACM symposium on Applied computing
Analysis on Extended Ant Routing Algorithms for Network Routing and Management
The Journal of Supercomputing
A Scheduling Scheme for Controlling Allocation of CPU Resources for Mobile Programs
Autonomous Agents and Multi-Agent Systems
Design Issues in Mobile-Agent Programming Systems
IEEE Concurrency
A Lightweight Object Migration Protocol
ICCL'98 Workshop on Internet Programming Languages
Predictable, Lightweight Management Agents
IWAN '02 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Providing Fine-grained Access Control for Java Programs
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Coordinating Mobile Object-Oriented Code
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Formalizing Properties of Mobile Agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Mobility and Coordination for Distributed Java Applications
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Translating Strong Mobility into Weak Mobility
MA '01 Proceedings of the 5th International Conference on Mobile Agents
Language Issues in Mobile Program Security
Mobile Agents and Security
Analysis on a Mobile Agent-Based Algorithm for Network Routing and Management
IEEE Transactions on Parallel and Distributed Systems
KLAVA: a Java package for distributed and mobile applications
Software—Practice & Experience
Coordination technologies for internet agents
Nordic Journal of Computing
A Coordination Model to Specify Systems Including Mobile Agents
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
MAGE: A Distributed Programming Model
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
A Mobile Computational model for Internet programming
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Secure Prolog-based mobile code
Theory and Practice of Logic Programming
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
Automated Software Engineering
Pluggable verification modules: an extensible protection mechanism for the JVM
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Mobile OGSI.NET: Grid Computing on Mobile Devices
GRID '04 Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing
System support for pervasive applications
ACM Transactions on Computer Systems (TOCS)
USITS'97 Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems
Dynamic function placement for data-intensive cluster computing
ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
Iterative design and evaluation of an event architecture for pen-and-paper interfaces
Proceedings of the 21st annual ACM symposium on User interface software and technology
An overview of programming language based security
Proceedings of the 47th Annual Southeast Regional Conference
Timed migration and interaction with access permissions
FM'11 Proceedings of the 17th international conference on Formal methods
A flexible and modular framework for implementing infrastructures for global computing
DAIS'05 Proceedings of the 5th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
A software framework for rapid prototyping of run-time systems for mobile calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Mobile distributed programming in X-KLAIM
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Distributed call-tracking for security
Computer Languages, Systems and Structures
Hi-index | 0.00 |
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.