Protecting mobile agents from external replay attacks

Peer-reviewed

Reducing the gap between mobile and intelligent software agents

This paper presents an approach to integrate an artificial intelligence (AI) technique, concretely rule-based processing, into mobile agents. In particular, it focuses on the aspects of designing and implementing an appropriate inference engine of small size to reduce migration costs. The main goal is combine two lines of agent research, First, the engineering oriented approach on mobile agent architectures, and, second, the AI related approach on inference engines driven by rules expressed in a restricted subset of first-order predicate logic (FOPL). In addition to size reduction, the main functions of this type of engine were isolated, generalized and implemented as dynamic components, making possible not only their migration with the agent, but also their dynamic migration and loading on demand. A set of classes for representing and exchanging knowledge between rule-based systems was also proposed.

Agents as multi-threaded logical objects

In this paper we describe a distributed object oriented logic programming language in which an object is a collection of threads deductively accessing and updating a shared logic program. The key features of the language, such as static and dynamic object methods and multiple inheritance, are illustrated through a series of small examples. We show how we can implement object servers, allowing remote spawning of objects, which we can use as staging posts for mobile agents. We give as an example an information gathering mobile agent that can be queried about the information it has so far gathered whilst it is gathering new information. Finally we define a class of co-operative reasoning agents that can do resource bounded inference for full first order predicate logic, handling multiple queries and information updates concurrently. We believe that the combination of the concurrent OO and the LP programming paradigms produces a powerful tool for quickly implementing rational multi-agent applications on the internet.

MedIGS, un sistema segur basat en agents per al descobriment i obtenció de dades mèdiques distribuïdes: estudi i desenvolupament

En aquest projecte es desenvolupa en totes les seves fases(estudi, anàlisi, disseny, implementació i proves) l'aplicació MedIGS. MedIGS és una aplicació destinada a satisfer algunes de les necesitats actuals del sistema sanitari, la compartició d’informació i la màxima coordinació possible, utilitzant una tecnologia novedosa: els agents, i més concretament, els agents mòbils. Gràcies a aquesta tecnologia aconseguirem una integració segura de dades mèdiques distribuïdes. Està previst fer una prova pilot a Portugal, a partir dels resultats d’aquest projecte.

Construcció modular d'agents basats en components: estudi i desenvolupament

La complexitat de disseny d’agents mòbils creix a mesura que s’incrementen les seves funcionalitats. Aquest projecte proposa enfocar el problema des d’un punt de vista modular. S’ha realitzat un estudi tant dels propis agents com de les parts que ho integren. De la mateixa forma, s’han establert i s'han implementat els mecanismes necessaris per habilitar les comunicacions segures entre agents. Finalment, s’han desenvolupat dos components que ofereixen les funcionalitats de seguiment de l’agent mòbil i la recuperació dels resultats generats. El desenvolupament d’agents basats en components tracta d’aplicar la vella estratègia "divideix i venceràs" a la fase de disseny, reduint, així,la seva gran complexitat.

Proposta de migració segura d'agents amb sol·licitud de classes sota demanda per a la plataforma JADE

Aquest projecte consisteix en la implementació d'una migració d'agents mòbils amb sol·licitud de classes sota demanda de manera segura per a la plataforma JADE. En aquest projecte hem desenvolupat dos protocols de control d'accés i autentificació sobre agents i/o plataformes. Però la línia central de desenvolupament d'aquest projecte radica en la creació d'un protocol de migració sota demanda d'agents. Hem implementat dues versions d'aquest protocol. La primera versió del protocol de migració es centra en la sol·licitud de classes sota demanda i la segona versió, per tal de millorar-ne el rendiment de la primera, emmagatzema les classes que ha demanat sota demanada en una cache de la plataforma.

Extensió de l'entorn SMARD per permetre la depuració d'aplicacions basades en agents mòbils

Un dels principals obstacles per l’adopció dels agents mòbils, fins i tot per tasques per les quals s’ha demostrat la seva idoneïtat, és la dificultat de desenvolupar-los. Aquest projecte aporta solucions per ajudar en aquest procés. Més concretament, per provar agents i observar-ne el seu comportament en un entorn de simulació, abans d’executar-los en un escenari real. Hem afegit un depurador i un constructor d’agents mòbils a la interfície gràfica de disseny d’itineraris de l’entorn SMARD. Fent servir afegit aquests nous components, el programador pot dissenyar, construir i fer proves d’un agent mòbil des d’aquesta aplicació.

Contribució a la mobilitat inter-plataforma d'agents mòbils: protocol de migració fragmentada

En aquest projecte s’ha dissenyat un protocol de migració d’agents mòbils per a l’arquitectura IPMA basat en l’enviament dels agents fragmentats en diversos missatges FIPA ACL. Aquest s’ha implementat dins el servei de migració JIPMS per a la plataforma JADE. Finalment s’ha dut a terme un conjunt exhaustiu de tests per avaluar-ne el rendiment i comparar-lo amb altres protocols de migració existents.

Desenvolupament d'un component de tolerància a fallades per a un sistema d'agents mòbils sobre plataformes lleugeres

A mesura que la complexitat de les tasques dels agents mòbils va creixent, és més important que aquestes no perdin el treball realitzat. Hem de saber en tot moment que la execució s’està desenvolupant favorablement. Aquest projecte tracta d’explicar el procés d’elaboració d’un component de tolerància a fallades des de la seva idea inicial fins a la seva implementació. Analitzarem la situació i dissenyarem una solució. Procurarem que el nostre component emmascari la fallada d’un agent, detectant-la i posteriorment recuperant l’execució des d’on s’ha interromput. Tot això procurant seguir la metodologia de disseny d’agents mòbils per a plataformes lleugeres.

Desenvolupament en Network Simulator 2: protocol de migració per simular agents mòbils

Avui en dia, estem assistint a una expansió de la tecnologia d’agents mòbils i noves aplicacions basades en aquesta s’estan obrint pas constantment. Les aplicacions han de demostrar la seva viabilitat sobretot en entorns heterogenis i complexos com les xarxes MANET. En aquest projecte es desenvolupa un sistema per simular el comportament dels agents mòbils, ampliant l’actual simulador de xarxa NS2, i també es comprova la viabilitat de l’implementació de l’ETTMA pel triatge de víctimes en situacions d’emergència.

Xarxes tolerants a endarreriments i interrupcions: desenvolupament d'un scheduler d'agents mòbils

En aquest projecte es proposa i s’implementa una nova forma de crear xarxes DTN (Delay-Tolerant Networks) mitjançant agents mòbils. Aquestes xarxes tenen la peculiaritat de ser tolerants a endarreriments i interrupcions, podent ser utilitzades en entorns on les xarxes actuals no es poden aplicar. Hem dissenyat mecanismes que permeten prendre decisions d’encaminament a nivell d’aplicació i mecanismes de priorització d’agents mitjançant informació d’alt nivell. Aquests mecanismes milloren les DTN fent-les més flexibles i efectives.

Automatic self-configuration of the logical network using distributed software agents

We present a system for dynamic network resource configuration in environments with bandwidth reservation. The proposed system is completely distributed and automates the mechanisms for adapting the logical network to the offered load. The system is able to manage dynamically a logical network such as a virtual path network in ATM or a label switched path network in MPLS or GMPLS. The system design and implementation is based on a multi-agent system (MAS) which make the decisions of when and how to change a logical path. Despite the lack of a centralised global network view, results show that MAS manages the network resources effectively, reducing the connection blocking probability and, therefore, achieving better utilisation of network resources. We also include details of its architecture and implementation

Promoting the development of secure mobile agent applications

Peer-reviewed