Modeling hierarchical mobile agent security protocol using CP nets

Authors:
Nimesh Desai;Kumkum Garg;Manoj Misra;Veeravalli Bharadwaj
Affiliations:
E&CE Dept, IIT Roorkee, India;E&CE Dept, IIT Roorkee, India;E&CE Dept, IIT Roorkee, India;Computer Networks and Distributed Systems Lab, Dept of Electrical and Computer Engineering, National University of Singapore, Singapore
Venue:
HiPC'07 Proceedings of the 14th international conference on High performance computing
Year:
2007

Citing 4
Cited 0

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Design/CPN - A Computer Tool for Coloured Petri Nets

TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Security Modeling And Analysis of Mobile Agent Systems (Electrical and Computer Engineering)

Security Modeling And Analysis of Mobile Agent Systems (Electrical and Computer Engineering)
Modelling mobility and mobile agents using nets within nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

Mobile agents are very useful in low bandwidth ad hoc network environments. But various attacks are possible against both agent and agent platforms. In this paper we have modeled hierarchical scheme for protecting mobile agent environment which is applicable to both wired and wireless networks. Colored Petri Net is used as a modeling tool which effectively models platform behavior and agent mobility through the movement of tokens and timed firing of transitions. We have considered centralized security scheme for our model where Trusted-Third-Party plays a central role in the communication.