Generating mobile agent securely by using MASL

Author

Ahmed, Tarig Mohamed

Author_Institution

Dept. of Comput. Sci., King Faisal Univ., Riyadh, Saudi Arabia

fYear

2005

fDate

6-10 June 2005

Firstpage

291

Lastpage

296

Abstract

Mobile agent systems are not fully utilized because many security problems need to be solved. Mobile agent specification language (MASL) is a new specification language. Users can use it to describe their agents. Secure mobile agent generator (SMAG) system is a new mobile agent system that uses MASL to generate secure agents. The system greatly reduces the security threats of mobile agents. It also incorporates a "mobile agent generator" that accepts general functional specification for an agent, and based on, it generates the executable. By using the C# language and the .NET framework, SMAG system has been implemented. To illustrate SMAG system, a Bookshop system has been designed and implemented by using the system infrastructure.

Keywords

C language; formal specification; mobile agents; network operating systems; security of data; specification languages; Bookshop system; C language; MASL; NET framework; agent functional specification; distributed system; mobile agent specification language; mobile agent system; secure mobile agent generator; Computer science; Computer security; Distributed computing; Message passing; Mobile agents; Mobile communication; Network servers; Programming profession; Protection; Specification languages; Distributed System; Mobile Agent; Mobility; Security of Mobile Agent;

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.64

Filename

1437188