Introduction | p. 1 |
Mobile agent system | p. 5 |
Attacks and countermeasures of software system security | p. 10 |
Security issues in a mobile agent system | p. 17 |
A new formal model - extended elementary object system (EEOS) | p. 63 |
A formal framework of a generic secure mobile agent system based on EEOS | p. 80 |
Translating the EEOS model to colored Petri net model | p. 146 |
Simulation and analysis of the extended elementary object system model of a secure mobile agent system | p. 155 |
A case study in electronic commerce | p. 166 |
A case study in e-auction system | p. 174 |
Conclusion | p. 181 |
Table of Contents provided by Blackwell. All Rights Reserved. |
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.