TDX/TDR - Departament d'Enginyeria de la Informació i de les Comunicacions

Codes over rings: maximum distance separability and self-duality

Tue, 26 Feb 2013 09:48:14 GMT

Codes over rings: maximum distance separability and self-duality Bilal, Muhammad Una parte imporante de la teoría de códigos es la de determinar cotas del número de palabras de un código. Uno de los problemas fundamentales de la teoría de códigos es encontrar códigos con la máxima distancia mínima d. Los investigadores han encontrado diferentes cotas superiores e inferiores para los códigos lineales y no lineales, por ejemplo cotas de Plotkin, Johnson, Singleton, Elias, Linear Programming, Griesmer, Gilbert y Varshamov. En esta tesis se ha estudiado la cota de Singleton, que es una cota superior de la distancia mínima de un código, y se han definido los códigos Z2Z4-aditivos a distancia máxima separable (MDS). Dos cotas diferentes se presentan en este trabajo en el que se han caracterizado todos los códigos Z2Z4-aditivos a distancia máxima separable con respecto a la cota de Singleton (MDSS) y condiciones en los parámetros para códigos Z2Z4-aditivos a distancia máxima separable con respecto a la cota obtenida a partir del rango (MDSR). La generación de nuevos códigos ha sido siempre un tema interesante, dando lugar al estudio de las propiedades de estos nuevos códigos generados y a establecer nuevos resultados. Los códigos autoduales son una clase importante de códigos. Hay numerosas construcciones de códigos autoduales a partir de objetos combinatorios. En este trabajo se han dado dos métodos para generar códigos autoduales a partir de esquemas de asociación de clase 3; las construcciones pure y bordered. Con estos dos métodos, se han obtenido códigos binarios autoduales a partir de esquemas de asociación de clase 3 no simétricos y códigos sobre Zk a partir de esquemas de asociación rectangulares. Borges, Dougherty y Fernández-Córdoba en 2011 presentaron un método para generar nuevos códigos Z2Z4-aditivos autoduales a partir de otros códigos Z2Z4-aditivos autoduales extendiendo su longitud. En este trabajo se ha comprobado si las propiedades como separabilidad, antipodalidad y el tipo del código se mantienen o no cuando se utiliza este método.; Bounds on the size of a code are an important part of coding theory. One of the fundamental problems in coding theory is to ﬁnd a code with largest possible distance d. Researchers have found diﬀerent upper and lower bounds on the size of linear and nonlinear codes e.g., Plotkin, Johnson, Singleton, Elias, Linear Programming, Griesmer, Gilbert and Varshamov bounds. In this dissertation we have studied the Singleton bound, which is an upper bound on the minimum distance of a code, and have deﬁned maximum distance separable (MDS) Z2Z4 additive codes. Two diﬀerent forms of these bounds are presented in this work where we have characterized all maximum distance separable Z2Z4-additive codes with respect to the Singleton bound (MDSS) and strong conditions are given for maximum distance separable Z2Z4-additive codes with respect to the rank bound (MDSR). Generation of new codes has always been an interesting topic, where one can study the properties of these newly generated codes and establish new results. Self-dual codes are an important class of codes. There are numerous constructions of self-dual codes from combinatorial objects. In this work we have given two methods for generating self-dual codes from 3-class association schemes, namely pure construction and bordered construction. Binary self-dual codes are generated by using these two methods from non-symmetric 3-class association schemes and self-dual codes from rectangular association schemes are generated over Zk. Borges, Dougherty and Fernández-Córdoba in 2011 presented a method to generate new Z2Z4-additive self-dual codes from the existing Z2Z4-additive selfdual codes by extending their length. In this work we have veriﬁed whether properties like separability, antipodality and code Type are retained or not, when using this method.

On Quaternary Linear Reed-Muller Codes

Tue, 11 Dec 2012 17:28:48 GMT

