|
|
|
| | |
Series in Electrical and Computer Engineering - Vol. 5
SECURITY MODELING AND ANALYSIS OF MOBILE AGENT SYSTEMS
by Lu Ma & Jeffrey J P Tsai (University of Illinois at Chicago, USA)
A mobile agent system could be attacked by malicious agents, platforms and third parties. Mobile agents simply offer greater opportunities for abuse and misuse, which broadens the scale of threats significantly. In addition, since mobile agents have some unique characteristics such as their mobility, security problems have become more complicated in these systems. These security problems have become a bottleneck in the development and maintenance of mobile agent systems, especially in security sensitive applications such as electronic commerce. This book introduces the concept and structure of mobile agent systems and discusses various attacks and countermeasures. The emphasis is on the formal modeling and analysis of secure mobile agent systems and their applications.
Contents:
- Mobile Agent System
- Attacks and Countermeasures of Software System
Security
- Security Issues in a Mobile Agent System
- A New Formal Model — Extended Elementary Object System (EEOS)
- A Formal Framework of a Generic Secure Mobile Agent System Based on EEOS
- Translating the EEOS Model to Colored Petri Net Model
- Simulation and Analysis of the Extended Elementary Object System Model of a Secure Mobile Agent System
- A Case Study in Electronic Commerce
- A Case Study in E-Auction System
Readership: Computer scientists, researchers, software engineers, programmers
and graduate students in software engineering, networking and automated systems.
| 212pp |
Pub. date: Apr 2006 |
|
|
|
Copyright © 2008 Imperial College Press. All rights reserved.
|
|
| 
