Defend mobile agent against malicious hosts in migration itineraries

Microprocessors and Microsystems

Volumn 28, Issue 10, 2004, Pages 531-546

  Jiang, Y C ^a   Xia, Z Y ^b   Zhong, Y P ^a   Zhang, S Y ^a  

^a FUDAN UNIVERSITY   (China)

^b NANJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS   (China)

Author keywords

calculus; Agent fault tolerance; Agent integrity verification; Problem of malicious hosts; Spi cakulus

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; CRYPTOGRAPHY; DATA REDUCTION; FAULT TOLERANT COMPUTER SYSTEMS; MOBILE TELECOMMUNICATION SYSTEMS; PROBLEM SOLVING;

Π-CALCULUS; AGENT FAULT-TOLERANCE; AGENT INTEGRITY VERIFICATION; PROBLEM OF MALICIOUS HOSTS; SPI-CALCULUS;

COMPUTER SOFTWARE;

EID: 7544248213     PISSN: 01419331     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.micpro.2004.08.008     Document Type: Article

References (25)

1. D.M. Chess, Security issues in mobile code systems in: G. Vigan (Ed.), Mobile Agents and Security, LNCS1419, Springer, Berlin, 1998, pp. 1-14.
2. F. Hohl, Time limited biackbox security: protecting: mobile agents from malicious hosts in: G. Vigna (Ed.), Mobile Agents and Security, Springer, Berlin, 1998, pp. 92-113.
3. F. Hohl, A protocol to defect malicious hosts attacks by using reference states 2000, available at http://elib.uni-stuttgart.de/opus/volltexte/2000/583/.
4. G. Vigna, Cryptographic traces for mobile agents Mobile Agents and Security, in: G. Vigna (Ed.), Mobile Agents and Security, Springer, Berlin, 1998, pp. 137-153.
5. W.M. Farmer, J.D. Guttma, V. Swamp, Security for mobile agents: authentication and state appraisal, Proceedings of the Fourth European Symposium on Research in Computer Security, Rome, Italy, Sept. 1996, pp. 118-130.
6. G. Karjoth, N. Asokan, C. Gulcu, Protecting the computation results of free-roaming agents Proceedings of the Second International Workshop on Mobile Agents (MA'98), LNCS 1477, Springer, Berlin, 1998, pp. 195-207.
7. E.C. Vijil, S. Iyer, Identifying collusions: co-operating malicious hosts in mobile agent itineraries, In Proceedings of the 2nd International Workshop on Security in Mobile Multi-Agent Systems (SEMAS-2002), Bologna, Italy, 2002.
8. J.S.L. Cheng, V.K. Wei, Defense against the truncation of computation results of free-roaming agents, LNCS2513, Springler, Berlin, 2002, pp. 1-12.
9. V. Roth On the robustness of some cryptographic protocols for mobile agent protection, LNCS 2240, Springer, Berlin, 2001, pp. 1-14.
10. M.J. Grimley, B.D. Monroe, Protecting the integrity of agents: an exploration into letting agents loose in an unpredictable world, ACM Crossroads 1999, available at: http://www.acm.org/crossroads/xrds54/integrity.html.
11. F.B. Schneider, Towards fault-tolerant and secure agentry, Invited paper, Proceedings of 11th Intemational Workshop on Distributed Algorithms, Sarbucken, Germany, 1997.
12. Y. Minsky, R. van Renesse, F.B. Schneider, Cryptographic support for fault-tolerant distributed computing, Proceeding of the Seventh ACM SIGOPS European Workshop, Ireland, 1996, pp. 109-114.
13. B. Hardefcopf, K. Kwiat, S. Upadhyaya, Secure and fault-tolerant voting in distributed systems 2001, available at http://www.cs.buffalo.edu/(shambhu/resume/aero01.pdf.
14. S. Pears, J. Xu, C. Boldyreff, Mobile agent fault tolerance for information retrieval applications: an exception handling approach, Proceeding of The Sixth International Symposium on Autonomous Decentralized Systems (BADS'03), April 2003.
15. S. Pleisch, A. Schiper, Fault-tolerant mobile agent execution, IEEE Transactions on Computers 52 (2) (2003) 209-222.
16. B.S. Yee, A sanctuary for mobile agents, ire DARPA Workshop on Foundations for Secure Mobile Code 1997 available at http://www. cs.uced.edu/~bsy/pub/sanctuary.ps.
17. P. Maggi, R. Sisto, Experiments on formal verefication of mobile agent data integrity properties 2002, available at www.labic.disco.unimib.it/woa2002/papers/15.pdf.
18. J. Parrow, An introduction to the π-calculus in: J.A. Bergstia, B.A. Ponse, S.A. Smalka (Eds.), Handbook of Process Algebra, Elsevier, New York, 2001, pp. 479-543.
19. R.Milneir J. Parrow, D.Walker, A calculus of mobile processes, I and II, Information and Computation 100 (1) (1992) 1-77.
20. P. Sewell, Applied π-a. Brief Tutorial, Computer Laboratory, University of Cambridge, July 28 2000, available at www.cl.cam. ac.uk/users/pes20/apppi.pdf.
21. R. Milner, The polyadic π-calculas: a tutorial in: F.I. Bauer, W. Braueer, H. Schwichtenberg (Eds.), Logic and Algebra for Specification, Springer, Berlin, 1993, pp. 203-246.
22. M. Abadi, A.D. Gordan, A calculus for cryptographic protocols-the spi calculus 2000, available at: ftp://ftp.cl.cam.ac.uk/papers/adg/spi.ps-gz.
23. Aglets Software Development Kit v2 (Open Source), 2002, available at: http://www.trl.ibm.com/aglets/.
24. MAS Simulator 1.4.1, 2002. available at http://dis.cs.unrass.edu/download.html.
25. Y. Jiang, Z. Xia Y. Thong, S. Thang, The construction and analysis of an agent fault-tolerance model based on π-Calculus, Proceedings of the 2004 International Conference on Computational Science, LNCS 3038, Springer, Berlin, 2004, pp. 591-598.