A formal framework for agent itinerary specification, security reasoning and logic analysis

Proceedings - International Conference on Distributed Computing Systems

Volumn , Issue , 2005, Pages

  Lu, Shiyong ^a   Xu, Cheng Zhong ^a  

^a Wayne State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; FORMAL METHODS; SEMANTICS;

DISTRIBUTED PROGRAMMING LANGUAGES; FORMAL FRAMEWORK; LOCATION-DEPENDENT TASKS; LOGIC ANALYSIS; MOBILE AGENT SYSTEM; MOBILE AGENT TECHNOLOGY; OBJECT MIGRATION; RESEARCH PROTOTYPE; TECHNOLOGY SUPPORT; TRAVEL ITINERARY;

MOBILE AGENTS;

EID: 85116416357     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDCSW.2005.11     Document Type: Conference Paper

References (24)

1. A. Bonner and M. Kifer. Concurrency and communication in transaction logic. In Joint International Conference and Symposium on Logic Programming, pages 142–156, 1996.
2. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
3. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
4. H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan. Logic based modeling and analysis of work-flows. In Proceedings of the ACM Symposium on Principles of Database Systems, pages 25–33, Seattle, WA, USA, June 1998.
5. W. Emmerich and N. Kaveh. Model checking distributed objects. In Proc. of the 4th International Software Architecture Workshop, Limerick, Ireland, June 2000.
6. W. Farmer, J. Guttman, and V. Swarup. Security for mobile agents: Authentication and state appraisal. In Proc. of the 4th European Symposium on Research in Computer Security (ESORICS’96), pages 118–130, September 1996.
7. C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. Remy. A calculus of mobile agents. In Proceedings of Int’l Conference on Concurrency Theory (CONCUR’96), pages 406–421, 1996.
8. S. Fu and C.-Z. Xu. Mobile codes and security. In Handbooks of Information Security. Wily & Sons, 2005.
9. R. Gray, G. Cybenko, D. Kotz, and D. Rus. Mobile agents: Motivations and state-of-the-art systems. In J. Bradshaw, editor, Handbook of Agent Technology. AAAI/MIT Press, 2000.
10. S. W. Loke, H. Schmidt, and A. Zaslavsky. Programming the mobility behavior of agents by composing itineraries. In Proc. of the 5th Asian Computing Science Conference (ASIAN’99), pages 214–226, 1999.
11. S. Lu and S. Smolka. Model checking the secure electronic transaction (SET) protocol. In Proc. of the 7th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pages 358–365, College Park, MD, USA, October 1999.
12. S. Lu and C.-Z. Xu. Mail: A mobile agent itinerary language for correctness and safety reasoning. Technical Report TR-DMSL-2004-02, Wayne State University, Detroit, MI 48202, 2004.
13. C. Mascolo, G. Picco, and G.-C. Roman. A fine-grained model for code mobility. In Joint Proc. of the 7th European Software Engineering Conf. and the 6th ACM Int’l Symp. on Foundations of Software Engineering, 1999.
14. P. McCann and G.-C. Roman. Compositional programming abstractions for mobile computing. IEEE Transactions on Software Engineering, 24(2):97–110, February 1998.
15. R. Milner. A calculus of communicating systems. Volume 92 of Lecture Notes in Computer Science, 1980.
16. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (parts i and ii). Information and Computation, 100:1–77, 1992.
17. G. C. Necula. Proof-carrying code. In Proc. of the 24th ACM Symposium on Principles of Programming Languages, pages 106–119, Paris, France, Jan. 1997.
18. G. Picco, G.-C. Roman, and P. McCann. Expressing code mobility in mobile unity. In Proc. of 6th European Software Engineering Conf. (ESEC/FSC’970), 1997.
19. G.-C. Roman, P. McCann, and J. Plunn. Mobile UNITY: Reasoning and specification in mobile computing. ACM Trans. on Software Engineering and Methodology, 6(3), July 1997.
20. A. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
21. M. Strasser and K. Rothermel. Reliability concepts for mobile agents. International Journal of Cooperative Information Systems, 7(4):355–382, 1998.
22. A. Tripathi, N. Karnik, T. Ahmed, and et al. Design of the Ajanta system for mobile agent programming. Journal of Systems and Software, May 2002.
23. M. Wermelinger and J. Fiadeiro. Connectors for mobile programs. IEEE Transactions on Software Engineering, 24(5):331–341, May 1998.
24. C.-Z. Xu. Naplet: A flexible mobile agent framework for network-centric applications. In Proc. of the 2nd Int’l Workshop on Internet Computing and E-Commerce (In conjunction with IEEE IPDPS’2002), April 2002.