{"updated":"2025-01-23T02:07:05.509143+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00011583","sets":["581:664:671"]},"path":["671"],"owner":"1","recid":"11583","title":["IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現"],"pubdate":{"attribute_name":"公開日","attribute_value":"2002-06-15"},"_buckets":{"deposit":"b098195e-eebc-433a-af07-4ddac4d4d1cf"},"_deposit":{"id":"11583","pid":{"type":"depid","value":"11583","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現"},{"subitem_title":"Mobile Agent Security with the IPEditor Development Tool and the Mobile UNITY Language","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"特集：オブジェクト指向技術","subitem_subject_scheme":"Other"}]},"item_type_id":"2","publish_date":"2002-06-15","item_2_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"株式会社東芝研究開発センターコンピュータ・ネットワークラボラトリー"},{"subitem_text_value":"株式会社東芝研究開発センターコンピュータ・ネットワークラボラトリー"},{"subitem_text_value":"国立情報学研究所／東京大学"}]},"item_2_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Computer and Network Systems Laboratory, Corporate Research and Development Center, Toshiba Corporation","subitem_text_language":"en"},{"subitem_text_value":"Computer and Network Systems Laboratory, Corporate Research and Development Center, Toshiba Corporation","subitem_text_language":"en"},{"subitem_text_value":"National Institute of Informatics/The University of Tokyo","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/11583/files/IPSJ-JNL4306004.pdf"},"date":[{"dateType":"Available","dateValue":"2004-06-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JNL4306004.pdf","filesize":[{"value":"405.5 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"8"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"ac499045-717a-4601-85bf-1655bf3b921d","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2002 by the Information Processing Society of Japan"}]},"item_2_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"田原, 康之"},{"creatorName":"大須賀, 昭彦"},{"creatorName":"本位田真一"}],"nameIdentifiers":[{}]}]},"item_2_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yasuyuki, Tahara","creatorNameLang":"en"},{"creatorName":"Akihiko, Ohsuga","creatorNameLang":"en"},{"creatorName":"Shinichi, Honiden","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_2_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116647","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_2_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7764","subitem_source_identifier_type":"ISSN"}]},"item_2_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"ネットワーク上を移動しながら動作するモバイルエージェントの実用化においては，アプリケーション開発において多くの問題がある．たとえば，セキュリティが最も大きな問題の1つであると広く考えられている．本論文では，我々が開発し公開した，モバイルマルチエージェントアプリケーションの開発支援ツールIPEditorと，モバイルエージェントアプリケーションのための形式的仕様記述言語Mobile UNITYにより，セキュリティ問題に対し効果的に対処できることを示す．我々の手法では，IPEditorが，エージェントの挙動の記述  を視覚的に支援することにより，アプリケーション設計の効率が向上する．また，IPEditorモデルを，エージェントの挙動の形式的仕様記述であるMobile UNITYプログラムに翻訳する．さらに，セキュリティへの要求をMobile UNITY論理により記述する．これにより，Mobile UNITYプログラム，すなわちIPEditorモデルで表されるエージェントの挙動が，Mobile UNITY論理記述，すなわち与えられた要求を満たすかどうかを検証することが可能となる．そして，電子カタログアプリケーションなどの例により，我々の提案の有  効性を示す．","subitem_description_type":"Other"}]},"item_2_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Many people consider that there are many problems in development of  practical applications of mobile agents that move around the network  and do their tasks. For example, security is one of the biggest  problems.  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.  In our method, IPEditor helps developers to design  applications with visual supports of agent behaviors.  We translate  an IPEditor model to a Mobile UNITY program that is the formal  specification of the agent behaviors.  In addition, we describe the  requirements by the Mobile UNITY logic notation.  Thus we can verify  the requirements by proving that the mobile UNITY program, therefore  the IPEditor model, satisfies the mobile UNITY logic notation.  We  present examples including an electronic catalog (e-catalog)  application and illustrate the effectiveness of our proposal.","subitem_description_type":"Other"}]},"item_2_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"1597","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}],"bibliographicPageStart":"1582","bibliographicIssueDates":{"bibliographicIssueDate":"2002-06-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"6","bibliographicVolumeNumber":"43"}]},"relation_version_is_last":true,"item_2_alternative_title_2":{"attribute_name":"その他タイトル","attribute_value_mlt":[{"subitem_alternative_title":"分析・設計技術"}]},"weko_creator_id":"1"},"created":"2025-01-18T22:46:10.492799+00:00","id":11583,"links":{}}