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

Y. Tahara*, A. Ohsuga, S. Honiden

*この研究の対応する著者

研究成果: Paper査読

6 被引用数 (Scopus)

抄録

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.

本文言語English
ページ656-662
ページ数7
出版ステータスPublished - 2001 1 1
外部発表はい
イベントFifth International Conference on Autonomous Agents - Montreal, Que., Canada
継続期間: 2001 5 282001 6 1

Conference

ConferenceFifth International Conference on Autonomous Agents
国/地域Canada
CityMontreal, Que.
Period01/5/2801/6/1

ASJC Scopus subject areas

  • 工学(全般)

フィンガープリント

「Mobile agent security with the IPEditor development tool and the mobile UNITY language」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル