@article{oai:uec.repo.nii.ac.jp:00009107,
 author = {田原, 康之 and Tahara, Yasuyuki and 吉岡, 信和 and Yoshioka, Nobukazu and 大須賀, 昭彦 and Ohsuga, Akihiko and 本位田, 真一 and Honiden, Shinichi},
 issue = {6},
 journal = {情報処理学会論文誌},
 month = {Jun},
 note = {インターネットやイントラネットといった広域開放型ネットワークが拡大するにつれて，モバイルエージェント技術が注目を集めつつある．モバイルエージェントは，自律性，移動性，知性，協調性，あるいは即応性といった特徴により，開放型ネットワークにおける環境変化や多様な要求に対応することのできるソフトウェア単位である．しかし現在では，セキュリティと性能のトレードオフを解消可能で，モバイルエージェントの利用を考慮した分散アプリケーションの開発手法について十分検討されていないため，本技術はまだ広く普及するに至っていない．本論文では，セキュリティの問題と性能の問題のトレードオフを解消可能で，モバイルエージェントの利用も考慮した分散アプリケーション開発を支援するための，形式的枠組みを提案する．本枠組みでは，分散アプリケーションの設計において計算コストとセキュリティを考慮したモデルを構築し，パターンを組み合わせることによって，これらのモデルを満たすように分散アプリケーションを設計する．これにより，セキュリティと性能のトレードオフを考慮しながら，アプリケーション開発を行うことができる．また，モデルとパターンは形式的に定義されているので，生成された挙動がモデルを厳密に満足することを保証できる．さらに，パターンの組合せはあるアルゴリズムによって自動的に導出されるので，セキュリティ要求が変化した際にも容易にエージェントの挙動を修正することができる．, As wide-area open networks like the Internet and intranets growlarger, mobile agent technology is attracting more attention.Mobile agents are units of software that can deal with environmentalchanges and the various requirements of open networks throughfeatures such as autonomy, mobility, intelligence, cooperation, andreactivity. However, since the usual development methods of secureand efficient distributed applications considering mobile agents arenot sufficiently investigated, the technology is not yet widespread.In this paper, we propose a formal framework that supportsdistributed application development considering mobile agents andresolving the trade-offs between the security issues and theperformance issues. In our framework, we design the behavior ofmobile agents by building models including the computational costsand the security policies, and combining patterns so that thecombination satisfies the models. Therefore we can develop theapplication resolving the security and the performance trade-offs.Since the models and the patterns are presented according to aformal framework, we can make sure that the pattern combinationsatisfies the models rigorously. In addition, if the security policychanges, we can easily modify the behavior because the patterncombination can be figured out automatically by an algorithm.},
 pages = {1483--1497},
 title = {パターンを利用したセキュアかつ効率的なモバイルエージェントアプリケーション開発},
 volume = {44},
 year = {2003},
 yomi = {タハラ, ヤスユキ and ヨシオカ, ノブカズ and オオスガ, アキヒコ and ホンイデン, シンイチ}
}