185 search results - page 29 / 37 » A Secure Communication Framework for Mobile Agents |
POPL
1999
ACM
13 years 11 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
MMS
2006
13 years 7 months ago
2006
: This paper presents a generic agent-based framework for social-mobile applications, which has been developed as part of an ongoing linkage project. The MobiSoft project is driven...
MOMM
2006
ACM
14 years 1 months ago
2006
ACM
: Telecommunication networks and the Internet are growing together. Peer-to-Peer (P2P) services which are originally offered by network providers, like telephony and messaging, ar...
EUROMICRO
1997
IEEE
13 years 11 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
ICALP
2003
Springer
14 years 20 days ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...