On Quaternary Linear Reed-Muller Codes Pernas Vallès, Jaume A la literatura recent hi podem trobar la introducció de noves famílies de codis de Reed- Muller quaternaris lineals RMs. Les imatges d’aquests nous codis a través del mapa de Gray són codis binaris Z4-lineals que comparteixen els paràmetres i les propietats (longitud, dimensió, distància mínima, inclusió, i relació de dualitat) amb la família de codis de Reed- Muller binaris lineals. El kernel d’un codi binari C es defineix com K(C) = {x 2 Zn2 : C + x = C}. La dimensió del kernel és un invariant estructural per els codis binaris equivalents. Part d’aquesta tesi consisteix en establir els valors de la dimensió del kernel per aquestes noves famílies de codis de Reed-Muller Z4-lineals. Tot i que dos codis Z4- lineals no equivalents poden compartir el mateix valor de la dimensió del kernel, en el cas dels codis de Reed-Muller RMs aquest resultat es suficient per donar-ne una classificació completa. Per altra banda, un codi quaternari lineal de Hadamard C, és un codi que un cop li hem aplicat el mapa de Gray obtenim un codi binari de Hadamard. És conegut que els codis de Hadamard quaternaris formen part de les famílies de codis quaternaris de Reed- MullerRMs. Definim el grup de permutacions d’un codi quaternari lineal com PAut(C) = { 2 Sn : (C) = C}. Com a resultat d’aquesta tesi també s’estableix l’ordre dels grups de permutacions de les famílies de codis de Hadamard quaternaris. A més a més, aquests grups són caracteritzats proporcionant la forma dels seus generadors i la forma de les òrbites del grup PAut(C) actuant sobre el codi C. Sabem que el codi dual, en el sentit quaternari, d’un codi de Hadamard és un codi 1-perfecte estès. D’aquesta manera els resultats obtinguts sobre el grup de permutacions es poden transportar a una família de codis quaternaris 1- perfectes estesos; Recently, new families of quaternary linear Reed-Muller codes RMs have been introduced. They satisfy that, under the Gray map, the corresponding Z4-linear codes have the same parameters and properties (length, dimension, minimum distance, inclusion, and duality relation) as the codes of the binary linear Reed-Muller family. The kernel of a binary code C is K(C) = {x 2 Zn2 : C + x = C}. The dimension of the kernel is a structural invariant for equivalent binary codes. In this work, the dimension of the kernel for these new families of Z4-linear Reed-Muller codes is established. This result is sufficient to give a full classification of these new families of Z4-linear Reed-Muller codes up to equivalence. A quaternary linear Hadamard code C is a code over Z4 that under the Gray map, the corresponding Z4-linear code is a binary Hadamard code. It is well known that quaternary linear Hadamard codes are included in the RMs families of codes. The permutation automorphism group of a quaternary linear code C of length n is defined as PAut(C) = { 2 Sn : (C) = C}. In this dissertation, the order of the permutation automorphism group of all quaternary linear Hadamard codes is established. Moreover, these groups are completely characterized by providing their generators and also by computing the orbits of their action on C. Since the dual of a Hadamard code is an extended 1-perfect code in the quaternary sense, the permutation automorphism group of the quaternary linear extended 1-perfect codes is also established.

Compact, Adaptive and Discriminative Spatial Pyramid for Improved Scene and Object Classification

Sat, 01 Dec 2012 18:51:30 GMT

