{"created":"2023-05-15T15:25:27.155475+00:00","id":13090,"links":{},"metadata":{"_buckets":{"deposit":"f9069659-ad1f-46be-a3ec-33588e2880a0"},"_deposit":{"created_by":3,"id":"13090","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"13090"},"status":"published"},"_oai":{"id":"oai:sucra.repo.nii.ac.jp:00013090","sets":["94:426"]},"author_link":["16642","20992"],"item_119_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2006","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicPageEnd":"742","bibliographicPageStart":"726","bibliographicVolumeNumber":"J89-D","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会論文誌. D, 情報・システム"}]}]},"item_119_date_31":{"attribute_name":"作成日","attribute_value_mlt":[{"subitem_date_issued_datetime":"2008-01-30","subitem_date_issued_type":"Created"}]},"item_119_description_19":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"プロテクションプロファイルは，様々な情報システムにおけるセキュリティ仕様書の雛形であり， ISO/IEC15408という国際基準によりセキュリティが保証されている．しかしながら，扱う分野についての明確な規定がないことや，文書構造に問題があるため，実際にはほとんど利用されていない．本論文ではプロテクションプロファイルを効果的に利用できるよう，UMLによるモデル化を提案する．このモデル化により，ISO/IEC15408のセキュリティ基準に準拠した仕様記述を容易にする．また，モデル化したプロテクションプロファイルを用いて記述した仕様がセキュリティ基準を満たすかどうかを，定理証明技法とモデル検査技法により検証する技法を示す．","subitem_description_type":"Abstract"}]},"item_119_description_21":{"attribute_name":"注記","attribute_value_mlt":[{"subitem_description":"copyright(c)2006 \nIEICE許諾番号：08RB0010　\nhttp://search.ieice.org/index.html","subitem_description_type":"Other"}]},"item_119_description_29":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"subitem_description":"text","subitem_description_type":"Other"}]},"item_119_description_30":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_119_publisher_11":{"attribute_name":"出版者名","attribute_value_mlt":[{"subitem_publisher":"社団法人電子情報通信学会"}]},"item_119_source_id_14":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"18804535","subitem_source_identifier_type":"ISSN"}]},"item_119_text_27":{"attribute_name":"版","attribute_value_mlt":[{"subitem_text_value":"[出版社版]"}]},"item_119_text_3":{"attribute_name":"著者 ローマ字","attribute_value_mlt":[{"subitem_text_value":"Morimoto, Syoichi"},{"subitem_text_value":"Cheng, Jinｇde"}]},"item_119_text_32":{"attribute_name":"アイテムID","attribute_value_mlt":[{"subitem_text_value":"A1003065"}]},"item_119_text_4":{"attribute_name":"著者 所属","attribute_value_mlt":[{"subitem_text_value":"&EMPTY&"},{"subitem_text_value":"埼玉大学大学院理工学研究科情報数理科"}]},"item_119_text_5":{"attribute_name":"著者 所属(別言語)","attribute_value_mlt":[{"subitem_text_value":"&EMPTY&"},{"subitem_text_value":"Graduate School of Science and Engineering, Saitama University"}]},"item_119_text_9":{"attribute_name":"年月次","attribute_value_mlt":[{"subitem_text_value":"2006-4"}]},"item_119_version_type_28":{"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":"森本, 祥一"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"程, 京徳"},{"creatorName":"チェン, ジンデ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-01-24"}],"displaytype":"detail","filename":"A1003065.pdf","filesize":[{"value":"404.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A1003065.pdf","url":"https://sucra.repo.nii.ac.jp/record/13090/files/A1003065.pdf"},"version_id":"de48bfc0-0b06-4f8d-a415-797dfde6a519"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"ISO/IEC15408","subitem_subject_scheme":"Other"},{"subitem_subject":"コモンクライテリア","subitem_subject_scheme":"Other"},{"subitem_subject":"デザインパターン","subitem_subject_scheme":"Other"},{"subitem_subject":"定理証明","subitem_subject_scheme":"Other"},{"subitem_subject":"モデル検査","subitem_subject_scheme":"Other"}]},"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":"UMLによるプロテクションプロファイルのモデル化とその形式的検証","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"UMLによるプロテクションプロファイルのモデル化とその形式的検証"}]},"item_type_id":"119","owner":"3","path":["426"],"pubdate":{"attribute_name":"公開日","attribute_value":"2008-01-30"},"publish_date":"2008-01-30","publish_status":"0","recid":"13090","relation_version_is_last":true,"title":["UMLによるプロテクションプロファイルのモデル化とその形式的検証"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-05-16T12:41:11.202771+00:00"}