An Approach for Modeling and Analyzing Code Mobility

2012 ◽  
Author(s):  
Junhua Ding ◽  
Jidong Ge
Keyword(s):  
Code Mobility

Understanding code mobility

1998 ◽  
Vol 24 (5) ◽  
pp. 342-361 ◽  
Author(s):  
A. Fuggetta ◽  
G.P. Picco ◽  
G. Vigna
Keyword(s):  
Code Mobility

scholarly journals Non-disclosure for distributed mobile code

2011 ◽  
Vol 21 (6) ◽  
pp. 1111-1181
Author(s):  
ANA ALMEIDA MATOS ◽  
JAN CEDERQUIST
Keyword(s):  
Programming Language ◽  
Information Flow ◽  
Flow Property ◽  
Mobile Code ◽  
Information Flows ◽  
Distributed Programs ◽  
Security Issues ◽  
Code Mobility ◽  
Global Computing ◽  
Language Based Security

With the emergence of the new possibilities offered by global computing, new security issues follow from the fact that these possibilities can be equally exploited by parties with malicious intentions. Many attacks arise at the application level, and can be tackled by means of programming language techniques. For instance, confidentiality can be violated during the execution of programs that reveal secret information. This kind of program behaviour can be avoided by information flow analyses that detect the encoding of illegal flows.This paper studies information flows that occur in distributed programs with code mobility from a language-based security perspective. New forms of security leaks that are introduced by code mobility, which we callmigration leaks, are presented and compared with well-known forms of illegal flow. We propose an information flow property that is adequate for networks consisting of a generalisation of the non-disclosure policy. We design a type and effect system for enforcing it on an expressive distributed calculus, and explain a soundness proof methodology in detail.

Embeddable Mobile-C for Runtime Support of Code Mobility in Multi-Agent Systems

2007 ◽  
Author(s):  
Yu-Cheng Chou ◽  
David Ko ◽  
Harry H. Cheng
Keyword(s):  
Operating Systems ◽  
Mobile Agent ◽  
Mobile Agents ◽  
Distributed Applications ◽  
Multi Agent Systems ◽  
Agent Platform ◽  
Agent Systems ◽  
Code Mobility ◽  
Mobile Agent Systems ◽  
Multi Agent

Agent technology is emerging as an important concept for the development of distributed complex systems. A number of mobile agent systems have been developed in the last decade. However, most of them were developed to support only Java mobile agents. Furthermore, many of them are standalone platforms. In other words, they were not designed to be embedded in a user application to support the code mobility. In order to provide distributed applications with the code mobility, this article presents a mobile agent library, the Mobile-C library. The Mobile-C library is supported by various operating systems including Windows, Unix, and real-time operating systems. It has a small footprint to meet the stringent memory capacity for a variety of mechatronic and embedded systems. This library allows a Mobile-C agency, a mobile agent platform, to be embedded in a program to support C/C++ mobile agents. Functions in this library facilitate the development of a multi-agent system that can easily interface with a variety of hardware devices.

Implementing Strong Code Mobility

2004 ◽  
Vol 3 (2) ◽  
pp. 188-191 ◽  
Author(s):  
Muhammad Kamran Naseem ◽  
Sohail Iqbal . ◽  
Khalid Rashid .
Keyword(s):  
Code Mobility

A Computation Migration Approach to Elasticity of Cloud Computing

2012 ◽  
pp. 145-178 ◽  
Author(s):  
Cho-Li Wang ◽  
King Tin Lam ◽  
Ricky Ka Kui Ma
Keyword(s):  
Cloud Computing ◽  
Dynamic Load ◽  
Data Access ◽  
Mobile Cloud ◽  
On Demand ◽  
Code Mobility ◽  
Innovative Idea ◽  
Execution Model ◽  
Cloud Applications ◽  
Concept Code

Code mobility is the capability to dynamically change the bindings between code fragments and the location where they are executed. While it is not a new concept, code mobility has reentered the limelight because of its potential uses for cloud computing—a megatrend in recent years. The strongest form of mobility allows the execution state of a computational component to be captured and restored on another node where execution is seamlessly continued. Computation migration can achieve dynamic load balancing, improve data access locality, and serve as the enabling mechanism for auto-provisioning of cloud computing resources. Therefore, it is worthwhile to study the concepts behind computation migration and its performance in a multi-instance cloud platform. This chapter introduces a handful of migration techniques working at diverse granularities for use in cloud computing. In particular, this chapter highlights an innovative idea termed stack-on-demand (SOD), which enables ultra-lightweight computation migrations and delivers a flexible execution model for mobile cloud applications.

Sign in / Sign up

Export Citation Format

Share Document