Compact, Adaptive and Discriminative Spatial Pyramid for Improved Scene and Object Classification Noha, Elfiky Laparici de bases de dades amb un gran nombre dimatges requereix del desen- volupament de representacions dimatge eficients i algorismes que siguin capaos de manipular dades a gran escala de manera eficient. Avui dia, la representaci dimatges basada en la tcnica de Bagsof- Words (Bow), s lenfocament ms ha reeixit en el context de les tasques de classificaci dobjectes i descenes. No obstant aix, el seu principal desavantatge s labsncia dinformaci espacial. En aquest context, ls de pirmides espacials (SP) sha aplicat amb xit per incorporar la informaci espacial: bsicament es tracta de subdividir la imatge recursivament subregions al duplicar el nombre de divisions en cada direcci de la imatge, per- metent lextracci dhistogrames i altres caracterstiques en aquestes subregions. A partir del notable rendiment que sobt amb les pirmides espacials, el seu s sha generalitzat en un creixent nombre daplicacions i problemes de visi, pel que en aquesta Tesi hem analitzat com millorar-ne el seu s. Dins el marc de les SP, hem estudiat la forma ptima per obtenir una representaci de la imatge que sigui capa de fer front als defectes ms destacats de les SP, en concret, la seva alta dimensionalitat i la seva rigidesa de la representaci de la imatge resultant . En resum, la preocupaci principal daquesta Tesi s la recerca dels lmits de les pirmides espacials al tractar de trobar solucions per als seus inconvenients. En general, aquesta Tesi explora el problema dobtenir representacions molt com- pactes i adaptades a la naturalesa de la imatge que siguin molt ms informatives en el context de la classificaci dobjectes i escenes. A la primera part daquesta Tesi, primer sanalitzen les implicacions de laplicaci directa de lestat de lart en les tcniques de compressi per obtenir BoWs compactes basada en una representaci de la imatge basada en pirmides espacials. Desprs introdum una nova tcnica de compressi de SP que funciona a dos nivells: (i) comprensi de les caracterstiques de la pirmide espacial, seguit per ii) compressi de les regions menys informa- tives de la SP amb el propsit dobtenir pirmides compactes i adaptatives . A continuaci, introdum un nou descriptor de textura que representa laparena local de la imatge. La textura es representa com un vector compacte adequat per al seu s en algorismes daprenentatge. Els resultats experimentals mostren que la informaci de la imatge permet superar els mtodes que utilitzen noms la forma o laparena dels pxels. La representaci resultant s una pirmide espacial que obt un gran rendiment al aplicar-lo en tasques de classificaci descenes. A la segona part daquesta tesi, es presenta una nova tcnica per a la construcci adaptativa de pirmides. En particular, sinvestiguen diversos enfocaments per a laprenentatge duna organitzaci espacial de la imatge que estigui especialment adaptada per a la tasca de classificaci. Amb aquesta finalitat, sanalitza ls de (i) geometries genriques descenes 3D, on la geometria duna escena sobt sobre la base estadstica duna base de dades dimatges, i de ls de (ii) particions espacials discriminatives generades utilitzant mesures utilitzades en Teoria de la Informaci. El mtode proposat sha provat en diversos conjunts de dades de classificaci dobjectes i els resultats demostrant clarament leficcia de la utilitzaci de les representacions espacials adaptadasa la geometria 3D present a la imatge. En la tercera part daquesta tesi, sinvestiga el problema dobtenir una representaci compacta de; La aparicin de bases de datos con un gran nmero de imgenes requiere del de- sarrollo de representaciones de imagen eficientes y algoritmos que sean capaces de manipular datos a gran escala de manera eficiente. Hoy en da, la repre- sentacin de imgenes basada en la tcnica de Bags-of-Words (BoW), es el enfoque ms exitoso en el contexto de las tareas de clasificacin de objetos y de escena. Sin embargo, su principal desventaja es la ausencia de informacin espacial. En este contexto, el uso de pirmides espaciales (SP) se ha aplicado con xito para incorporar la informacin espacial: bsicamente se trata de subdividir la imagen recursivamente subregiones al duplicar el nmero de divisiones en cada direccin del eje, permitiendo la extraccin de histogramas y otras caractersticas en estas subregiones. A partir del notable rendimiento que se obtiene con las pirmides espaciales, su uso se ha generalizado en un creciente nmero de aplicaciones y problemas de visin, por lo que en esta Tesis hemos analizado cmo mejorar su uso. Dentro del marco de las SP, hemos estudiado la forma ptima para obtener una representacin de la imagen que sea capaz de hacer frente a los defectos ms destacados de las SP, en concreto, su alta dimensionalidad y su rigidez de la rep- resentacin de la imagen resultante. En resumen, la preocupacin principal de esta Tesis es la bsqueda de los lmites de las pirmides y tratar de encontrar soluciones para sus inconvenientes. En general, esta Tesis explora el problema de obtener representaciones muy compactas, representaciones espaciales de adaptacin que sean ms informativas de la imagen en el contexto de la clasificacin de objetos y escenas. En la primera parte de esta Tesis, primero se analizan las implicaciones de la aplicacin directa del estado del arte en las tcnicas de compresin para la ob- tencin de BoWs compactos basada en representacin de la imagen en el contexto de pirmides espaciales. Luego introducimos una nueva tcnica de compresin de SP que funciona a dos niveles: (i) la compresin de las caractersticas de la pir- mide espacial, seguido por ii) la compresin de las regiones menos informativos SP con el propsito de obtener SPs ms compactas y adaptables. A continuacin, introducimos un descriptor nuevo de textura que representa la apariencia local de la imagen. La textura se representa como un vector compacto adecuado para su uso en algoritmos de aprendizaje. Los resultados experimentales muestran que la informacin de la imagen permite superar a los mtodos que utilizan slo la forma o la apariencia de los pxeles. La representacin resultante es una pirmide espacial que obtiene un gran rendimiento al aplicarlo en tareas de clasificacin de escenas. En la segunda parte de esta tesis, se presenta una nueva tcnica para la construccin adaptativa de pirmides. En particular, se investigan diver- sos enfoques para el aprendizaje de una organizacin espacial de la imgen que est especialmente adaptada para la tarea de clasificacin. Para este fin, se analiza el uso de (i) geometras genricas de escenas 3D, donde la geometra de una escena se obtiene sobre la base estadstica de una base de datos de imgenes; y del uso de (ii) particiones espaciales discriminativas generadas utilizando medidas uti- lizadas en Teora de la Informacin. El mtodo propuesto se ha probado en varios conjuntos de datos de clasificacin de objetos y los resultados demostran clara- mente la eficacia de la utilizacin de las representaciones espaciales adaptadasa 1 la geometra 3D presente en la imagen. En la tercera parte de esta tesis, se investiga el problema de obtener una representacin compacta de pirmides para las tareas de clasificacin de objetos y escenas. Se presenta un nuevo marco para la obtencin de una representacin espacial eficiente de la imagen para construir una pirmide de tamao reducido de hasta un orden de magnitud, pero sin sufrir ninguna reduccin significativa en la precisin. Por otra parte, se investiga tam- bin como combinar ptimamente caractersticas mltiples de la imagen tales como el color y la forma, dentro del contexto de nuestra representacin de pirmides compactas. Finalmente, se investiga la importancia de utilizar el conocimiento espacial del contexto incorporando tcnicas de constancia de color. Para este fin, se presenta un nuevo enfoque para estimar la fuente lumnica de cualquier imagen basada en la geometra espacial en 3D para as aprender el color ms apropiado que se utilizar para describir todas las regiones de la imagen. La fuente lumnica de la imagen se obtiene sobre la base de una combinacin ponderada del iluminante estimado en cada regin de la pirmide. Hemos demostrado que el rendimiento obtenido con nuestra tcnica es superior al estado del arte. Como resultado, hemos conseguido obtener un incremento significativo en el rendimiento de los clasificadores de escenas que mejoran la precisin de los algoritmos actuales.; Abstract The release of challenging datasets with a vast number of images, re- quires the development of efficient image representations and algorithms which are able to manipulate these largescale datasets efficiently. Nowadays the Bag- of-Words (BoW) based image representation is the most successful approach in the context of object and scene classification tasks. However, its main drawback is the absence of the important spatial information. Spatial pyramids (SP) have been successfully applied to incorporate spatial information into BoW-based im- age representation. The main SP approach, works by repeatedly sub-dividing the image into increasingly finer sub-regions by doubling the number of di- visions on each axis direction, and further computing histograms of features over the resulting sub-regions. Observing the remarkable performance of spa- tial pyramids, their growing number of applications to a broad range of vision problems, and finally its geometry inclusion, a question can be asked what are the limits of spatial pyramids. Within the SP framework, the optimal way for obtaining an image spatial representation which is able to cope with its most foremost shortcomings, concretely, its high dimensionality and the rigidity of the resulting image representation still remains an active research domain. In summary, the main concern of this thesis is to search for the limits of spatial pyramids and try to figure out solutions for them. This thesis explores the problem of obtaining compact, adaptive, yet informative spatial image repre- sentations in the context of object and scene classification tasks. In the first part of this thesis, we first analyze the implications of directly applying the state-of-the-art compression techniques for obtaining compact BoW-based im- age representation within the context of spatial pyramids. We then introduce a novel SP compression technique that works on two levels; (i) compressing the least informative spatial pyramid features, followed by, (ii) compressing the least informative SP regions for the purpose of obtaining compact, and adaptable SP. We then introduce a new texture descriptor that represents local image texture and its spatial layout. Texture is represented as a compact vector descriptor suitable for use in standard learning algorithms with kernels. Experimental re- sults show that texture information has similar classification performances and sometimes outperforms those methods using only shape or appearance informa- tion. The resulting spatial pyramid representation demonstrates significantly improved performance on challenging scene classification tasks. In the second part of this thesis, we present a novel technique for building adaptive spatial pyramids. In particular, we investigate various approaches for learning adap- tive spatial pyramids, which are specially tailored for the task at hand. To this end, we analyze the use of (i) standard generic 3D scene geometries; the geometry of a scene is measured based on image statistics taken from a sin- gle image. (ii) discriminative spatial partitionings, which are generated based on an information-theoretic approach. The proposed method is tested on sev- eral challenging benchmark object classification datasets. The results clearly demonstrated the effectiveness of using adaptive spatial representations, which are steered by the 3D scene geometry present in images. In the third part of 1 this thesis, we investigate the problem of obtaining compact spatial pyramid im- age representations for object and scene classification tasks. We present a novel framework for obtaining compact spatial pyramid image representation up to an order of magnitude without any significant reduction in accuracy. Moreover, we also investigate the optimal combination of multiple features such as color and shape within the context of our novel compact pyramid representation. Finally, we investigate the importance of using the spatial knowledge within the context of color constancy as an application. To this end, we present a novel framework for estimating the image illuminant based on spatial 3D geometry for learning the most appropriate color constancy algorithm to use for every image region. The final image illuminant is obtained based on a weighted combination of each individual illuminant-estimate obtained per region. We test and compare our performance to that of previous state-of-art methods. We will show that the set of innovations introduced here lead to a significant increase on performance on challenging color constancy datasets.

