DocumentCode :
3300974
Title :
A Conceptual Model for Secure Mobile Agent Systems
Author :
Loulou, Monia ; Jmaiel, Mohamed ; Kacem, Ahmed Hadj ; Mosbah, Mohamed
Author_Institution :
Lab. ReDCAD, ENIS, Sfax
Volume :
1
fYear :
2006
fDate :
Nov. 2006
Firstpage :
524
Lastpage :
527
Abstract :
This work constitutes a part of a general research project aiming at defining a generic framework for developing secure mobile agent systems stamped with a lack of consensus about their fundamental concepts. In order to facilitate analysis, design and specification of mobile agent systems, we present in this paper a brief definition and relationship among most key concepts for modeling a mobile agent system and the interaction within such dynamic environment. In order to overcome the possible attacks that may occur in a mobile agent system, we must associate the specification of the basic concepts that ensuring security such as: agent authenticity, authority access, security policy and its various kind. The syntax and the semantic of the proposed specifications have been checked using the Z-EVES tool
Keywords :
formal specification; mobile agents; security of data; Z-EVES tool; agent authenticity; authority access; conceptual model; secure mobile agent system; security policy; Algebra; Cloning; Communication system security; Intelligent agent; Internet; Laboratories; Logic functions; Mobile agents; Mobile communication; Taxonomy;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computational Intelligence and Security, 2006 International Conference on
Conference_Location :
Guangzhou
Print_ISBN :
1-4244-0605-6
Electronic_ISBN :
1-4244-0605-6
Type :
conf
DOI :
10.1109/ICCIAS.2006.294189
Filename :
4072142
Link To Document :
بازگشت