Modeling secure mobile agent systems

Authors:
Molka Rekik;Slim Kallel;Monia Loulou;Ahmed Hadj Kacem
Affiliations:
ReDCAD Laboratory, University of Sfax, Sfax, Tunisia;ReDCAD Laboratory, University of Sfax, Sfax, Tunisia;ReDCAD Laboratory, University of Sfax, Sfax, Tunisia;ReDCAD Laboratory, University of Sfax, Sfax, Tunisia
Venue:
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Year:
2012

Citing 6
Cited 0

A Security Framework for a Mobile Agent System

ESORICS '00 Proceedings of the 6th European Symposium on Research in Computer Security
Model driven security: From UML models to access control infrastructures

ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards a Model Driven Process for Multi-Agent System

CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Dynamic security framework for mobile agent systems: specification, verification and enforcement

International Journal of Information and Computer Security
Modeling and enforcing invariants of dynamic software architectures

Software and Systems Modeling (SoSyM)
Transforming models with ATL

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a MDA based approach for designing secure mobile agent systems. First, we define a meta-model which extends the UML deployment diagram by concepts related to the security and mobility of multi-agent systems. We propose also a UML profile as an implementation of this meta-model. Second, we project the application model into AGLETS-specific model, which describes the main functionalities of the application deployed on AGLETS as a mobile agent platform.