WEKO3
アイテム
{"_buckets": {"deposit": "980d3772-f48a-4717-a386-2521f14c7b0e"}, "_deposit": {"created_by": 13, "id": "9109", "owners": [13], "pid": {"revision_id": 0, "type": "depid", "value": "9109"}, "status": "published"}, "_oai": {"id": "oai:uec.repo.nii.ac.jp:00009109", "sets": ["6"]}, "author_link": ["24842", "24843", "24844"], "control_number": "9109", "item_10001_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2002-06-15", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "6", "bibliographicPageEnd": "1597", "bibliographicPageStart": "1582", "bibliographicVolumeNumber": "43", "bibliographic_titles": [{"bibliographic_title": "情報処理学会論文誌", "bibliographic_titleLang": "ja"}]}]}, "item_10001_description_5": {"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": "Abstract"}, {"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": "Abstract"}]}, "item_10001_publisher_8": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "情報処理学会"}]}, "item_10001_relation_17": {"attribute_name": "関連サイト", "attribute_value_mlt": [{"subitem_relation_type_id": {"subitem_relation_type_id_text": "http://id.nii.ac.jp/1001/00011583/", "subitem_relation_type_select": "URI"}}]}, "item_10001_rights_15": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "(c) 2002 Information Processing Society of Japan. 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。"}]}, "item_10001_source_id_9": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "18827764", "subitem_source_identifier_type": "ISSN"}]}, "item_10001_version_type_20": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "田原, 康之", "creatorNameLang": "ja"}, {"creatorName": "タハラ, ヤスユキ", "creatorNameLang": "ja-Kana"}, {"creatorName": "Tahara, Yasuyuki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24842", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "大須賀, 昭彦", "creatorNameLang": "ja"}, {"creatorName": "オオスガ, アキヒコ", "creatorNameLang": "ja-Kana"}, {"creatorName": "Ohsuga, Akihiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24843", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "本位田, 真一", "creatorNameLang": "ja"}, {"creatorName": "ホンイデン, シンイチ", "creatorNameLang": "ja-Kana"}, {"creatorName": "Honiden, Shinichi", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24844", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-04-09"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "IPSJ-JNL4306004.pdf", "filesize": [{"value": "405.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 405500.0, "url": {"label": "IPSJ-JNL4306004", "url": "https://uec.repo.nii.ac.jp/record/9109/files/IPSJ-JNL4306004.pdf"}, "version_id": "17c33a7f-a054-4ca0-98c5-55039a809ec6"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現", "subitem_title_language": "ja"}, {"subitem_title": "Mobile Agent Security with the IPEditor Development Tool and the Mobile UNITY Language", "subitem_title_language": "en"}]}, "item_type_id": "10001", "owner": "13", "path": ["6"], "permalink_uri": "https://uec.repo.nii.ac.jp/records/9109", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2019-04-09"}, "publish_date": "2019-04-09", "publish_status": "0", "recid": "9109", "relation": {}, "relation_version_is_last": true, "title": ["IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現"], "weko_shared_id": -1}
IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現
https://uec.repo.nii.ac.jp/records/9109
https://uec.repo.nii.ac.jp/records/91099861297b-2c31-4b93-a343-42fcaf28837f
名前 / ファイル | ライセンス | アクション |
---|---|---|
IPSJ-JNL4306004 (405.5 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2019-04-09 | |||||
タイトル | ||||||
言語 | ja | |||||
タイトル | IPEditor開発ツールとMobile UNITY言語の適用によるモバイルエージェントセキュリティの実現 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Mobile Agent Security with the IPEditor Development Tool and the Mobile UNITY Language | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者 |
田原, 康之
× 田原, 康之× 大須賀, 昭彦× 本位田, 真一 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | ネットワーク上を移動しながら動作するモバイルエージェントの実用化においては,アプリケーション開発において多くの問題がある.たとえば,セキュリティが最も大きな問題の1つであると広く考えられている.本論文では,我々が開発し公開した,モバイルマルチエージェントアプリケーションの開発支援ツールIPEditorと,モバイルエージェントアプリケーションのための形式的仕様記述言語Mobile UNITYにより,セキュリティ問題に対し効果的に対処できることを示す.我々の手法では,IPEditorが,エージェントの挙動の記述 を視覚的に支援することにより,アプリケーション設計の効率が向上する.また,IPEditorモデルを,エージェントの挙動の形式的仕様記述であるMobile UNITYプログラムに翻訳する.さらに,セキュリティへの要求をMobile UNITY論理により記述する.これにより,Mobile UNITYプログラム,すなわちIPEditorモデルで表されるエージェントの挙動が,Mobile UNITY論理記述,すなわち与えられた要求を満たすかどうかを検証することが可能となる.そして,電子カタログアプリケーションなどの例により,我々の提案の有 効性を示す. | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 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. | |||||
書誌情報 |
ja : 情報処理学会論文誌 巻 43, 号 6, p. 1582-1597, 発行日 2002-06-15 |
|||||
出版者 | ||||||
出版者 | 情報処理学会 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 18827764 | |||||
権利 | ||||||
権利情報 | (c) 2002 Information Processing Society of Japan. 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 | |||||
関連サイト | ||||||
識別子タイプ | URI | |||||
関連識別子 | http://id.nii.ac.jp/1001/00011583/ | |||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |