Skip to main content
SpringerLink
Log in

Infrastructure for Forensic Analysis of Multi-Agent Systems

  • Conference paper
Programming Multi-Agent Systems (ProMAS 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5442))

Included in the following conference series:

Abstract

The contribution of this paper is an intent to state the basis for forensic analysis of multi-agent system (MAS) runs. It proposes a general approach for open source agents platforms. It consists on techniques to store, order and represent messages based on conventional observation of the events in a distributed system, particularized for the case of MAS in which agents can be distributed across a number of machines or even be mobile.

This research work is supported by the Spanish Ministry of Education and Science in the scope of the Research Project TIN-2005-08501-C03-02 and by the Project “Análisis, Estudio y Desarrollo de Sistemas Inteligentes y Servicios Telemáticos” through the Fundación Séneca within the Program “Generación del Conocimiento Científico de Excelencia”.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Iglesias, C.A., Garijo, M., Centeno-González, J.: A Survey of Agent-Oriented Methodologies. In: Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages, July 04-07, pp. 317–330 (1998)

    Google Scholar 

  2. Birk, A., Dingsøyr, T., Stlhane, T.: Postmortem: Never leave a project without it. IEEE Software, special issue on knowledge management in software engineering 19(3), 43–45 (2002)

    Google Scholar 

  3. Black, J.P., Coffin, M.H., Taylor, D.J., Kunz, T., Basten, A.A.: Linking Specifications, Abstraction, and Debugging., CCNG Technical Report E-232, Computer Communications and Network Group, University of Waterloo (November 1993)

    Google Scholar 

  4. Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E.: Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  5. Botía, J.A., González, J.C., Gómez-Sanz, J., Pavón, J.: The INGENIAS Project. In: 6th International Workshop on Practical Applications on Agents and MultiAgent Systems. IWPAAMS 2007, Salamanca, Spain (2007)

    Google Scholar 

  6. Carr, S., Fang, C., Jozwowski, T.R., Mayo, J., Shene, C.-K.: ConcurrentMentor: A Visualization System for Distributed Programming Education. In: The 2003 International Conference on Parallel and Distributed Processing Techniques and Applications, June 23-26, pp. 1676–1682. Las Vegas, Nevada (2003)

    Google Scholar 

  7. Dwyer, M., Clarke, L.: Data Flow Analysis for Verifying Properties of Concurrent Programs. In: Proc. of ACM SIGSOFT 1994, New Orleans, LA, USA (1994)

    Google Scholar 

  8. Fang, W., Wang, C.-L., Zhu, W., Lau, F.C.M.: PAT: a postmortem object access pattern analysis and visualization tool. In: IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2004 (2004)

    Google Scholar 

  9. Fromentin, E., Raynal, M., Garg, V., Tomlinson, A.: On the Fly Testing of Regular Patterns in Distributed Computations. Internal Publication # 817, IRISA, Rennes, France (1994)

    Google Scholar 

  10. Hallal, H., Petrenko, A., Ulrich, A., Boroday, S.: Using SDL Tools to Test Properties of Distributed Systems. In: Formal Approches to Testing of Software (FATES 2001), Workshop of the International Conference on Concurrency Theory (CONCUR 2001), Aalborg, Denmark, August 21-24 (2001)

    Google Scholar 

  11. Jard, C., Jeron, T., Jourdan, G.V., Rampon, J.X.: A General Approach to Trace-checking in Distributed Computing Systems. In: Proc. IEEE Int. Conf. on Distributed Computing Systems, Poznan, Poland (June 1994)

    Google Scholar 

  12. Kumar, S., Spafford, E.: An Application of Pattern Matching in Intrusion Detection. Technical Report 94-013, Purdue University, Department of Computer Sciences (March 1994)

    Google Scholar 

  13. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558–565 (1978)

    Article  MATH  Google Scholar 

  14. Lee, D.W., Ramakrishna, R.S.: Visok: A Flexible Visualization System for Distributed Java Object Application. In: Proceedings of 14th International Parallel and Distributed Processing Synposium IPDPS 2000, Cancun, Mexico, May 1-5, pp. 393–398 (2000)

    Google Scholar 

  15. Luckham, D.C., Frasca, B.: Complex Event Processing in Distributed Systems. Stanford University Technical Report CSL-TR-98-754, 28 pages (March 1998)

    Google Scholar 

  16. Mattern, F.: Virtual time and global states of distributed systems. In: Proceedings of the International Workshop on Parallel and Distributed Algorithms. LNCS, pp. 215–226. North-Holland, Amsterdam (1989)

    Google Scholar 

  17. Mazouzi, H., Seghrouchni, A.E.F., Haddad, S.: Open protocol design for complex interactions in multi-agent systems. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, pp. 517–526. ACM Press, New York (2002)

    Google Scholar 

  18. Miles, R.: AspectJ Cookbook, 1st edn., December 2004. Cookbooks, p. 354 (2004) ISBN 10: 0-596-00654-3

    Google Scholar 

  19. Myers, G.J.: The Art fo Software Testing. Wiley-Interscience, Hoboken (1979)

    Google Scholar 

  20. Rossen, K.H.: Discrete Mathematics and Its Applications, 5th edn. McGraw-Hill, cop., Boston (2003)

    Google Scholar 

  21. Stalhane, T., Dingsayr, T., Moe, N.B., Hanssen, G.K.: Post Mortem - An Assessment of Two Approaches, EuroSPI, Limrerick, Ireland (2001)

    Google Scholar 

  22. Staniford-Chen, S., Cheung, S., Crawford, R., Dilger, M., Frank, J., Hoaglan, J., Levitt, K., Wee, C., Yip, R., Zerkle, D.: The Design of GrIDS: A Graph-Based Intrusion Detection System. Technical Report, Department of Computer Science, University of California at Davis (January 1999)

    Google Scholar 

  23. Van Dyke Parunak, H.: Visualizing Agent Conversations: Using Enhanced Dooley Graphs for Agent Design and Analysis. In: Proceedings of the First International Conference on Multi-Agent Systems

    Google Scholar 

  24. Vigueras, G., Botia, J.A.: Tracking causality by visualization of multi-agent interactions using causality graphs. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 190–204. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  25. Ward, P.A.S.: A Framework Algorithm for Dynamic Centralized Dimension- Bounded Timestamps. In: Proc. of CASCON 2000, Mississauga (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universidad de Murcia, Murcia, Spain

    Emilio Serrano & Juan A. Botia

Authors
  1. Emilio Serrano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Juan A. Botia
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. EEMCS, Delft University of Technology,, The Netherlands

    Koen V. Hindriks

  2. Distributed Systems and Information Systems, University of Hamburg, Hamburg, Germany

    Alexander Pokahr

  3. School of Computer Science and Information Technology, RMIT University, Melbourne, Australia

    Sebastian Sardina

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Serrano, E., Botia, J.A. (2009). Infrastructure for Forensic Analysis of Multi-Agent Systems. In: Hindriks, K.V., Pokahr, A., Sardina, S. (eds) Programming Multi-Agent Systems. ProMAS 2008. Lecture Notes in Computer Science(), vol 5442. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03278-3_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03278-3_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03277-6

  • Online ISBN: 978-3-642-03278-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation