Approaches to fault-tolerant and transactlonal mobile agent execution - An algorithmic view

ACM Computing Surveys

Volumn 36, Issue 3, 2004, Pages 219-262

  Pleisch, Stefan ^a   Schiper, André ^a  

^a EPFL   (Switzerland)

Author keywords

ACID; Agreement problem; Asynchronous system; Byzantine failures; Commit; Crash failures; Fault tolerance; Malicious places; Mobile agents; Replication; Security; Transaction

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER OPERATING SYSTEMS; CRYPTOGRAPHY; FAULT TOLERANT COMPUTER SYSTEMS; USER INTERFACES;

AGREEMENT PROBLEM; ASYNCHRONOUS SYSTEM; BYZANTINE FAILURES; COMMIT; CRASH FAILURES; MALICIOUS PLACES; MOBILE AGENTS; REPLICATION; SECURITY; TRANSACTION;

MOBILE TELECOMMUNICATION SYSTEMS;

EID: 11344261340     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/1035570.1035571     Document Type: Article

References (91)

1. ALGESHEIMER, J., CACHIN, C., CAMENISCH, J., AND KARJOTH, G. 2001. Cryptographic security for mobile code. In Proc. of Symposium on Security and Privacy. Oakland, CA.
2. ALPERN, B. AND SCHNEIDER, F. 1985. Defining liveness. Information Processing Letters 21.
3. ASSIS SILVA, F. 1999. A transaction model based on mobile agents. Ph.D. dissertation, Informatik, Technische Universität Berlin.
4. ASSIS SILVA, F. AND KRAUSE, S. 1997. A distributed transaction model based on mobile agents. In Proc. of the 1st Int. Workshop on Mobile Agents (MA'97), K. Rothermel and R. Popescu-Zeletin, Eds. LNCS 1219. Springer-Verlag, 198-209.
5. ASSIS SILVA, F. AND POPESCU-ZELETIN, R. 1998. An approach for providing mobile agent fault tolerance. In Proc. of the 2nd Int. Workshop on Mobile Agents (MA'98), K. Rothermel and F. Hohl, Eds. LNCS 1477. Springer-Verlag, New York, 14-25.
6. ASSIS SILVA, F. AND POPESCU-ZELETIN, R. 2000. Mobile agent-based transactions in open environments. IEICE Trans. Commun. E83-B, 5 (May).
7. BERNSTEIN, P., HADZILACOS, V. AND GOODMAN, N. 1987. Concurrency Control and Recovery in Database Systems. Addison-Wesley, Reading, Mass.
8. BIESZCZAD, A., PAGUREK, B., AND WHITE, T. 1998. Mobile agents for network management. IEEE Commun. Surv.
9. CACHIN, C., CAMENISCH, J., KILLIAN, J., AND MÜLLER, J. 2000. One-round secure computation and secure autonomous mobile agents. In Proc. of the 27th Int. Colloquium on Automata, Languages and Programming (ICALP), U. Montanari, J. Rolim, and E. Welzl, Eds. LNCS 1853. Springer-Verlag, New York, 512 - 523.
10. CHANDRA, T. AND TOUEG, S. 1996. Unreliable failure detectors for reliable distributed systems. J ACM 43, 2 (Mar.), 225-267.
11. CHESS, D., GROSOF, B., HARRISON, C., LE VINE, D., PARRIS, C., AND TSUDIK, G. 1995. Itinerant agents for mobile computing. IEEE Pers. Commun. Syst. 2, 5 (Oct.), 34-49.
12. CHESS, D., HARRISON, C., AND KERSHENBAUM, A. 1998. Mobile agents: Are they a good idea? In Mobile Agents and Security, G. Vigna, Ed. LCNS 1419. Springer-Verlag, New York, 25-47.
13. CHRYSANTHIS, P. AND RAMAMRITHAM, K. 1994. Synthesis of extended transaction models using ACTA. ACM Trans. Datab. Syst. (TODS) 19, 3, 450-491.
14. CORRADI, A., MONTANARI, R., AND STEFANELLI, C. 1999. Mobile agents protection in the Internet environment. In Proc. of the 23rd Int. Computer Software and Applications Conference (COMP-SAC'99). 80-85.
15. DASGUPTA, P. 2000. Fault tolerance in MAgNET: A mobile agent e-commerce system. In Proc. of the 6th Int. Conference on Internet Computing (Las Vegas, NV). 733-739.
16. DÉFAGO, X., SCHIPER, A., AND SERGENT, N. 1998. Semi-passive replication. In Proc. of the 17th IEEE Symposium on Reliable Distributed Systems (SRDS'98) (West Lafayette, Ind.). 43-50.
17. ELNOZAHY, E. N. AND ZWAENEPOEL, W. 1992. Manetho: transparent roll back-recovery with low overhead, limited rollback, and fast output commit. IEEE Trans. Comput. 41, 5 (May), 526-531.
18. FARMER, W., GUTTMAN, J., AND SWARUP, V. 1996a. Security for mobile agents: Authentication and state appraisal. In Proc. of the 4th European Symposium on Research in Computer Security (Rome, Italy). 118-130.
19. FARMER, W., GUTTMAN, J., AND SWARUP, V. 1996b. Security for mobile agents: issues and requirements. In Proc. of the 19th National Information Systems Security Conference, S. Wakid and J. Davis, Eds. Vol. 2. (Baltimore, MD). 591-597.
20. FREIER, A., KARLTON, P., AND KOCHER, P. 1996. The SSL protocol - version 3.0 (internet draft). Tech. Rep.
21. FRITZINGER, J. AND MUELLER, M. 1996. Java Security. Sun Microsystems.
22. FÜNFROCKEN, S. 1999. Protecting mobile web-commerce agents with smartcards. In Proc. of 1st Int. Conference on Agent Systems and Applications/Mobile Agents (ASAMA'99) (Palm Springs, CA). 90-102.
23. GARCIA-MOLINA, H. AND SALEM, K. 1987. Sagas. In Proc. of ACM SIGMOD Int. Conference on Management of Data and Symposium on Principles of Database Systems (San Francisco, CA). 249-259.
24. GRAY, J. 1981. The transaction concept: virtues and limitations. In Proc. of Int. Conference on Very Large Databases (Cannes, France). 144-154.
25. GRAY, J. AND REUTER, A. 1993. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Mateo, CA.
26. GRAY, R. 1996. Agent TCL: A flexible and secure mobile-agent system. In Forth Annual Usenix Tcl/Tk Workshop.
27. GRAY, R., KOTZ, D., CYBENKO, G., AND RUS, D. 1998. D'agents: Security in a multiple-language, mobile agent system. See Vigna [1998b].
28. HADZILACOS, V. AND TOUEG, S. 1994. A modular approach to fault-tolerant broadcasts and related problems. Tech. Rep. TR94-1425, CS, University of Toronto; CS, Cornell University. May.
29. HÄRDER, T. AND REUTER, A. 1983. Principles of transaction oriented database recovery - a taxonomy. ACM Comput. Surv. 15, 4 (Dec.), 289-317.
30. HERRMANN, K. AND ZAPF, M. 2000. AMETAS: on security. http://www.ametas. de.
31. HOHL, F. 1997, An approach to solve the problem of malicious hosts in mobile agent systems. Tech. Rep., University of Stuttgart, Germany.
32. JAZAYERI, M. AND LUGMAYR, W. 2000. Gypsy: A component-based mobile agent system. In Proc. of the 8th Euromicro Workshop on Parallel and Distributed Processing (PDP2000) (Rhodos, Greece).
33. JOHANSEN, D., MARZULLO, K., SCHNEIDER, F. B., JACOBSEN, K., AND ZAGORODNOV, D. 1999. NAP: Practical fault-tolerance for itinerant computations. In Proc. of 19th IEEE Int. Conference on Distributed Computing Systems (ICDCS'99), M. G. Gouda, Ed. (Austin, Tex.). 180-189.
34. KARJOTH, G. 2000. Secure mobile agent-based merchant brokering in distributed market-places. In Proc. of 2nd Int. Symposium on Agent Systems and Applications and 4th INt. Symposium on Mobile Agents (ASAMA'00) (Zurich, Switzerland). LNCS1882. Springer-Verlag, New York, 44-56.
35. KARJOTH, G., ASOKAN, N., AND GÜLCÜ, C. 1998. Protecting the computation results of free-roaming agents. In Proc. of the 2nd Int. Workshop on Mobile Agents (MA'98) (Stuttgart, Germany), K. Rothermel and F. Hohl, Eds. LNCS 1477. Springer-Verlag, New York, 195-207.
36. KARJOTH, G., LANGE, D., AND OSHIMA, M. 1997. A security model for Aglets. IEEE Internet Comput., 68-77.
37. KARNIK, N. AND TRIPATHI, A. 1999. Security in the Ajanta mobile agent system. Tech. Rep. TR-5-99, University of Minnesota, Minneapolis, Minn. May.
38. KORTH, H., LEVY, E., AND SILBERSCHATZ, A. 1990. A formal approach to recovery by compensating transactions. In Proc. of 16th Int. Conference on Very Large Data Bases (Brisbane, Queensland, Australia). D. McLeod, R. Sacks-Davis, and H.-J. Schek, Eds. Morgan-Kaufmann, San Mateo, Calif., 95-106.
39. LANGE, D. AND OSHIMA, M. 1998. Programming and Deploying Java Mobile Agents with Aglets, Addison-Wesley, Reading, Mass.
40. LANGE, D. AND OSHIMA, M. 1999. Seven good reasons for mobile agents. Commun. ACM 42, 3 (Mar.), 88-89.
41. LEE, P. AND NECULA, G. 1997. Research on proof-carrying code for mobile-code security. In DARPA Workshop on Foundations for Secure Mobile Code.
42. LYU, M. AND WONG, T. 2003. A progressive fault tolerant mechanism in mobile agent systems. In Proc. of the 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI'03). Vol. IX. Orlando, Florida, 299-306.
43. MAES, P., GUTTMAN, R., AND MOUKAS, A. 1999. Agents that buy and sell. Communications of the ACM 42, 3 (Mar.), 81-91.
44. MATTERN, F. 1998. Mobile agenten. it+ti - Informationstechnik und Technische Informatik 4, 12-17. In German.
45. MINSKY, Y., VAN RENESSE, R., SCHNEIDER, F., AND STOLLER, S. 1996. Cryptographic support for fault-tolerant distributed computing. In Proc. of 7th European Workshop on ACM SIGOPS (Connemara, Ireland). ACM, New York, 109-114.
46. MISHRA, S. 2001. Agent fault tolerance using group communication. In Proc of Int. Conference on Parallel and Distributed Processing Techniques and Application (PDPTA) (Las Vegas, NV).
47. MISHRA, S. AND HUANG, Y. 2000. Fault tolerance in agent-based computing systems. In Proc. of 13th ISCA Int. Conference on Parallel and Distributed Computing Systems (Las Vegas, NV).
48. MOHINDRA, A., PURAKAYASTHA, A., AND THATI, P. 2000. Exploiting non-determinism for reliability of mobile agent systems. In Proc. of Int. Conference on Dependable Systems and Networks (DSN'00) (New York). 144-153.
49. Moss, J. 1985. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, Cambridge, MA.
50. MURPHY, A. AND PICCO, G. 1999. Reliable communication for highly mobile agents. In Proc. of 1st Int. Conference on Agent Systems and Applications /Mobile Agents (ASAMA'99) (Palm Springs, CA). IEEE Computer Society Press, Los Alamitos, Calif., 141-150.
51. NECULA, G. C. 1997. Proof-carrying code. In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Paris, France). ACM, New York, 106-119.
52. OBJECT MANAGEMENT GROUP (OMG) 2000. Mobile Agent System Interoperability Facilities Specification, OMG Document formal/00-02-01. Object Management Group (OMG). http://www. omg.org.
53. PALS, H., PETRI, S., AND GREWE, C. 2000. FANTOMAS - Fault tolerance for mobile agents in clusters. In Proc. of IPDPS 2000 Workshop, J. Rolim, Ed. LNCS 1800. Springer-Verlag, New York, 1236-1247.
54. PEARS, S., XU, J., AND BOLDYREFF, C. 2003. Mobile agent fault tolerance for information retrieval applications: An exception handling approach. In Proc. of the 6th Int. Symposium on Autonomous Decentralized Systems (ISADS'03) (Pisa, Italy). IEEE Computer Society Press, Los Alamitos, Calif.
55. PEINE, H. 1998. Security concepts and implementation in the ARA mobile agent system. In Proc. of the 7th IEEE Int. Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE '98). 236-242.
56. PFLEEGER, C. AND COOPER, D. 1997. Security and privacy: Promising advances. IEEE Softw.
57. PLEISCH, S. 2002. Fault-tolerant and transactional mobile agent execution. Ph.D. dissertation. École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland. Number 2654.
58. PLEISCH, S. AND SCHIPER, A. 2000. Modeling fault-tolerant mobile agent execution as a sequence of agreement problems. In Proc. of 19th IEEE Symposium on Reliable Distributed Systems (SRDS'00) (Nuremberg, Germany). 11-20.
59. PLEISCH, S. AND SCHIPER, A. 2001a. FATOMAS: A fault-tolerant mobile agent system based on the agent-dependent approach. In Proc. of Int. Conference on Dependable Systems and Networks (DSN'01) (Goteborg, Sweden). 215-224.
60. PLEISCH, S. AND SCHIPER, A. 2001b. TranSuMA: Non-blocking transaction support for mobile agent execution. Tech. Rep. rz 3386, IBM Research.
61. FLEISCH, S. AND SCHIPER, A. 2002. Non-blocking transactional mobile agent execution. In Proc. of 22nd IEEE Int. Conference on Distributed Computing Systems (ICDCS'02) (Vienna, Austria). 443-444.
62. FLEISCH, S. AND SCHIPER, A. 2003a. Execution atomicity for non-blocking transactional mobile agents. In Proc. of Int. Conference on Parallel and Distributed Computing and Systems (PDCS'03) (Marina del Rey, CA).
63. FLEISCH, S. AND SCHIPER, A. 2003b. Fault-tolerant mobile agent execution. IEEE Trans. Comput. 52, 2 (Feb.), 209-222.
64. RAKOTONIRAINY, A. 1994. Exploiting transaction and object semantics to increase concurrency. In Proceedings of IFIP, C. Girault, Ed. Elsevier Science B.V., 155-164.
65. RIVEST, R., SHAMIR, A., AMD ADLEMAN, L. 1978. A method for obtaining digital signatures and public-key crypto-systems. Commun. ACM 21, 2.
66. ROTH, V. 2001a. On the robustness of some cryptographic protocols for mobile agent protection. In Proc. of 5th Conference on Mobile Agents (MA'01) (Atlanta, GA). LNCS 2240. Springer-Verlag, New York, 1-14.
67. ROTH, V. 2001b. Programming satan's agents. In Proc. of the 1st Int. Workshop on Secure Mobile Multi-Agent Systems (Montreal, Ont., Canada).
68. ROTHERMEL, K. AND STRASSER, M. 1998. A fault-tolerant protocol for providing the exactly-once property of mobile agents. In Proc. of the 17th IEEE Symposium on Reliable Distributed Systems (SRDS'98) (West Lafayette, Indi.). 100-108.
69. RUBIN, A. AND GREER, D. E. 1998. Mobile code security. IEEE Internet Comput.
70. SABEL, L. AND MARZULLO, K. 1994. Simulating fail-stop in asynchronous distributed systems. In Proc. of the 13th IEEE Symposium on Reliable Distributed Systems (SRDS'94). Dana Point, CA, 138-147.
71. SANDER, T. AND TSCHUDIN, C. 1998. Protecting mobile agents against malicious hosts. In Mobile Agents and Security. LNCS 1419. Springer-Verlag, New York, 44-60.
72. SANDER, T., YOUNG, A., AND YUNG, M. 1999. Non-interactive cryptocomputing for NC. In Proc. of the 40th Symposium on Foundations of Computer Science (FOCS). IEEE Computer Society Press, Los Alamitos, Calif.
73. SCHNEIDER, F. 1997. Towards fault-tolerant and secure agentry. In Proc. of the 11th Int. Workshop on Distributed Algorithms, Saarbrücken, Germany. Invited paper.
74. SHAMIR, A. 1979. How to share a secret. Commun. ACM 22, 11 (Nov.), 612-613.
75. SHER, R., ARIDOR, Y., AND ETZION, O. 2001. Mobile transactional agents. In Proc. of 21st IEEE Int. Conference on Distributed Computing Systems (ICDCS'01) (Phoenix, AZ). 73-80.
76. SILVA, L., BATISTA, V., AND SILVA, J. 2000. Fault-tolerant execution of mobile agents. In Proc. of Int. Conference on Dependable Systems and Networks (DSN'00) (New York). 135-143.
77. STRASSER, M. AND ROTHERMEL, K. 1998. Reliability concepts for mobile agents. Int. J. Coop. Inf. Syst. 7, 4, 356-382.
78. STRASSER, M. AND ROTHERMEL, K. 2000. System mechanisms for partial rollback of mobile agent execution. In Proc. of 20th IEEE Int. Conference on Distributed Computing Systems (ICDCS'00) (Taipei, Taiwan). 20-28.
79. TAKASHIO, K., SOEDA, G., AND TOKUDA, H. 2001. A mobile agent framework for follow-me applications in ubiquitous computing environment. In Proc of Int. Workshop on Smart Appliances and Wearable Computing (IWSAWC'01). 202-207.
80. THEILMANN, W. AND ROTHERMEL, K. 2000. Optimizing the dissemination of mobile agents for distributed information filtering. IEEE Concurr. 53-61.
81. VIGNA, G. 1998a. Cryptographic Traces for Mobile Agents, 137-153. In LNCS 1419 Vigna [1998b].
82. VIGNA, G. 1998b. Mobile Agents and Security. LNCS 1419. Springer-Verlag, Berlin, Germany.
83. VOGLER, H., KUNKELMANN, T., AND MOSCHGATH, M.-L. 1997a. An approach for mobile agent security and fault tolerance using distributed transactions. In Proc. of Int. Conference on Parallel and Distributed Systems (ICPADS'97) (Seoul, Korea). IEEE Computer Society Press, Los Alamitos, Calif.
84. VOGLER, H., KUNKELMANN, T., AND MOSCHGATH, M.-L. 1997b. Distributed transaction processing as a reliability concept for mobile agents. In Proc. 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'97) (Tunis, Tunisia). IEEE Computer Society Press, Los Alamitos, Calif.
85. WALSH, T., PACIOREK, N., AND WONG, D. 1998. Security and reliability in concordia. In Proc. of the 31st Hawaii Int. Conference on System Sciences (HICSS'98). Vol. 7, 44-53.
86. WEIKUM, G. AND SCHEK, H.-J. 1992. Concepts and applications of multilevel transactions and open nested transactions. In Database Transaction Models for Advanced Applications, A. Elmagarmid, Ed. Morgan-Kaufmann, San Mateo, CA, 515-553.
87. WEIKUM, G. AND VOSSENS, G. 2002. Transaction Information Systems: Theory, Algorithms, and the Practice. Morgan-Kaufmann, San Mateo, CA.
88. WHITE, J. 1995. Telescript technology: An introduction to the language. Tech. Rep., General Magic Inc.
89. WHITE, J. 1996. Mobile agents white paper. Tech. Rep., General Magic Inc.
90. WILHELM, U., STAAMANN, S., AND BUTTYÀN, L. 1999. Introducing trusted third parties to the mobile agent paradigm. In Secure Internet Programming: Security Issues for Mobile and Distributed Objects. LNCS 1603. Springer-Verlag, New York, 471-491.
91. YEE, B. 1999. A sanctuary for mobile agents. In Secure Internet Programming: Security Issues for Mobile and Distributed Objects. LNCS 1603. Springer Verlag, New York, 261-273.