A secure architectural description language for agent systems

ABSTRACT

Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of software deployed on the web has always been the security of their architectures. However, despite considerable work in software architecture during the last decade, few research efforts have aimed at truly defining languages for designing and formalizing agent architectures and more specifically secure ones. This paper identifies the foundations for an architectural description language (ADL) to specify secure multi-agent systems. We propose a set of system design primitives and conceptualize it with the Z specification language to capture a "core" architectural model to build secure MAS architectures. We apply it on an e-commerce example to illustrate our proposal.

REFERENCES

• 1: M. Barley, F. Massacci, H. Mouratidis, P. Scerri (eds). Proceedings of the 1st International Workshop on Safety and Security in Multiagent Systems, Third International Joint Conference on Autonomous Agents and Multiagent Systems, N.Y.-USA, 2004
• 2: E. Fernandez-Medina, J. Cesar Hernandez Castro, L. Javier Carcia Villalba (eds). The Second International Workshop on Security in Information Systems, 6th International Conference on Enterprise Information Systems, 2004.
• 3: H. Mouratidis. A Security Oriented Approach in the Development of Multiagent Systems: Applied to the Management of the Health and Social Care Needs of Older People in England. PhD thesis, University of Sheffield, U.K., 2004
• 4: Jan Juerjens, Secure Systems Development with UML, SpringerVerlag, 2003
• 5: Mary Shaw , Robert DeLine , Daniel V. Klein , Theodore L. Ross , David M. Young , Gregory Zelesnik, Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, v.21 n.4, p.314-335, April 1995 [doi>10.1109/32.385970]
• 6: Paul C. Clements, A Survey of Architecture Description Languages, Proceedings of the 8th International Workshop on Software Specification and Design, p.16, March 22-23, 1996
• 7: Mary Shaw , David Garlan, Software architecture: perspectives on an emerging discipline, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
• 8: S. Faulkner, An Architectural Framework for Describing BDI Multi-Agent Information Systems, Ph.D. thesis, Department of Management Science, University of Louvain, Belgium, May 2004.
• 9: Ross J. Anderson, Security Engineering: A Guide to Building Dependable Distributed Systems, John Wiley & Sons, Inc., New York, NY, 2001
• 10: Bruce Schneier, Secrets & Lies: Digital Security in a Networked World, John Wiley & Sons, Inc., New York, NY, 2000
• 11: J. Viega, G. McGraw. Building a Secure Software. Addison-Wesley, Reading MA, 2002
• 12: J. M. Spivey, The Z notation: a reference manual, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1992
• 13: Eric Siu-Kwong Yu , John Mylopoulos, Modelling strategic relationships for process reengineering, 1995
• 14: Manuel Kolp , Paolo Giorgini , John Mylopoulos, A Goal-Based Organizational Perspective on Multi-agent Architectures, Revised Papers from the 8th International Workshop on Intelligent Agents VIII, p.128-140, August 01-03, 2001
• 15: T. T. Do, S. Faulkner and M. Kolp. Organizational Multi-Agent Architectures for Information Systems. in Proc. of the 5th Int. Conf. on Enterprise Information Systems (ICEIS 2003), Angers, France, April 2003.
• 16: H. Mintzberg. Structure in fives: designing effective organizations. Prentice-Hall, 1992.
• 17: JACK Intelligent Agents. <u>http://www.agent-software.com/</u>

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems

General Terms:
Design, Languages, Security

Keywords:
architectural description languages, multiagent systems, security