DocumentCode :
3297419
Title :
A formal framework for agent itinerary specification, security reasoning and logic analysis
Author :
Lu, Shiyong ; Xu, Cheng-Zhong
Author_Institution :
Dept. of Comput. Sci., Wayne State Univ., Detroit, MI, USA
fYear :
2005
fDate :
6-10 June 2005
Firstpage :
580
Lastpage :
586
Abstract :
Mobile agent technology supports object migration from one site to another autonomously and proactively, performing its designated location-dependent tasks. Although the concept of proactive mobility has recently been demonstrated in several research prototypes, there is a lack of formal treatment of such mobility from the perspective of a distributed programming language. How to specify, model and reason about travel itineraries of mobile agents is fundamentally important for the development of secure and reliable mobile agent systems. In this paper, first, we introduce an itinerary language, MAIL, to model the mobile behavior of proactive agents. The language is structured and compositional so that an itinerary can be constructed recursively from primitive itineraries. We then define the operational semantics of the language in terms of a set of inference rules and prove that MAIL is expressive enough for most migration patterns. Finally, we show that MAIL is amenable to formal methods to reason about mobility and verify correctness and safety properties.
Keywords :
distributed programming; formal specification; formal verification; mobile agents; mobile computing; telecommunication security; agent itinerary specification; distributed programming language; formal method; inference rule; logic analysis; mobile agent technology; operational semantic language; proactive mobility; security reasoning; Computer networks; Computer science; Data security; Distributed computing; Logic design; Mobile agents; Performance analysis; Physics computing; Postal services; Protection;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Distributed Computing Systems Workshops, 2005. 25th IEEE International Conference on
Print_ISBN :
0-7695-2328-5
Type :
conf
DOI :
10.1109/ICDCSW.2005.11
Filename :
1437229
Link To Document :
بازگشت