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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Desai, N., Garg, K., Misra, M.: Secure Communication Using Mobile Agents. In: ICACC 2007. The proceedings ofthe International Conference on Advanced Computing and Communication (February 2007)
Xu, D., Deng, Y.: Modeling Mobile Agent Systems with High Level Petri Nets. IEEE International Conference on Systems, Man, and Cybernetics 5, 3177–3182 (2000)
Kristensen, L.M., Jensen, K.: Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) ISSU. LNCS, vol. 3147, pp. 248–269. Springer, Heidelberg (2004)
Kohler, M., Moldt, D., Rolke, H.: Modeling Mobility and Mobile Agents using Nets within Nets. LNCS, pp. 121–139. Springer, Heidelberg (2003)
CPN Tool website: www.daimi.au.dk/CPNtools
Michel, B., Wendy, M., Peter, E.A., Paul, J., Mads, J., Michael, L., Kasper, L., Kjeld, M., Stephanie, M., Anne, R., Katrine, R., Soren, C., Kurt, J.: CPN/ Tools: APost- WIMP Interface for Editing and Simulating Coloured Petri Nets. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 71–80. Springer, Heidelberg (2001)
Christensen, S., Jorgensen, J.B., Kristensen, L.M.: Design/CPN- A Computer Tool for Coloured Petri Nets. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 209–223. Springer, Heidelberg (1997)
Mobile IP RFC (2002), www.ietf.org/rfc/rfc,txt
Ma, L., Tsai, J.J.P.: Security modeling and analysis of mobile agent systems. Imperial College Press, London
Hassler, V.: Security fundamentals for e-commerce. Artech House Publishers, ISBN-10: 1580531083
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Monographs in Theoretical Computer Science, vol. 1,2 and 3, Springer, Heidelberg. ISBN: 3-540-60943-1, 3-540-58276-2, 3-540-62867-3.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Desai, N., Garg, K., Misra, M., Bharadwaj, V. (2007). Modeling Hierarchical Mobile Agent Security Protocol Using CP Nets. In: Aluru, S., Parashar, M., Badrinath, R., Prasanna, V.K. (eds) High Performance Computing – HiPC 2007. HiPC 2007. Lecture Notes in Computer Science, vol 4873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77220-0_57
Download citation
DOI: https://doi.org/10.1007/978-3-540-77220-0_57
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77219-4
Online ISBN: 978-3-540-77220-0
eBook Packages: Computer ScienceComputer Science (R0)