Sciweavers

1519 search results - page 181 / 304
» Authentication for Mobile Agents
Sort
View
MA
2001
Springer
139views Communications» more  MA 2001»
15 years 11 months ago
Flying Emulator: Rapid Building and Testing of Networked Applications for Mobile Computers
This paper presents a mobile-agent framework for building and testing mobile computing applications. When a portable computing device is moved into and attached to a new network, t...
Ichiro Satoh
EUC
2005
Springer
16 years 4 hour ago
A World Model for Smart Spaces
A world model for ubiquitous computing environments is presented. It can be dynamically organized like a tree based on geographical containment, such as in a user-room-floor-build...
Ichiro Satoh
CSFW
2000
IEEE
15 years 11 months ago
Reasoning about Secrecy for Active Networks
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
WOA
2001
15 years 7 months ago
Enlightened Agents in TuCSoN
Abstract--In the network-centric computing era, applications often involve sets of autonomous, unpredictable, and possibly mobile entities interacting within open, dynamic, and pos...
Alessandro Ricci, Andrea Omicini, Enrico Denti
OTM
2007
Springer
16 years 18 days ago
Network Coding Protocols for Secret Key Distribution
Abstract. Recent contributions have uncovered the potential of network coding, i.e. algebraic mixing of multiple information flows in a network, to provide enhanced security in pa...
Paulo F. Oliveira, João Barros