Font Size: a A A

A formal framework of a secure mobile agent system based on extended elementary object system

Posted on:2006-10-05Degree:Ph.DType:Thesis
University:University of Illinois at ChicagoCandidate:Ma, LuFull Text:PDF
GTID:2458390008469050Subject:Computer Science
Abstract/Summary:
Mobile agent paradigm is a newly emerged distributed computing paradigm. Because of its many salient merits, it has attracted tremendous attention in the past few years and become a promising direction in distributed computing and processing, as well as high performance network area. But it also brings significant new security threats, which have become the bottleneck of the development and maintenance of mobile agent systems. A lot of research has been dedicated to address these security issues. Many models for mobile agent systems have also been proposed. But research on modeling and analyzing a mobile agent system with security mechanisms using an intuitive formal method is rare. In this thesis, we present a formal framework for a generic secure mobile agent system based on Extended Elementary Object System (EEOS). EEOS extends the original Elementary Object System (EOS), which is a type of high-level Petri Net integrated with Object Oriented technology for better compositionality.; We first introduce a mobile agent system and the security issues existing in a mobile agent system. Then we summarize the related works in mobile agent security research and mobility modeling. Next, we extend the original EOS in six aspects and propose the EEOS, based on which our formal framework of a secure mobile agent system is built. The formal framework includes four areas: structure, communication, mobility and security, each of which is elaborated respectively. As currently there is no simulation tool to support EOS, we introduce how to translate our EEOS model into Color Petri Net (CPN) model and then simulate the model in Design/CPN, the most widely used package for CPN. Simulation results are analyzed and features of our generic mobile agent systems can be derived. Finally we use a case study in electronic commerce to illustrate our formal modeling approach.
Keywords/Search Tags:Agent, Formal, Elementary object, EEOS
Related items