Mobile agent security with the IPEditor development tool and the mobile UNITY language

Y. Tahara, A. Ohsuga, Shinichi Honiden

Research output: Contribution to conferencePaper

5 Citations (Scopus)

Abstract

Many people consider that security is one of the biggest problems for practical use of mobile agents that move around the network and do their tasks. In this paper, we assert that this issue can be effectively managed by using IPEditor, the development support tool of mobile multi-agent applications that we have been released, and Mobile UNITY, a formal specification language of mobile agent applications. IPEditor helps developers to design applications with visual supports of agent behaviors. In our method, we translate an IPEditor model to a Mobile UNITY program that is the formal specification of the agent behaviors. In addition, we describe the security requirements by the Mobile UNITY logic notation. Thus we can verify the security requirements by proving that the mobile UNITY program, therefore the IPEditor model, satisfies the mobile UNITY logic notation. We present an example of an electronic catalog (e-catalog) application and illustrate the effectiveness of our proposal.

Original languageEnglish
Pages656-662
Number of pages7
Publication statusPublished - 2001 Jan 1
Externally publishedYes
EventFifth International Conference on Autonomous Agents - Montreal, Que.
Duration: 2001 May 282001 Jun 1

Other

OtherFifth International Conference on Autonomous Agents
CityMontreal, Que.
Period01/5/2801/6/1

Fingerprint

Mobile agents
Specification languages
Formal specification

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Tahara, Y., Ohsuga, A., & Honiden, S. (2001). Mobile agent security with the IPEditor development tool and the mobile UNITY language. 656-662. Paper presented at Fifth International Conference on Autonomous Agents, Montreal, Que., .

Mobile agent security with the IPEditor development tool and the mobile UNITY language. / Tahara, Y.; Ohsuga, A.; Honiden, Shinichi.

2001. 656-662 Paper presented at Fifth International Conference on Autonomous Agents, Montreal, Que., .

Research output: Contribution to conferencePaper

Tahara, Y, Ohsuga, A & Honiden, S 2001, 'Mobile agent security with the IPEditor development tool and the mobile UNITY language' Paper presented at Fifth International Conference on Autonomous Agents, Montreal, Que., 01/5/28 - 01/6/1, pp. 656-662.
Tahara Y, Ohsuga A, Honiden S. Mobile agent security with the IPEditor development tool and the mobile UNITY language. 2001. Paper presented at Fifth International Conference on Autonomous Agents, Montreal, Que., .
Tahara, Y. ; Ohsuga, A. ; Honiden, Shinichi. / Mobile agent security with the IPEditor development tool and the mobile UNITY language. Paper presented at Fifth International Conference on Autonomous Agents, Montreal, Que., .7 p.
@conference{eaf2ecfaaa8f4eba9f4758f1174bb8ae,
title = "Mobile agent security with the IPEditor development tool and the mobile UNITY language",
abstract = "Many people consider that security is one of the biggest problems for practical use of mobile agents that move around the network and do their tasks. In this paper, we assert that this issue can be effectively managed by using IPEditor, the development support tool of mobile multi-agent applications that we have been released, and Mobile UNITY, a formal specification language of mobile agent applications. IPEditor helps developers to design applications with visual supports of agent behaviors. In our method, we translate an IPEditor model to a Mobile UNITY program that is the formal specification of the agent behaviors. In addition, we describe the security requirements by the Mobile UNITY logic notation. Thus we can verify the security requirements by proving that the mobile UNITY program, therefore the IPEditor model, satisfies the mobile UNITY logic notation. We present an example of an electronic catalog (e-catalog) application and illustrate the effectiveness of our proposal.",
author = "Y. Tahara and A. Ohsuga and Shinichi Honiden",
year = "2001",
month = "1",
day = "1",
language = "English",
pages = "656--662",
note = "Fifth International Conference on Autonomous Agents ; Conference date: 28-05-2001 Through 01-06-2001",

}

TY - CONF

T1 - Mobile agent security with the IPEditor development tool and the mobile UNITY language

AU - Tahara, Y.

AU - Ohsuga, A.

AU - Honiden, Shinichi

PY - 2001/1/1

Y1 - 2001/1/1

N2 - Many people consider that security is one of the biggest problems for practical use of mobile agents that move around the network and do their tasks. In this paper, we assert that this issue can be effectively managed by using IPEditor, the development support tool of mobile multi-agent applications that we have been released, and Mobile UNITY, a formal specification language of mobile agent applications. IPEditor helps developers to design applications with visual supports of agent behaviors. In our method, we translate an IPEditor model to a Mobile UNITY program that is the formal specification of the agent behaviors. In addition, we describe the security requirements by the Mobile UNITY logic notation. Thus we can verify the security requirements by proving that the mobile UNITY program, therefore the IPEditor model, satisfies the mobile UNITY logic notation. We present an example of an electronic catalog (e-catalog) application and illustrate the effectiveness of our proposal.

AB - Many people consider that security is one of the biggest problems for practical use of mobile agents that move around the network and do their tasks. In this paper, we assert that this issue can be effectively managed by using IPEditor, the development support tool of mobile multi-agent applications that we have been released, and Mobile UNITY, a formal specification language of mobile agent applications. IPEditor helps developers to design applications with visual supports of agent behaviors. In our method, we translate an IPEditor model to a Mobile UNITY program that is the formal specification of the agent behaviors. In addition, we describe the security requirements by the Mobile UNITY logic notation. Thus we can verify the security requirements by proving that the mobile UNITY program, therefore the IPEditor model, satisfies the mobile UNITY logic notation. We present an example of an electronic catalog (e-catalog) application and illustrate the effectiveness of our proposal.

UR - http://www.scopus.com/inward/record.url?scp=0034833404&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0034833404&partnerID=8YFLogxK

M3 - Paper

SP - 656

EP - 662

ER -