Security Modeling and Analysis of Mobile Agent Systems

Security Modeling And Analysis Of Mobile Agent Systems

Volumn , Issue , 2006, Pages 1-201

  Ma, Lu ^a   Tsai, Jeffrey J P ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84978145929     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1142/p435     Document Type: Book

References (187)

1. Anderson, D., Lunt, Javitz, T. F., Tamaru, H. A. and Valdes, A., “Detecting Unusual Program Behavior Ising the Statistical Component of the Next-Generation Intrusion Detection Expert System (NIDES)”, SRI International Computer Science Laboratory Technical Report SRICSL-95-07, May 1995.
2. “FAQ about Jumping Beans”, Jumping Beans Inc., February 2004, http://www.JumpingBeans.com/.
3. Accorsi, R., Basin, D., and Vigano, L., “Modal Specifications of Trace- Based Security Properties”, Proceedings of the Second International Workshop on Security of Mobile Multiagent Systems, Bologna, Italy, July 2002.
4. Asperti, A., and Busi, N., “Mobile Petri Nets”, Technical Report UBLCS96-10, University of Bologna, May 1996.
5. Badouel, E., and Oliver, J., “Reconfigurable Nets, A Class of high Level Petri Nets Supporting Dynamic Changes within Workflow Systems”, INR1A Research Report, PI-1163, 1998.
6. Baek, J., “A Design of A Protocol For Detecting A Mobile Agent Clone And Its Correctness Proof Using Coloured Petri Nets”, Technical Report TR-DIC-CSL-1998-002, K-JIST, 1998.
7. Baldassari, M, Bruno, G., “PROTOB: An Object Oriented Methodology for Developing Discrete Event Dynamic Systems”, Computer Languages, vol. 16, no. 1, pp 39-63, 1991.
8. Bastide, R., “Approaches in Unifying Petri Nets and the Object Oriented Approach”, Proceedings of 16th International Conference on Application and Theory of Petri nets, 1st Workshop on Object-Oriented Programming and Models of Concurrency, June 1995.
9. Bastide, R., and Palanque, P., “Cooperative Objects: A Concurrent Petri net based Object-Oriented Language”, Proceedings of IEEE Conf. System Man and Cybernetics, October 1993.
10. Bates, J., “The State of the Art in Distributed and Dependable Computing”, Technical Report ESPRIT Cabernet Sponsored Report, University of Cambridge, UK, October 1998.
11. Baumann, J., “Mobile Agents: Control Algorithms”, Lecture Notes in Computer Science, Vol. 1658, 2000.
12. Baumann, J., Hohl, F., Roghermel, L., and Straβer, M., “Mole-Concepts of a Mobile Agent System”, World Wide Web Journal, special issue on Distributed World Wide Web Processing: Applications and Techniques of Web Agents, 1998. 1.1.1.
13. Biberstein, O., Buchs, D., and Guelfi, N., “A Specification Language for Distributed Systems Engineering”, Technical Report 96/167, Swiss Federal Institute of Technology, Lausanne, 1996.
14. Bishop, M., “Computer Security-Art and Science”, Addison-Wesley, ISBN 0-201-44099-7, 2002.
15. V. Bontchev, “Possible Virus Attacks against Integrity Programs and How to Prevent Them”, http://vx.netlux.org/lib/static/vdatyepposatt.htm.
16. Brewington, R., Gray, R., and Moizumi, K., “Mobile Agents in Distributed Information Retrieval”, Intelligent Information Agents, edited by Mathias Klusch, Springer Verlag, Chapter 15, pp 355-395, 1999.
17. Bryce, C, “A Security Framework for A Mobile Agent System”, Proceedings of the 2nd International Workshop on Security in Mobile Multiagent Systems (SEMAS 2002), Bologna, Italy, July 2002.
18. Burkhard, H. D., “Software-Architectures for Agents and Mobile Robots”, Proceedings of the Second International Workshop on Modelling of Objects, Components, and Agents (MOCA ‘02), Aarhus, Denmark, August 26-27, pp 1-18 2002.
19. Cardelli, L., “Abstractions for Mobile Computation”, Secure Internet Programming, Security Issues for Mobile and Distributed Objects, Lecture Notes in Computer Science 1603, Springer, pp 51-94, 1999.
20. Cardelli, L., and Gordon, A. D., “Mobile Ambients”, Proceedings of First International Conference of Foundations of Software Science and Computation Structure, FOSSACS ‘98.
21. Cardelli, L., and Gordon, A.D., “Types for the Ambient Calculus”, Proceedings of 26th Annual ACM Symposium on Principles of Programming Languages, pp 79-92, 1999.
22. Cao, J., Feng, X., Lu, J., and Das, S. K., “Design of Adaptive and Reliable Mobile Agent Communication Protocols”, Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS’02), Vienna, Austria, pp 471-476, July 2-5, 2002.
23. CERT Coordination Center Denial of Service, http://www.cert.org/tech_tips/denial_of_service.html.
24. Ceska, M., and Janousek V, “A Formal Model for Object Oriented Petri Nets Modeling”, Advances in Systems Science and Applications, An Official Journal of the International Institute for General Systems Studies, Special Issue, 1997.
25. Chan, A.H. W., Wong, L.M, Wong, T.Y., and Lyu, M.R., “Securing Mobile Agents for Electronic Commerce: An Experiment”, Proceedings of Fifteenth Annual Working Conference on Information Security, Beijing, China, pp 471-480, August 22-24, 2000.
26. Chess, D., Harrison, C, and Kershenbaum, A., “Mobile Agents: Are They a Good Idea?”, IBM Research report, J. Watson Research Center, March 1995.
27. Chess, D., Grosof, B., and Harrison, C, “Itinerant Agents for Mobile Computing”, IEEE Personal Communications, pp 34-49, October 1995.
28. Chess, D., “Security Issues in Mobile Code Systems”, Mobile Agents and Security, Giovanni Vigna (Ed.), Springer-Verlag, pp 1-14, 1998.
29. Christensen, S., “Modelling with Coloured Petri Nets”, Proceedings of the Second International Workshop on Modelling of Objects, Components, and Agents (MOCA’02), Aarhus, Denmark, August 26-27, 2002.
30. Cost, R. S., Chen, Y., Finin, T., Labrou, Y., and Peng Y., “Modeling Agent Conversations with Colored Petri Nets”, Working Notes of the Workshop on Specifying and Implementing Conversation Policies, Autonomous Agents ‘99, Seattle, Washington, May 1999.
31. Cremonini, M., Omicini, A., andZambonelli, F., “Modeling Network Topology and Mobile Agent Interaction: An Integrated Framework”, Proceedings of the 1999 ACM symposium on Applied computing (SAC’99), pp 410-412, 1999.
32. Dillenseger B., “MobiliTools: A Toolbox for Agent Mobility and Interoperability Based on PMG Standards”, Proceedings of 2nd International Symposium on Agent Systems and Applications, 4th International Symposium on Mobile Agents, Zurich, September, 2000.
33. Elliot, M., Billington, J., and Kristensen L. M., “Using Design/CPN to Design a Visualization Extension for Design/CPN”, Proceedings of the Fourth International Workshop on Practical Use of Colored Petri Nets and the CPN Tools, Aarhus, Denmark, pp 21-38, August 28-30, 2002.
34. Esser, R., “An Object Oriented Petri net Language for Embedded System Design”, Proceedings of the 8th International Workshop on Software Technology and Engineering Practice incorporating Computer Aided Software Engineering, pp 216-223, London 1997.
35. Farmer, W. M., Guttmann, J D., and Swarup V., “Security for Mobile Agents: Authentication and State Appraisal”, Proceedings of the Fourth European Symposium on Research in Computer Security, pp 118-130, 1996.
36. Farmer, W. M., Guttmann, J D., and Swarup V., “Security for Mobile Agents: Issues and Requirements”, Proceedings of the 19th National Information Systems Security Conference, vol. 2, pp 591-597, 1996.
37. Feigenbaum, J., and Lee, P., “Trust Management and Proof-Carrying Code in Secure Mobile-Code Applications”, DARPA Workshop on Foundations for Secure Mobile Code in Monterey, March 26-28, 1997.
38. Fernandes, J. M., and Belo, O., “Modeling Multi-Agent Systems Activities Through Colored Petri Nets”, Proceedings of 16th IASTED International Conference on Applied Informatics, Germany, Fevereiro 1998.
39. Fernandez, E. B., “An Overview of Internet Security”, Proceedings of the World’s Internet & Electronic Cities Conference (WIECC 2001), Kish Island, Iran, May 1-3, 2001.
40. Ferreira, L., Zuquete, A., Ferreira, P., “SEFS: Security Module for Extensible File System Architectures”, Proceedings of European Conference on Information Security Solutions (ISSE), Barcelona, September 2000.
41. Firewall Software White Paper, http://www.firewallsoftware.com/firewall_faws/types_of_firewall.html
42. Forman, G. H., “The Challenges of Mobile Computing”, IEEE Computer, pp 38-47, 1994.
43. Fournet, C, and Gonthier, G., “A Calculus of Mobile Agents”, Proceedings of the 7th International Conference on Concurrency Theory (CONCUR ‘96), LNCS 1119, pp 406-421, 1996.
44. Fuggetta, A., Picco, G. P., and Vigna, G., “Understanding Code Mobility”, IEEE Transactions on Software Engineering, Vol. 24, No. 5, pp 342-361, May 1998.
45. Giovanni, D., “HOOD Nets”, Advances in Petri Nets, LNCS 524, Springer, Berlin, pp 140-160, 1991.
46. Gong, L., “Survivable Mobile code is Hard to Build”, Proceedings of DARPA Workshop on Foundations for Secure Mobile Code Workshop, pp 26-28, March 1997.
47. Gordon, A. D., “Nominal Calculi for Security and Mobility”, Proceedings of DARPA Workshop on Foundations for Secure Mobile Code, pp 10-14, 1997.
48. Gordon, A.D., “Notes on Nominal Calculi for Security and Mobility”, Foundations of Security Analysis and Design, LNCS 2171, pp 262-330, 2002.
49. Gray, R., “Mobile Agents for Mobile Computing”, Technical Report PCS-TR96-285, Dartmouth College, Computer Science, Hanover, NH, May 1996.
50. Gray, R. S., “Agent Tel: A Flexible and Secure Mobile Agent System”, Proceedings of Fourth Annual Usenix Tcl/Tk Workshop, pp 9-23, 1996.
51. Gray, R. S., Kotz, D., Cybenko, G. and Rus, D., “D’Agents: Security in a Multiple-Language, Mobile-Agent System”, Mobile Agents and Security, pp 154-187, 1998.
52. Gray, R., Kotz, D., Cybenko, G., Rus, D., “Mobile Agents: Motivations and State-of-the-art Systems”, Technical Report TR2000-365, Dept. of Computer Science, Dartmouth College.
53. Gray, R., “Mobile Agents for Mobile Computing”, Technical Report PCS-TR96-285, Department of Computer Science, Dartmouth College.
54. Guelfi, N., Biberstein, O., and Buchs, D, Canver, E., Gaudel, M. C, Henke, and F., Schwier, D., “Comparison of Object Oriented Formal Methods”, Technical Report of the Esprit Long Term Research Project 20072 “Design For Validation”, University of Newcastle Upon Tyne, Department of Computing Science, 1997.
55. Hagimont, D., and Ismail, L., “A Protection Scheme for Mobile Agents on Java”, Proceedings of MobiCom: 3rd ACM/IEEE International Conference on Mobile Computing and Networking, pp 215-222, 1997.
56. Hiraishi, K., “A Petri-Net-Based Model for the Mathematical Analysis of Multi-Agent Systems”, IEICE Transactions on Fundamentals, vol. E84 A, no.l 1, pp 2829-1837, November 2001.
57. Hohl, F., “An Approach to Solve the Problem of Malicious Hosts in Mobile Agent Systems”, Proceedings of 4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations, 1998.
58. Hohl, F., “A Model of Attacks of Malicious Hosts Against Mobile Agents”, Proceedings of the ECOOP Workshop on Distributed Object Security and 4th Workshop on Mobile Object Systems: Secure Internet Mobile Computations, pp 105-120, INRIA, France, 1998.
59. Hohl, F., “Time Limited Blackbox Security: Protecting Mobile Agents from Malicious Hosts”, Mobile Agents and Security, Lecture Notes in Computer Science, vol. 1419, pp 92-113, 1998.
60. Holvoet, T., “Agents and Petri Nets”, Petri Net Newsletter, no. 49, pp 3-8, October 1995.
61. Hutter, D., and Fischer, L., “Discussion: Towards a Methodology for the Design of Secure Mobile Multiagent Systems”, Proceedings of First International Workshop on Security of Mobile Multiagent Systems, May 2001.
62. Ismail, L., and Hagimont, D., “A Performance Evaluation of the Mobile Agent Paradigm”, ACM SIGPLAN Notices, 34(10), pp 306-313, October 1999.
63. Jansen, W. A., “Countermeasures for Mobile Agent Security”, Computer Communications, Special Issue on Advanced Security Techniques for Network Protection, Elsevier Science BV, November 2000.
64. Jansen, W. A., Karygiannis, T., “Mobile Agents and Security”, National Institute of Standards and Technology, Special Publication 800-19, August 1999.
65. Jansen, W. A., “A Privilege Management Scheme for Mobile Agent Systems”, Autonomous Agents conference, Montreal, Canada, May 2001.
66. Jensen, K., “Coloured Petri Nets: A High Level Language for System Design and Analysis”, Advances in Petri Nets, Lecture Notes in Computer Science 4831, 990.
67. Johansen, D., Renessen, R., and Schneider, F., “An Introduction to the TACOMA Distributed System”, Technical Report 95-23, Department of Computer Science, University of Tromsø, June 1995.
68. Johansen, D., Schneider, F. and Renessen, R., “What TACOMA taught us”, Mobility, Mobile Agents and Process Migration-An Edited Collection, Addison Wesley, 1998.
69. Kappel, G., and Schrefl, M., “Using An Object-Oriented Diagram Technique for the Design of Information Systems”, Dynamic Modelling of Information Systems, Amsterdam, New York, 1991.
70. Karjoth, G., Lange, D. B., and Oshima, M., “A Security Model for Aglets”, Mobile Agents and Security, Giovanni Vigna (Ed.), Springer-Verlag, pp 188-205, 1998.
71. Karnik, N., Tripathi, A., “Agent Server Architecture for the Ajanta Mobile-Agent System”, Proceedings of the 1998 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA ‘98), pp 66-73, July 1998.
72. Keller, R. K., Shen, X., and Bochmann, G., “A Simple, yet Expressive and Flexible Formalism for Business Modelling”, Proceedings of the Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms, pp 51-55, Zaragoza, Spain, June 1994.
73. Kim, S. H., and Robertazzi, T. G, “Mobile Agent Modeling”, Technical Report No. 786, University at Stony Brook, College of Engineering and Applied Science, Nov. 30, 2000.
74. Knabe, F., “An Overview of Mobile Agent Programming”, Proceedings of the Fifth LOMAPS workshop on Analysis and Verification of Multiple-Agent Languages, no. 1192 in LNCS. Springer-Verlag, 1996.
75. Knorr, K., and Rohrig, S., “Security of Electronic Business Applications: Structure and Quantification”, Proceedings of First International Conference on Electronic Commerce and Web Technologies, pp 25-37, 2000.
76. Ko, C, Ruschitzka, M., and Levitt, K., “Execution Monitoring of Security-Critical Programs in Distributed System: A Specification-Based Approach”, Proceedings of the 1997 IEEE Symposium on Security and Privacy, pp 175-187, May 1997.
77. Kohler, M., Moldt, D., and Rolke, H., “Modelling the Structure and Behavior of Petri Net Agents”, Proceedings of 22nd International Conference on Application and Theory of Petri Nets (ICATPN 2001), pp 224-241,2001.
78. Köhler, M., and Rölke, H., “Modelling Mobility and Mobile Agents Using Nets Within Nets”, Proceedings of the Second International Workshop on Modelling of Objects, Components, and Agents (MOCA’02), pp 141-157, Aarhus, Denmark, August 26-27, 2002.
79. Kotzanikolaou, P., Burmester, M., and Chrissikopoulos, V., “Secure Transactions with Mobile Agents in Hostile Environments”, ACISP 2000, LNCS 1841, pp 289-297, 2000.
80. Kraus, S., Wilkenfeld, J., and ZIotkin, G., “Multiagent Negotiation Under Time Constraints”, Artificial Intelligence Journal 75(2), pp 297-345, 1995.
81. Kuhn, T. A. and Oheimb, D., “Interacting State Machines for Mobility Formal Methods”, Proceedings of the International Symposium of Formal Methods, Lecture Notes in Computer Science, vol. 2805, pp 698-718, September 8-14, 2003.
82. Kumar, S., and Spafford, E., “A Pattern Matching Model for Misuse Intrusion Detection”, Proceedings of the 17th National Computer Security Conference, pp 11-21, October 1994.
83. Lakos, C, “From Coloured Petri Nets to Object Petri Nets”, Proceeding of the 16th International Conference on Application and Theory of Petri Nets, pp 278-297, Turin, June 1995.
84. Lakos, C, “The Object Orientation of Object Petri Nets”, Proceedings of the First International Workshop on “Object Oriented Programming and Models of Concurrency” within the 16th International Conference on Application and Theory of Petri Nets, pp 1-14, June 1995.
85. Lakos, C, “Object Oriented Modelling with Object Petri Nets”, Concurrent Object-Oriented Programming and Petri Nets, G. Agha, F.D. Cindio, and G. Rozenberg (eds.), Lecture Notes in Computer Science 2001, Springer-Verlag 2001.
86. Lee, P., Necula, G., “Research on Proof-Carrying Code for Mobile- Code Security”, Proceedings of DARPA Workshop on Foundations for Secure Mobile Code, March 1997.
87. Li, X., Xu, X. and Rosano, F. L., “Modeling manufacturing systems using object-oriented colored Petri nets”, International Journal of Intelligent Control Systems, vol. 3, no. 3, pp 359-375, 1999.
88. Liberman, B., Griffel, F., Merz, M., and Lamersdorf, W., “Javabased Mobile Agents-How to Migrate, Persist, and Interact on Electronic Service Markets”, Proceedings of Mobile Agents 97 Workshop, Berlin, Springer LNCS #1219 1997.
89. Liew, C. C, Ng, W.-K., Lim, E. P., Tan, B. S., and Ong, K. L., “Non- Repudiation in An Agent-Based Electronic Commerce System”, Proceedings of the International Workshop on Electronic Commerce and Security, Florence, Italy, August 30-September 3, 1999.
90. Ling, S., and Schmidt, H. W., “A Notion of Safeness in Time for Petri Nets”, Proceedings of International Software Engineering Conference (IASTED-SE 97), San Francisco, pp 344-350, 1997.
91. Lingnau, A., and Drobnic, O., “An Infrastructure for Mobile Agents: Requirements and Architecture”, Proceedings of 13th DIS Workshop, Orlando, Florida, September 1995.
92. Loureiro S., Molva, R., and Pannetrat A., “Secure Data Collection with Updates”, Electronic Commerce Research, vol. 1, no. 1-2, pp 119-131, 2001.
93. Lwe, M., Wikarski, D., and Han, Y., “Higher-Order Object Nets and their Application to Workflow Modeling”, Research Report 95-34, FB Informatik, Technical University Berlin, 1995.
94. Ma, L., and Tsai, J. J.P., “Formal Verification Techniques for Communication Security Protocols”, Handbook of Software Engineering and Knowledge Engineering, 2001.
95. Ma, L., Tsai, J. J.P., and Murata, T., “Modeling a Secure Mobile Agent System with Petri nets Scheme”, Proceedings of 12th Information Security Conference, pp 399-406, Taiwan, May 16-17, 2002.
96. Ma, L., Tsai, J. J.P., Deng, Y., and Murata, T., “Extended Elementary Object System Model for Mobile Agent Security”, Proceedings of 2003 World Congress on Integrated Design and Process Technology, pp 169-178, Dec 3-6, 2003.
97. Ma, L., and Tsai, J.J.P., “A Secure Mobile Agent System Model Based on Extended Elementary Object Net”, Proceedings of 25th IEEE Int’l Computer Software and Applications Conference, pp 218-223, Sept. 2004.
98. Ma, L., and Tsai, J. J.P., “Attacks and Countermeasures in Software System Security”, Handbook of Software Engineering and Knowledge Engineering, Vol. 3, 2005.
99. Marsan, M. A., Balbo, G., and Conte, G., “A Class of Generalized Stochastic Petri Nets for the Performance Evaluztion of Multiprocessor Systems”, ACM transactions on Computer Science, vol. 2, no. 2, pp 93-122, May 1984.
100. Meadows, C, “Detecting Attacks on Mobile Agents”, Proceedings of 1997 Foundations for Secure Mobile Code Workshop, pp 64-65, Monterey, CA, March 1997.
101. Meseguer, J., and Talcott, C, “Rewriting Logic and Secure Mobility”, Proceedings of DARPA Workshop on Foundations for Secure Mobile Code Workshop, pp 26-28, March 1997
102. Mitrovic, N., and Arribalzaga, U. A., “Mobile Agent Security Using Proxy-Agents and Trusted Domains”, Proceedings of Second International Workshop on Security of Mobile Multiagent Systems, 2002.
103. Moore, J. T., “Mobile code Security Techniques”, Technical Report MIS-CIS-98-28, Department of Computer and Information Science, University of Pennsylvania, May 1998.
104. Mudumbai, S., Essiari, A., and Johnston, W., “Anchor Toolkit (A Secure Mobile Agent System)”, Proceedings of Mobile Agents ‘99 Conference, October 1999.
105. Muhugusa, M., “Implementing Distributed Services with Mobile Code: The Case of the Messenger Environment”, Proceedings of the IASTED International Conference on Parallel and Distributed Systems (Euro- PDS’98), Austria, July 1998.
106. Murata, T., “Petri Nets: Properties, Analysis, and Applications”, Proceedings of the IEEE, pp 541-580, April 1989.
107. Necula, G. C, and Lee, P., “Safe Kernel Extensions without Run-Time Checking”, Proceedings of Second Symposium on Operating Systems Design and Implementation (OSDI ‘96), Seattle, Washington, October 28-31, 1996.
108. Necula, G. C, “Proof-Carrying Code”, Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’97), Paris, Fance, January 15-17, 1997.
109. Necula, G. C, and Lee, P., “Safe, Untrusted Agents Using Proof- Carrying Code”, Mobile Agents and Security, pp 61-91, Springer-Verlag (1998).
110. Neuendorf, K.-P., and Hannebauer, M., “Formal Modeling of Multi- Agent Interaction in Distributed Scheduling”, Proceedings of the 16th IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation (IMACS-2000). Lausanne, Switzerland, 2000.
111. Newman, A., Shatz, S. M., and Xie, X., “An Approach to Object System Modeling by State-Based Object Petri Nets”, International Journal of Circuits, Systems, and Computers, vol. 8, no. 1, pp 1-20, Feb. 1998.
112. Nguyen, A, Stewart, I. and Yang, X., “A Mobile Agent Model: Applications for E-Commerce”, Proceedings of Seventh Australian World Wide Web Conference, pp 21-25, April 2001.
113. Noordende, G., Trazier, F. M.T., and Tanenbaum, A. S., “A Security Framework for a Mobile Agent System”, Proceedings of 6th European Symposium on Research in Computer Security (ESORICS 2000), pp 273-290, 2000.
114. Object Petri Net Research at the University of Adelaide, http://www.cs.adelaide.edu.au/charles/OPN.html.
115. “ObjectSpace Voyager Core Package Technical Overview”, ObjectSpace, Inc., December 1997.
116. Omicini, A., and Zambonelli, F., “TuCSoN: A Coordination Model for Mobile Information Agents”, Proceedings of 1st Workshop on Innovative Internet Information Systems ‘98 (HIS ‘98), June 1998.
117. Ordille, J. J., “When Agents Roam, Who Can You Trust?” Proceedings of 1st Annual Conf. Emerging Technologies and Applications in Communications, 1996.
118. Orso, A., Vigna, G. and Harrold, M. J., “MASSA: Mobile Agents Security through Static/Dynamic Analysis”, Proceedings of the ICSE Workshop on Software Engineering and Mobility, May 2001.
119. Ousterbout, J. K., Levy, J. Y., and Welch, B. B., “The Safe-Tel Security Model”, Technical Report TR-97-60, Sun Microsystem Laboratories, 1997.
120. Park, S., Kim, J. and Lee, S., “Agent-Oriented Software Modeling with UML Approach”, IEICE Transactions on Information & System, vol. E83-D, no. 8, pp 1631-1641, August 2000.
121. Patra, M. R., amd Moore, R., “A Formal Model of an Agent-Mediated Electronic Market”, Proceedings of The DIISM 2000 conference, November 15-17 2000.
122. Peine, H., and Stolpmann, T., “The Architecture for the Ara Platform for Mobile Agents”, Proceedings of the First International Workshop on Mobile Agents (MA’97), vol. 1219 of Lecture Notes in Computer Science pp 50-61, 1997.
123. Picco, G. P., Roman, G. C, and McCann, P. J., “Reasoning About Code Mobility in Mobile UNITY”, ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 10, no. 3, pp 338-395, July 2001.
124. Puliafito, A. and Tomarchio, O., “Security Mechanisms for the MAP Agent System”, Proceedings of the 8th Euromicro Workshop on Parallel and Distributed Processing, pp 84-91, January 19-21, 2000.
125. Roman, G. C, and Payton, J., “Mobile UNITY Schemas for Agent Coordination”, Proceedings of the 10th International Workshop on Abstract State Machines, LNCS 2589, Springer, pp 126-150, March 2003.
126. Roth, V., “Secure Recording of Itineraries through Co-operating Agents”, Proceedings of ECOOP’98 Workshops, Lecture Notes in Computer Science 1543, pp 297-298, July 20-24, 1998.
127. Roth, V., “On the Robustness of Some Cryptographic Protocols for Mobile Agent Protection”, Proceedings of the 5th International Conference MA 2001, LNCS 2240, pp 1-14, Atlanta, GA, December 2-4, 2001.
128. Rothermel, K., Hohl, F., and Radouniklis, N., “Mobile Agent Systems: What is Missing?”, Proceedings of International Working Conference on Distributed Applications and Interoperable Systems (DAIS’97), pp 111-124, Cottbus, Germany, September 30, 1997.
129. Saldhana, J. A., and Shatz, S. M., “UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis”, Proceedings of the Int. Conference on Software Engineering and Knowledge Engineering (SEKE), pp 103-110, Chicago, July 2000.
130. Sander, T., and Tschudin, C. F., “On the Cryptographic Protection of Mobile Code”, Proceedings of Workshop on Mobile Agents and Security, October 1997.
131. Sander, T., and Tschudin, C. F., “Towards Mobile Cryptography”, Proceedings of IEEE Symposium on Security and Privacy, pp 215-224, May 1998.
132. Sander, T., and Tschudin, C. F., “Protecting Mobile Agents Against Malicious Hosts”, Mobile Agents and Security, Lecture Notes in Computer Science 1419, pp 44-60, 1998.
133. Sander, T., and Tschudin, C. F., “On Software Protection via Function Hiding”, Proceedings of the 2nd Workshop on Information Hiding, LNCS vol. 1525, pp 111-123, April 1998.
134. Sandhu, R. S., Samarati, P., “Authentication, Access Control, and Intrusion Detection”, The Computer Science and Engineering Handbook, CRC Press, Boca Raton, FL, 1997.
135. Satoh, I., “Hierarchically Structured Mobile Agents and Their Migration”, Proceedings of Workshop on Mobile Object Systems (MOS’99), 1999.
136. Schneck, P. A., and Schwan, K., “Dynamic Allocation of Security Resources to Client-Server Applications”, Proceedings of IEEE Workshop on Dependable and Real-Time E-Commerce Systems, May 1998.
137. Serugendo, G. D. M., Muhugusa, M., and Tschudin, C. F., “A Survey of Theories for Mobile Agents”, World Wide Web Journal, special issue on Distributed World Wide Web Processing: Applications and Techniques of Web Agents, vol.1, no.3, pp 139-153, 1998.
138. Shehory, O., Sycara, K., Chalasani, P., and Jha, S., “Agent Cloning: An Approach to Agent Mobility and Resource Allocation”, IEEE Communications, vol. 36, no. 7, pp 58-67, July 1998.
139. StraBer, M., Baumann, J., and Hohl, F., “Mole-A Java Based Mobile Agent System”, Proceedings of the ECOOP’96 workshop on Mobile Object Systems, July 1996.
140. Stanski, P., and Zaslavsky, A., “Expressing Dynamics of Mobile Agent Systems Using Ambient Calculus”, Proceedings. Of IEEE Computer Society, pp 434-439, 1998.
141. Stone, P., and Veloso, M., “Multiagent Systems: A Survey from a Machine Learning Perspective”, Autonomous Tobotics, vol. 8, no. 3, July 2000.
142. Stoneburner, G., “Underlying Technical Models for Information Technology Security”, NIST (National Institute of Standards and Technology), Special Publication 800-33, December 2001.
143. Stoneburner, G., Hayden, C, and Feringa, A., “Engineering Principles for Information Technology Security-A Baseline for Achieving Security”, NIST Special Publication 800-27, June 2001.
144. Swamp, V., “Trust Appraisal and Secure Routing of Mobile Agents”, DARPA Workshop on Foundations of Secure Mobile Code, March 1997.
145. Taka, T., Mizuno, T., and Watanabe, T., “A Model of Mobile Agent Services Enhanced for Resource Restrictions and Security”, Proceedings of 1998 International Conference on Parallel and Distributed Systems (ICPADS ‘98).
146. Tan, H. K., and Moreau, L., “Extending Execution Tracing for Mobile Code Security”, Proceedings of Second International Workshop on Security of Mobile MultiAgent Systems (SEMAS’2002), pp 51-59, 2002.
147. Tan, H. K., and Moreau, L., “Trust Relationships in a Mobile Agent System”, Mobile Agents, LNCS, vol. 2240, pp 15-30, 2001.
148. Tan, J. J., Titkov, L., and Neophytou, C, “Securing Multi-Agent Platform Communication”, Working Notes Second Int’l Workshop on Security of Mobile Multiagent Systems, pp 66-72, 2002.
149. Tardo, J., Valente, L., “Mobile Agent Security and Telescript”, Proceedings of IEEE COMPCON ‘96, pp 58-63, February 1996.
150. Thiagarajan, P. S., “Elementary Net Systems”, Petri Nets: Central Models and Their Properties, Lecture Notes in Computer Science, no. 254, pp 26-59, 1987.
151. Thirunavukkarasu, C, Finin, T., and Mayfield, J., “Secret Agents-a Security Architecture for the KQML Agent Communication Language”, Proceedings of 4th International Conference on Information and Knowledge Management-Workshop on Intelligent Information Agents, Baltimore, Maryland, USA, Dec 1995.
152. Thorn, T., “Programming Languages for Mobile Code”, ACM Computing Surveys, vol. 29, no. 3, pp 213-239, September 1997.
153. Tsai, J. J.P., and Ma, L., “Security Modeling and Analysis of Intelligent Mobile Systems”, Journal of Ubiquitous Computing and Intelligence, 2006.
154. Tschudin, C, “Mobile Agent Security”, Intelligent Information Agents-Agent Base Information Discovery and Management on the Internet, pp 431-445, 1999.
155. Tveit, A., “A Survey of Agent-Oriented Software Engineering”, NTNU Computer Science Graduate Student Conference, Norwegian University of Science and Technology, Trondheim, Norway, 2001.
156. Tygar, J. D., “Atomicity in Electronic Commerce”, Proceedings of the ACM Symposium on Principles of Distributed Computing, May 1996.
157. Uhrmacher, A. M., Tyschler, P., and Tyschler, D., “Modeling Mobile Agents”, Proceedings of International Conference on Web-based Modeling & Simulation, 1998.
158. Uhrmacher, A. M., Tyschler, P., and Tyschler, D., “Modeling and Simulation of Mobile Agents”, Future Generation Computer Systems, vol. 17, no. 2, pp 107-118, October 2000.
159. Uppuluri, P., and Sekar, R., Experiences with Specification-based Intrusion Detection, Proceedings of Recent Advances in Intrusion Detection (RAID), October 2001.
160. Valk, R., “Petri Nets as Token Objects-An Introduction to Elementary Object Nets”, Proceedings of 19th International Conference on Application and Theory of Petri Nets (ICATPN’98), Lecture Notes in Computer Science, vol. 1420, pp 1-25, 1998.
161. Valk, R., “Concurrency in Communicating Object Petri Nets”, Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets, pp 164-195, 2001.
162. Valk, R., “Relating Different Semantics for Object Petri Nets- Formal Proofs and Examples”, Technical Report FBI-HH-B-226, pp 1-50, University of Hamburg, Department for Computer Science, April 2000.
163. Valk, R., “On Processes of Object Petri Nets”, Technical Report FBIHH- B-185/96, pp 1-45, University of Hamburg, Computer Science Department, 1996.
164. Vander Aalst, W. M. P., “Pi Calculus versus Petri Nets: Let us Eat Humble Pie Rather Than Further Inflate the Pi Hype”, http://tmitwww.tm.tue.nl/staff/wvdaalst/pi-hvpe.pdf.
165. Verkoulen, P. A.C., “A Framework for Information Systems Design based on Object-Oriented Concepts and Petri Nets”, Proceedings of CAiSE Workshop on Formal Methods, June 1994
166. Vigna, G., “Protecting Mobile Agents Through Tracing”, Proceedings of3rdECOOP Workshop on Mobile Object Systems, 1997.
167. Vigna, G., “Cryptographic Traces for Mobile Agents”, Mobile Agents and Security, Lecture Notes in Computer Science, vol. 1419, pp 137-153, 1998.
168. Vitek, J., and Castagna, G., “Towards a Calculus of Secure Mobile Computations”, Proceedings of Workshop on Internet Programming Languages, Chicago, Illinois, 1998.
169. Vitek, J., and Castagna, G., “Seal: A Framework for Secure Mobile Computations”, Internet Programming Languages, LNCS, vol. 1686, 1999.
170. Volpano D., and Geoffrey, S., “Language Issues in Mobile Program Security”, Proceedings of Mobile Agents and Security, pp 25-43, 1998.
171. Walsh, T., Paciorek, N., and Wong, D., “Security and Reliability in Concordia”, Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, vol. 7, pp 44-53, January 1998.
172. Wang, X., Hallstrom, J., and Baumgartner, G., “Reliability through Strong Mobility”, Proceedings of ECOOP workshop on Mobile Object Systems, June 2001.
173. Wermelinger, M., and Fiadeiro, J., “Connectors for Mobile Programs”, IEEE Transactions on Software Engineering vol. 24, no. 1, pp 331-341, January 1998.
174. White, J. E., “Telescript Technology: The Foundation for the Electronic Marketplace”, General Magic White Paper, General Magic, Inc., 1994.
175. White, J. E., “Mobile Agents White Paper”, General Magic, http://www.genmagic.com/technology/techwhitepaper.html. 1998.
176. Win, B. D., Bergh, J. V., Matthijs, F., Decker, B. D., and Joosen, W., “A Security Architecture for Electronic Commerce Applications”, Information Security for Global Information Infrastructures, pp 491-500, Kluwer Academic Publishers, 2000.
177. Wong, D., Pacoprek, N., Walsh, T., DiCelie, J., Young, M., and Peet, B., “Concordia: An Infrastructure for Collaborating Mobile Agents”, Proceedings of the First International Workshop on Mobile Agents (MA ‘97), vol. 1219 or Lecture Notes in Computer Science, pp 86-97, 1997.
178. Xie, R., “Study on Modeling Mobile Objects in Distributed Computing Environment”, Proceedings of the 23rd Asian Conference on Remote Sensing, 2002.
179. Xu, D., and Deng, Y., “Modeling Mobile Agent Systems with High Level Petri Nets”, Proceedings of IEEE International Conference on Systems, Man, and Cybernetics, October 2000.
180. Xu, D, Yin, J., Deng, Y. and Ding, J., “A Formal Architectural Model for Logical Agent Mobility”, IEEE Transactions on Software Engineering, vol. 29, no. 1, pp 31-45, January 2003.
181. Xu, H. and Shatz, S. M., “A Framework for Model-Based Design of Agent-Oriented Software”, IEEE Transactions on Software Engineering, vol. 29, no. 1, pp 15-30, January 2003.
182. Yoo, M.-J., Merlat, W. and Briot, J.-P., “Modeling and Validation of Mobile Agents on the Web”, Proceedings of the International Conference on the Web-based Modeling & Simulation, vol. 30, no. 1, pp 23-28, January 1998.
183. Zapf, M., Muller, H., and Geihs, K., “Security Requirements for Mobile Agents in Electronic Markets”, Trends in Distributed Systems for Electronic Commerce (TrEC ‘98), Hamburg, Germany, June 1998.
184. Zhang, Y., “An Authentication and Security Protocol for Mobile Computing”, Proceedings of IFIP World Conference on Mobile Communications, pp 249-257, 1996.
185. Zhou, Y., Murata, T., and DeFanti, T. A., “Modeling and Performance Analysis Using Extended Fuzzy-Timing Petri Nets for Networked Virtual Environments”, IEEE Transactions on Systems, Man, and Cybernetics-PartB: Cybernetics, vol. 30, no. 5, October 2000.
186. Zuberek, W. M., “Performance Study of Distributed Generation of State Spaces Using Colored Petri Nets”, Proceedings of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, pp 81-98, August 28-30, 2002.
187. NetCASE-a Petri Net based Method for Database Application Design and Generation, Research Report 11-95, University of Koblenz.