Efficient Mobility and Interoperability of Software Agents

Tue, 12 Apr 2011 14:54:38 GMT

Efficient Mobility and Interoperability of Software Agents Cucurull Juan, Jordi Els agents mòbils són entitats computacionals autònomes que tenen la capacitat de suspendre i prosseguir la seva execució en diferents punts de la xarxa per a dur a terme un conjunt de tasques assignades. Tot i la seva aparent simplicitat, el fet de compartir codi en diferents localitzacions, sovint heterogènies, dóna lloc a un conjunt d'inconvenients que no són senzills de solucionar. La prova és que, després de diversos anys d'esforços, el desplegament d'aquesta tecnologia no ha esdevingut una realitat. En la nostra opinió les raons principals que han obstaculitzat l'ús dels agents mòbils són la manca de seguretat, interoperabilitat i eficiència. La seguretat imposa fortes restriccions en l'ús d'aquests. No obstant actualment ja disposem d'una gran quantitat de propostes en aquesta àrea. La interoperabilitat és absolutament indispensable per a garantir que diferents tipus d'agents poden funcionar en diferents llocs i intercanviar informació. I l'eficiència és un requisit no funcional que afavoreix l'ús de la citada tecnologia.
Els agents mòbils són idonis per a entorns distribuïts i heterogenis. El treball presentat en aquesta tesi està motivat per a aquest fet i comprèn quatre objectius per a millorar, en aquest ordre, la interoperabilitat, l'eficiència i la seguretat dels agents mòbils en el context dels estàndards definits per l'organització IEEE-FIPA. El primer objectiu és el disseny d'una especificació de mobilitat flexible. El segon objectiu és la proposta de mecanismes d'interoperabilitat, combinats amb l'especificació anterior, per a l'execució i mobilitat d'agents en localitzacions on no se suporten els mateixos tipus de plataformes d'agents, llenguatges de programació i arquitectures subjacents. El tercer objectiu és la proposta de mètodes per a millorar l'eficiència de la mobilitat i interoperabilitat dels agents. I, finalment, el darrer objectiu és el disseny de protocols per a tractar alguns problemes de seguretat concrets dels agents mòbils.; Mobile agents are autonomous software entities that have the ability to stop and resume their execution in different network locations to accomplish a set of tasks. Despite their apparent simplicity, the fact of sharing a code in different places, in most cases heterogeneous, arises a set of issues which are far from have a simple solution. The proof is that after several years of efforts, a wide-scale deployment of mobile agents has not become a reality. In our opinion the main reasons which have hindered the adoption of mobile agents are: security, interoperability, and efficiency. Security may impose strong restrictions to the use of mobile agents. Nevertheless, enough research to satisfy the most common applications has been done in this field. Interoperability is absolutely indispensable to guarantee that different types of agents can run in different places and exchange information. And efficiency is a non functional requisite which favours the adoption of the technology.
The suitability of mobile agents for distributed and heterogeneous environments is unique. The work presented in this thesis is motivated by this fact and comprises four objectives to improve, in this order, the interoperability, efficiency, and security of mobile agents in the context of the IEEE-FIPA standards. The first objective is the design of a flexible agent mobility specification. The second objective is the proposal of interoperability mechanisms to move and execute agents in several locations supporting different agent middlewares, programming languages, and underlying architectures taking advantage of the previous mobility specification. The third objective is the proposal of methods to improve the efficiency of the agent mobility and interoperability. And finally, the last objective is the design of some protocols to deal with specific security issues of mobile agents.

