{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T01:54:55Z","timestamp":1725501295708},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540772194"},{"type":"electronic","value":"9783540772200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77220-0_57","type":"book-chapter","created":{"date-parts":[[2008,1,21]],"date-time":"2008-01-21T20:07:56Z","timestamp":1200946076000},"page":"637-649","source":"Crossref","is-referenced-by-count":1,"title":["Modeling Hierarchical Mobile Agent Security Protocol Using CP Nets"],"prefix":"10.1007","author":[{"given":"Nimesh","family":"Desai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kumkum","family":"Garg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manoj","family":"Misra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Veeravalli","family":"Bharadwaj","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"57_CR1","unstructured":"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)"},{"key":"57_CR2","doi-asserted-by":"crossref","first-page":"3177","DOI":"10.1109\/ICSMC.2000.886486","volume":"5","author":"D. Xu","year":"2000","unstructured":"Xu, D., Deng, Y.: Modeling Mobile Agent Systems with High Level Petri Nets. IEEE International Conference on Systems, Man, and Cybernetics\u00a05, 3177\u20133182 (2000)","journal-title":"IEEE International Conference on Systems, Man, and Cybernetics"},{"key":"57_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/978-3-540-27863-4_15","volume-title":"ISSU","author":"L.M. Kristensen","year":"2004","unstructured":"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\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) ISSU. LNCS, vol.\u00a03147, pp. 248\u2013269. Springer, Heidelberg (2004)"},{"key":"57_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/3-540-44919-1_11","volume-title":"Modeling Mobility and Mobile Agents using Nets within Nets","author":"M. Kohler","year":"2003","unstructured":"Kohler, M., Moldt, D., Rolke, H.: Modeling Mobility and Mobile Agents using Nets within Nets. LNCS, pp. 121\u2013139. Springer, Heidelberg (2003)"},{"key":"57_CR5","unstructured":"CPN Tool website: \n                    \n                      www.daimi.au.dk\/CPNtools"},{"key":"57_CR6","series-title":"Lecture Notes in Computer Science","first-page":"71","volume-title":"Applications and Theory of Petri Nets 2001","author":"B. Michel","year":"2001","unstructured":"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.\u00a02075, pp. 71\u201380. Springer, Heidelberg (2001)"},{"key":"57_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BFb0035390","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Christensen","year":"1997","unstructured":"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.\u00a01217, pp. 209\u2013223. Springer, Heidelberg (1997)"},{"key":"57_CR8","unstructured":"Mobile IP RFC (2002), \n                    \n                      www.ietf.org\/rfc\/rfc,txt"},{"key":"57_CR9","unstructured":"Ma, L., Tsai, J.J.P.: Security modeling and analysis of mobile agent systems. Imperial College Press, London"},{"key":"57_CR10","unstructured":"Hassler, V.: Security fundamentals for e-commerce. Artech House Publishers, ISBN-10: 1580531083"},{"key":"57_CR11","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Monographs in Theoretical Computer Science, vol.\u00a01,2 and 3, Springer, Heidelberg. ISBN: 3-540-60943-1, 3-540-58276-2, 3-540-62867-3."}],"container-title":["Lecture Notes in Computer Science","High Performance Computing \u2013 HiPC 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77220-0_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:04:24Z","timestamp":1619521464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77220-0_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540772194","9783540772200"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77220-0_57","relation":{},"subject":[]}}