An Architectural Description Language for Secure Multi-Agent Systems

Multi-Agent Systems (MAS) architectures are gaining popularity for building open, distributed, and evolving information systems. Unfortunately, despite considerable work in the fields of software architecture and MAS during the last decade, few research efforts have aimed at defining languages for designing and formalising secure agent architectures. This paper proposes a novel Architectural Description Language (ADL) for describing Belief-Desire-Intention (BDI) secure MAS. We specify each element of our ADL using the Z specification language and we employ two example case studies: one to assist us in the description of the proposed language and help readers of the article to better understand the fundamentals of the language; and one to demonstrate its applicability

Recent Naval Postgraduate School Publications/ FY 1980

This document has been prepared for personnel interested in recent documented activities at the Naval Postgraduate school. A list of papers, reports and presentations by NPS faculty and students during the previous four years is included. Requests for additional information should be directed to the Defense Technical Information Center, to the faculty members in the research area of interest, or to the Dean of Research