Security Modeling and Analysis of Mobile Agent Systems - Series in Electrical and Computer Engineering
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By PUBLISHED BY IMPERIAL COLLEGE PRESS AND DISTRIBUTED BY WORLD SCIENTIFIC PUBLISHING CO.

9781860946349, 9781860949050

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formal Framework of a Generic Secure Mobile Agent System Based on EEOS

Security Modeling and Analysis of Mobile Agent Systems - Series in Electrical and Computer Engineering ◽

10.1142/9781860949050_0006 ◽

2006 ◽

pp. 80-145

Keyword(s):

Mobile Agent ◽

Agent System ◽

Formal Framework

Download Full-text

BACK MATTER

Security Modeling and Analysis of Mobile Agent Systems - Series in Electrical and Computer Engineering ◽

10.1142/9781860949050_bmatter ◽

2006 ◽

pp. 183-200

Download Full-text

Conclusion

Security Modeling and Analysis of Mobile Agent Systems - Series in Electrical and Computer Engineering ◽

10.1142/9781860949050_0011 ◽

2006 ◽

pp. 181-181

Download Full-text

Simulation and Analysis of the Extended Elementary Object System Model of a Secure Mobile Agent System

Security Modeling and Analysis of Mobile Agent Systems - Series in Electrical and Computer Engineering ◽

10.1142/9781860949050_0008 ◽

2006 ◽

pp. 155-165

Keyword(s):

Mobile Agent ◽

System Model ◽

Agent System ◽

Download Full-text

Translating the EEOS Model to Colored Petri Net Model

Security Modeling and Analysis of Mobile Agent Systems - Series in Electrical and Computer Engineering ◽

10.1142/9781860949050_0007 ◽

2006 ◽

pp. 146-154

Keyword(s):

Petri Net ◽

Colored Petri Net

Download Full-text

A Case Study in Electronic Commerce

Security Modeling and Analysis of Mobile Agent Systems - Series in Electrical and Computer Engineering ◽

10.1142/9781860949050_0009 ◽

2006 ◽

pp. 166-173

Keyword(s):

Electronic Commerce

Download Full-text

A New Formal Model — Extended Elementary Object System (EEOS)

Security Modeling and Analysis of Mobile Agent Systems - Series in Electrical and Computer Engineering ◽

10.1142/9781860949050_0005 ◽

2006 ◽

pp. 63-79

Keyword(s):

Formal Model ◽

Download Full-text

Introduction

Security Modeling and Analysis of Mobile Agent Systems - Series in Electrical and Computer Engineering ◽

10.1142/9781860949050_0001 ◽

2006 ◽

pp. 1-4

Download Full-text

FRONT MATTER

Security Modeling and Analysis of Mobile Agent Systems - Series in Electrical and Computer Engineering ◽

10.1142/9781860949050_fmatter ◽

2006 ◽

pp. i-xii

Download Full-text

A Case Study in E-auction System

Security Modeling and Analysis of Mobile Agent Systems - Series in Electrical and Computer Engineering ◽

10.1142/9781860949050_0010 ◽

2006 ◽

pp. 174-180

Download Full-text