Contributions to mobile agent protection from malicious hosts

Tue, 12 Apr 2011 14:54:37 GMT

Contributions to mobile agent protection from malicious hosts Garrigues Olivella, Carles La utilització d'agents mòbils en sistemes distribuïts comporta diverses avantatges. Les avantatges més freqüentment citades inclouen: reducció de la càrrega de la xarxa, decrement de la latència de les comunicacions, adaptació dinàmica, i millor suport per dispositius mòbils amb connexions intermitents, entre d'altres. No obstant, els beneficis oferts pels agents mòbils no han estat suficients per estimular el seu ús generalitzat. La raó principal per la qual els agents mòbils no han estat àmpliament adoptats encara, a pesar dels seus avantatges tecnològics, és que aquesta tecnologia comporta certs riscos de seguretat. S'han dut a terme molts avenços en la seguretat, la fiabilitat i la eficiència dels agents mòbils, però hi ha problemes de seguretat que encara romanen sense solució.
El treball principal d'aquesta tesi gira en torn a la protecció dels agents mòbils contra els hostes maliciosos. Per tal de proporcionar una solució a alguns dels problemes de seguretat actuals, en primer lloc, s'ha presentat un protocol de protecció d'itineraris que suporta agents que viatgen lliurament. Els protocols de protecció d'itineraris proposats fins ara limiten la capacitat de l'agent de migrar a voluntat. Per tant, aquesta tesi presenta un protocol que permet als agents descobrir noves plataformes en temps d'execució, de tal manera que les aplicacions poden aprofitar tots els avantatges proporcionats per la tecnologia dels agents mòbils.
En segon lloc, s'ha presentat un protocol que protegeix els agents mòbils d'atacs de re-execució externs. Els atacs de re-execució externs estan basats en tornar a enviar l'agent a la seva plataforma destí, per tal de forçar-lo a re-executar part del seu itinerari. El protocol proposat evita aquest tipus d'atacs sense limitar la capacitat de l'agent de visitar certes plataformes repetidament.
Les solucions de seguretat presentades en aquesta tesi es basen en el fet que en molts, si no en la majoria, dels escenaris basats en agents mòbils podem trobar plataformes de confiança. Mitjançant la incorporació de plataformes de confiança en l'itinerari de l'agent, les solucions proposades proporcionen un compromís equilibrat entre seguretat i flexibilitat.
Per tal de promoure el desenvolupament d'aplicacions basades en agents mòbils segurs, aquesta tesi també presenta un entorn de desenvolupament que facilita la implementació dels protocols de protecció d'agents proposats, així com altres solucions de seguretat.; Several advantages have been identified in using mobile agents in distributed systems. The most frequently cited advantages include: reduction of network load, decrease in communication latency, dynamic adaptation, and better support for mobile devices with intermittent connections, among others. However, the benefits offered by mobile agents have not been sufficient to stimulate their widespread deployment. The main reason why mobile agents have not been widely adopted yet, despite their technological benefits, is their inherent security risks. Many breakthroughs have been achieved in the security, reliability and efficiency of mobile agents, but there are security issues still remaining unsolved.
The core work of this thesis revolves around the protection of mobile agents against malicious hosts. In order to provide a solution to some of the current security issues, first of all, an itinerary protection protocol is presented that supports free-roaming agents. Itinerary protection protocols proposed to date limit the agent's ability to migrate at will. Therefore, this thesis presents a protocol that allows agents to discover new platforms at runtime, so that applications can take full advantage of the benefits provided by mobile agent itineraries.
Second, a protocol is presented that protects mobile agents against external replay attacks. External replay attacks are based on resending the agent to another platform, so as to force the reexecution of part of its itinerary. The proposed protocol counters this kind of attacks without limiting the agent's ability to visit certain platforms repeatedly.
The security solutions presented in this thesis are based on the fact that trusted platforms can be found in many, if not most, mobile agent-based scenarios. By incorporating trusted platforms in the agent's itinerary, the proposed solutions provide a balanced trade-off between security and flexibility.
In order to promote the development of secure mobile agent-based applications, this thesis also presents a development environment that facilitates the implementation of the proposed agent protection protocols as well as other security solutions.