{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T09:40:25Z","timestamp":1739353225911,"version":"3.37.0"},"publisher-location":"London","reference-count":34,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781848825987"},{"type":"electronic","value":"9781848825994"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-1-84882-599-4_17","type":"book-chapter","created":{"date-parts":[[2009,9,22]],"date-time":"2009-09-22T17:28:27Z","timestamp":1253640507000},"page":"383-404","source":"Crossref","is-referenced-by-count":0,"title":["Agents Based e-Commerce and Securing Exchanged Information"],"prefix":"10.1007","author":[{"given":"Raja","family":"Al-Jaljouli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jemal","family":"Abawajy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,8,11]]},"reference":[{"issue":"1","key":"17_CR1_17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M Abadi","year":"1999","unstructured":"Abadi M, Gordon A D (1999) A calculus for cryptographic protocols: The Spi-Calculus. Information and Computation 148(1): 1\u201370.","journal-title":"Information and Computation"},{"key":"17_CR2_17","volume-title":"Proceedings of the International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet (SSGRR 2001)","author":"B Aziz","year":"2001","unstructured":"Aziz B, Gray D, Hamilton G, Oehil F, Power J, Sinclair D (2001) Implementing protocol verification for E-commerce. In: Proceedings of the 2001 International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet (SSGRR 2001), L\u2019Aquila, Italy."},{"key":"17_CR3_17","doi-asserted-by":"crossref","unstructured":"Boreale, M (2001) Symbolic trace analysis of cryptographic protocols. In: Proceedings of ICALP\u201901, Lecture Notes in Computer Science, vol. 2076, Springer, Berlin.","DOI":"10.1007\/3-540-48224-5_55"},{"key":"17_CR4_17","doi-asserted-by":"crossref","unstructured":"Boreale M, Buscemi M (2002) Experimenting with STA, a tool for automatic analysis of security protocols. ACM Symposium on Applied Computing 2002, ACM Press.","DOI":"10.1145\/508791.508847"},{"key":"17_CR5_17","doi-asserted-by":"crossref","unstructured":"Boreale M, Gorla D (2002) Process calculi and the verification of security protocols. In: Journal of Telecommunications and Information Technology \u2013 Special Issue on Cryptographic Protocol Verification JTIT, Warsaw, Poland.","DOI":"10.26636\/jtit.2002.4.147"},{"key":"17_CR6_17","unstructured":"Bradshaw J M (1997) An Introduction to software agents. In: Software Agents, J.M. Bradshaw (ed), Chap. 1, pp. 3\u201346, AAAI Press."},{"key":"17_CR7_17","doi-asserted-by":"crossref","unstructured":"Corradi A, Montanari R, Stefanelli C (1999) Mobile agents protection in the Internet environment. In: The 23rd Annual International Computer Software and Applications Conference (COMPSAC\u201999), pp. 80\u201385.","DOI":"10.1109\/CMPSAC.1999.812680"},{"key":"17_CR8_17","doi-asserted-by":"crossref","unstructured":"Durante L, Sisto R, Valenzano A (2000) A state-exploration technique for spi-calculus testing equivalence verification. In: Proceedings of the IFIP International Joint Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), Kluwer Academic Publishers, Dordrecht, pp. 155\u2013170.","DOI":"10.1007\/978-0-387-35533-7_10"},{"key":"17_CR9_17","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/CSFW.2001.930144","volume-title":"Proceedings of the 14th IEEE ComputerSecurity Foundations Workshop (CSFW 2001)","author":"M Fiore","year":"2001","unstructured":"Fiore M, Abadi M (2001) Computing Symbolic models for verifying cryptographic protocols. In: Proceedings of the 14th IEEE ComputerSecurity Foundations Workshop (CSFW 2001), IEEE Computer Society Press, Washington, DC, pp. 160\u2013173."},{"key":"17_CR10_17","unstructured":"Fischer L (2003) Protecting integrity and secrecy of mobile agents on trusted and non-trusted agent places. Diploma Dissertation, University of Bremen, Germany. http:\/\/www.hackercontest.de\/pages\/dipl\/docs\/finished\/fischer{\\_}diplom.pdf . Accessed 5 Mar 2007."},{"key":"17_CR11_17","unstructured":"Formal Systems (Europe) Ltd (2000) Failures divergence refinement. FDR2 User Manual. http:\/\/www.fsel.com\/documentation\/fdr2\/fdr2manual.pdf . Accessed 20 Mar 2007."},{"key":"17_CR12_17","doi-asserted-by":"crossref","unstructured":"Fournet C, Gonthier G, L\u00e9vy J J, Maranget L, R\u00e9my D (1996) A calculus for mobile agents. In: Proceedings of the 7th International Conference on concurrency Theory (CONCUR\u201996), Lecture Notes in Computer Science, vol. 1119, pp. 406\u2013421, Springer.","DOI":"10.1007\/3-540-61604-7_67"},{"key":"17_CR13_17","doi-asserted-by":"crossref","unstructured":"Hannotin X, Maggi P, Sisto R (2001) Formal specification and verification of mobile agent data integrity properties: A case study, LNCS 2240: pp. 42\u201353, Springer.","DOI":"10.1007\/3-540-45647-3_4"},{"key":"17_CR14_17","unstructured":"Jaljouli R (2005) Boosting m-Business using a truly secured protocol for information gathering mobile agents. In: Proceedings of the 4th International Conference on Mobile Business, IEEE Computer Society Press."},{"key":"17_CR15_17","unstructured":"Jaljouli R (2005) Formal methods in the enhancement of the data security protocols of mobile agents. Technical Report TR 520, University of New South Wales, School of Computer Science and Engineering, http:\/\/cgi.cse.unsw.edu.au\/ \u223c reports. Asccessed 15 Mar 2007."},{"key":"17_CR16_17","volume-title":"A Proposed security protocol for data gathering mobile agents","author":"R Jaljouli","year":"2006","unstructured":"Jaljouli R (2006) A Proposed security protocol for data gathering mobile agents. Thesis Dissertation, University of New South Wales, School of Computer Science and Engineering, Australia."},{"key":"17_CR17_17","unstructured":"Kanik N, Tripathi A (1999) Security in the Ajanta mobile agent system. Technical Report TR-5-99, University of Minnesota, Minneapolis."},{"key":"17_CR18_17","doi-asserted-by":"crossref","unstructured":"Karjoth G, Asokan N, G\u00fclc\u00fc C (1998) Protecting the computation results of free-roaming agents. In: K. Rothermel and F. Hohl (ed), Proceedings of the 2nd International Workshop on Mobile Agents, Lecture Notes in Computer Science, vol. 1477: pp. 195\u2013207, Springer.","DOI":"10.1007\/BFb0057659"},{"key":"17_CR19_17","doi-asserted-by":"crossref","unstructured":"Lowe G (1997) Casper: A compiler for the analysis of security protocols. In: Proceedings of the 10th Computer Security Foundation Workshop (PCSFW), IEEE Computer Society Press.","DOI":"10.1109\/CSFW.1997.596779"},{"key":"17_CR20_17","unstructured":"Ma L, Tsai JJP (2000) Formal verification techniques for computer communication security protocols. In: Handbook of Software Engineering and Knowledge Engineering, vol. 1. ftp:\/\/cs.pitt.edu\/chang\/handbook\/12.pdf . Accessed 10 Apr 2007."},{"key":"17_CR21_17","unstructured":"Maggi P, Sisto R (2001) Experiments on formal verification of mobile agent data integrity properties. http:\/\/citeseer.ist.psu.edu\/hannotin01formal.html . Accessed 16 Mar 2007."},{"key":"17_CR22_17","doi-asserted-by":"crossref","unstructured":"Maggi P, Sisto R (2003) A configurable mobile agent data protection protocol. In: Proceedings of AAMAS\u201903, ACM Press, New York, pp. 851\u2013858.","DOI":"10.1145\/860575.860712"},{"key":"17_CR23_17","unstructured":"Meadows C (1994) Formal verification of cryptographic protocols: A survey. In: Advances in Cryptography \u2013 ASIACRYPT\u201994, pp. 135\u2013150."},{"key":"17_CR24_17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner R, Parrow J, Walker D (1992) A calculus for mobile processes (part I and II). In: Information and Computation, 100:1\u201377.","journal-title":"Information and Computation"},{"key":"17_CR25_17","doi-asserted-by":"crossref","unstructured":"Mitchell J C, Mitchell M, Stern U (1997) Automated analysis of cryptographic protocols using Mur\u03c6. In: Proceedings of Symposiums on Security and Privacy, IEEE Computer Society Press, pp. 141\u2013153.","DOI":"10.1109\/SECPRI.1997.601329"},{"key":"17_CR26_17","unstructured":"Sangiori D (1992) Expressing mobility in process algebra: first order and higher order paradigms, Ph.D. Thesis, University of Edinburgh."},{"key":"17_CR27_17","unstructured":"STA Documentation. http:\/\/www.dsi.unifi.it\/~boreale\/documentation.html . Accessed 15 Mar 2007."},{"key":"17_CR28_17","unstructured":"STA: a tool for trace analysis of cryptographic protocols (2001). ML object code and examples. http:\/\/www.dsi.unifi.it\/~boreale\/tool.html . Accessed 5 Apr 2007."},{"key":"17_CR29_17","first-page":"44","volume-title":"IEEE Symposium on Security and Privacy","author":"PF Syverson","year":"1997","unstructured":"Syverson P F, Goldschlag M, Reed M G (1997) Anonymous connections and onion routing. In: IEEE Symposium on Security and Privacy, pp. 44\u201354, Oakland, California."},{"key":"17_CR30_17","doi-asserted-by":"crossref","unstructured":"Vitek J, Gastagna G (1999) Seal: A framework for secure mobile computations. In: Internet Programming Language ICCL\u201998 Workshop, Lecture Notes in Computer Science, vol. 1686: pp. 47\u201377, Springer.","DOI":"10.1007\/3-540-47959-7_3"},{"key":"17_CR31_17","doi-asserted-by":"crossref","unstructured":"Vigna G (1998) Cryptographic traces for mobile agents. In: Mobile Agent Security, G. Vigna, (ed), Lecture Notes in Computer Science, vol. 1419: pp. 137\u2013153, Springer.","DOI":"10.1007\/3-540-68671-1_8"},{"issue":"3","key":"17_CR32_17","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0164-1212(01)00093-0","volume":"60","author":"T Wang","year":"2002","unstructured":"Wang T, Guan S, Chan T (2002) Integrity protection for code-on-demand mobile agents in e-commerce. In: Systems and Software, 60(3): 211\u2013221.","journal-title":"Systems and Software"},{"key":"17_CR33_17","doi-asserted-by":"crossref","unstructured":"Yao M, Foo E, Peng K, Dawson E (2003) An improved forward integrity protocol for mobile agents. In: Proceedings of the 4th International Workshop on Information Security Applications (WISA 2003) Lecture Notes in Computer Science, vol. 2908: pp. 272\u2013285, Springer.","DOI":"10.1007\/978-3-540-24591-9_21"},{"issue":"2","key":"17_CR34_17","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"Y Yao","year":"1983","unstructured":"Yao Y, Dolev D (1983) On the security of public key protocols. In: IEEE Transactions on Information Theory, 29(2): 198\u2013208.","journal-title":"IEEE Transactions on Information Theory"}],"container-title":["Computer Communications and Networks","Pervasive Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84882-599-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T08:55:23Z","timestamp":1739350523000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84882-599-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9781848825987","9781848825994"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-1-84882-599-4_17","relation":{},"ISSN":["1617-7975"],"issn-type":[{"type":"print","value":"1617-7975"}],"subject":[],"published":{"date-parts":[[2009]]}}}