The Z notation: a reference manual
The Z notation: a reference manual
Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Security Engineering: A Guide to Building Dependable Distributed Systems
Security Engineering: A Guide to Building Dependable Distributed Systems
Secrets & Lies: Digital Security in a Networked World
Secrets & Lies: Digital Security in a Networked World
A Goal-Based Organizational Perspective on Multi-agent Architectures
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
Secure Systems Development with UML
Secure Systems Development with UML
Improving the architectural design of multi-agent systems: the tropos case
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems
Improving Multi-Agent Architectural Design
Software Engineering for Multi-Agent Systems V
A security-aware metamodel for multi-agent systems (MAS)
Information and Software Technology
An architectural description language for secure Multi-Agent Systems
Web Intelligence and Agent Systems
An aspect-oriented modeling framework for multi-agent systems design
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Towards secure agent computing for ubiquitous computing and ambient intelligence
UIC'07 Proceedings of the 4th international conference on Ubiquitous Intelligence and Computing
Hi-index | 0.00 |
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.