{"created":"2023-05-15T15:25:34.666467+00:00","id":13268,"links":{},"metadata":{"_buckets":{"deposit":"3d288f31-f4a6-44d1-b571-595799628fc6"},"_deposit":{"created_by":3,"id":"13268","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"13268"},"status":"published"},"_oai":{"id":"oai:sucra.repo.nii.ac.jp:00013268","sets":["94:426"]},"author_link":["21361","21362","16642","16490"],"item_119_biblio_info_8":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2006","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicPageEnd":"133","bibliographicPageStart":"117","bibliographicVolumeNumber":"23","bibliographic_titles":[{"bibliographic_title":"コンピュータソフトウェア"}]}]},"item_119_date_31":{"attribute_name":"作成日","attribute_value_mlt":[{"subitem_date_issued_datetime":"2008-05-30","subitem_date_issued_type":"Created"}]},"item_119_description_17":{"attribute_name":"関連サイト","attribute_value_mlt":[{"subitem_description":"http://www.jstage.jst.go.jp/article/jssst/23/3/23_3_117/_article/-char/ja/ | http://www.jstage.jst.go.jp/article/jssst/23/3/23_3_117/_article/-char/ja/","subitem_description_type":"Other"}]},"item_119_description_19":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"情報システムの設計・開発において，セキュリティ仕様とその検証は重要な課題となっている．検証を行うには基準が必要であるが，情報システムが備えるべきセキュリティの基準を定めることは難しい．このため本論文では，IT製品や情報システムのセキュリティ評価の国際標準であるISO/IEC15408を基準として採用し，これに基づいた情報セキュリティ仕様の形式手法による検証技法を提案する．本検証技法では，形式的に記述したISO/IEC15408のセキュリティ評価基準を用いて，対象となる情報システムの仕様がISO/IEC15408の基準を満たしているかどうかを定理証明とモデル検査により厳密に検証することができる．","subitem_description_type":"Abstract"}]},"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":"02896540","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, Shoichi"},{"subitem_text_value":"&EMPTY&"},{"subitem_text_value":"Goto, Yuichi"},{"subitem_text_value":"Cheng, Jingde"}]},"item_119_text_32":{"attribute_name":"アイテムID","attribute_value_mlt":[{"subitem_text_value":"A1002675"}]},"item_119_text_4":{"attribute_name":"著者 所属","attribute_value_mlt":[{"subitem_text_value":"埼玉大学"},{"subitem_text_value":"埼玉大学"},{"subitem_text_value":"埼玉大学"},{"subitem_text_value":"埼玉大学"}]},"item_119_text_5":{"attribute_name":"著者 所属(別言語)","attribute_value_mlt":[{"subitem_text_value":"Saitama University"},{"subitem_text_value":"Saitama University"},{"subitem_text_value":"Saitama University"},{"subitem_text_value":"Saitama University"}]},"item_119_text_9":{"attribute_name":"年月次","attribute_value_mlt":[{"subitem_text_value":"2006-7"}]},"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":"森本, 祥一"},{"creatorName":"モリモト, ショウイチ","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"重松, 真二郎"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"後藤, 祐一"},{"creatorName":"ゴトウ, ユウイチ","creatorNameLang":"ja-Kana"}],"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":"A1002675.pdf","filesize":[{"value":"323.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A1002675.pdf","url":"https://sucra.repo.nii.ac.jp/record/13268/files/A1002675.pdf"},"version_id":"7ba4b537-34d0-4168-9aa6-4767c05bfb07"}]},"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":"ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法"}]},"item_type_id":"119","owner":"3","path":["426"],"pubdate":{"attribute_name":"公開日","attribute_value":"2008-05-30"},"publish_date":"2008-05-30","publish_status":"0","recid":"13268","relation_version_is_last":true,"title":["ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-05-16T12:38:07.727710+00:00"}