Dynamic security framework for mobile agent systems: specification, verification and enforcement

  • Authors:

  • Monia Loulou;Mohamed Jmaiel;Mohamed Mosbah

  • Affiliations:

  • ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, B.P. 1173, 3038 Sfax, Tunisia/ LaBRI Laboratory, UMR CNRS 5800 Bordeaux, France.;ReDCAD Laboratory, National School of Engineers of Sfax, University of Sfax, B.P. 1173, 3038 Sfax, Tunisia.;LaBRI Laboratory, UMR CNRS 5800 Bordeaux, France

  • Venue:
  • International Journal of Information and Computer Security
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

We define in this paper, a formal conceptual model, which presents the most fundamental concepts for mobile agent systems and unifies their representation and defines the relations between them. On this base, we propose a formal security framework which consists of three basic frameworks. The specification framework proposes a generic definition of security policies for the entities of mobile agent systems. The verification framework checks the intra-policy consistency. The reconfiguration framework describes how to reconfigure security policies and to maintain their consistency. Finally, we examine this theoretical work by defining an operational framework for dynamic enforcement of security policies.