SAC
2008
ACM
13 years 12 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
TISSEC
2002
14 years 2 days ago
2002
Language runtime systems are increasingly being embedded in systems to support runtime extensibility via mobile code. Such systems raise a number of concerns when the code running...
SPE
2002
14 years 2 days ago
2002
D'Agents is a general-purpose mobile-agent system that has been used in several informationretrieval applications. In this paper, we first examine one such application, opera...
INFORMATICALT
2000
14 years 7 days ago
2000
Growing popularity of the mobile code requires to consider various aspects related to its security. In the aviation industry there is a case when additional information needs to be...
ENTCS
2007
14 years 11 days ago
2007
In the last decade, many calculi for modelling distributed mobile code have been proposed. To assess their merits and encourage use, implementations of the calculi have often been...
WEBNET
1997
14 years 1 months ago
1997
: We are building an infrastructure for the platform-independent distribution and execution of high-performance mobile code as a future Internet technology to complement and perhap...
PDPTA
2000
14 years 1 months ago
2000
Code Mobility brings the possibility of building distributed systems better suited to a range of application areas. While platforms supporting Code Mobility are already in use, su...
DOA
2000
14 years 1 months ago
2000
Smartcards can be seen as service providing entities that implement a secure, tamper-proof storage and offer computational resources which make them ideally suited for a variety o...
APLAS
2006
ACM
14 years 4 months ago
2006
ACM
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
MAS
1998
Springer
14 years 4 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...