WEKO3
アイテム
{"_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": ["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_relation_7": {"attribute_name": "著者 外部リンク", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "\u0026EMPTY\u0026"}], "subitem_relation_type_id": {"subitem_relation_type_id_text": "\u0026EMPTY\u0026", "subitem_relation_type_select": "URI"}}, {"subitem_relation_name": [{"subitem_relation_name_text": "\u0026EMPTY\u0026"}], "subitem_relation_type_id": {"subitem_relation_type_id_text": "\u0026EMPTY\u0026", "subitem_relation_type_select": "URI"}}, {"subitem_relation_name": [{"subitem_relation_name_text": "http://s-read.saitama-u.ac.jp/researchers/pages/researcher/TuzxsNBx"}], "subitem_relation_type_id": {"subitem_relation_type_id_text": "http://s-read.saitama-u.ac.jp/researchers/pages/researcher/TuzxsNBx", "subitem_relation_type_select": "URI"}}, {"subitem_relation_name": [{"subitem_relation_name_text": "http://s-read.saitama-u.ac.jp/researchers/pages/researcher/Txguaewe"}], "subitem_relation_type_id": {"subitem_relation_type_id_text": "http://s-read.saitama-u.ac.jp/researchers/pages/researcher/Txguaewe", "subitem_relation_type_select": "URI"}}]}, "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": "\u0026EMPTY\u0026"}, {"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_35": {"attribute_name": "公開日(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "May 30, 2008 09:00:00"}]}, "item_119_text_36": {"attribute_name": "最終更新日(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "Sep 8, 2009 11:29:55"}]}, "item_119_text_37": {"attribute_name": "更新履歴(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "Sep 8, 2009 著者 を変更"}, {"subitem_text_value": "Mar 18, 2009 "}, {"subitem_text_value": "Oct 15, 2008 コメント, インデックス を変更"}, {"subitem_text_value": "May 30, 2008 インデックス を変更"}, {"subitem_text_value": "May 30, 2008 フリーキーワード, インデックス を変更"}]}, "item_119_text_38": {"attribute_name": "登録者(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "sucra_jim4"}]}, "item_119_text_39": {"attribute_name": "閲覧数(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "2390"}]}, "item_119_text_4": {"attribute_name": "著者 所属", "attribute_value_mlt": [{"subitem_text_value": "埼玉大学"}, {"subitem_text_value": "埼玉大学"}, {"subitem_text_value": "埼玉大学"}, {"subitem_text_value": "埼玉大学"}]}, "item_119_text_40": {"attribute_name": "ダウンロード数(XooNIps)", "attribute_value_mlt": [{"subitem_text_value": "1084"}]}, "item_119_text_41": {"attribute_name": "XooNIps_インデックス", "attribute_value_mlt": [{"subitem_text_value": "sucra_jim4|Public/埼玉大学/理工学研究科|Public/埼玉大学/理工学研究科/数理電子情報部門|Public/主題別/総合領域/情報学/ソフトウェア|Public/ジャンル別/学術雑誌論文(国内)/その他の学会・団体"}]}, "item_119_text_42": {"attribute_name": "XooNIps_ITEM_KEY", "attribute_value_mlt": [{"subitem_text_value": "2434"}]}, "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": [{"nameIdentifier": "21361", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "重松, 真二郎"}], "nameIdentifiers": [{"nameIdentifier": "21362", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "後藤, 祐一"}, {"creatorName": "ゴトウ, ユウイチ", "creatorNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "16490", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "TuzxsNBx", "nameIdentifierScheme": "研究者総覧", "nameIdentifierURI": "http://s-read.saitama-u.ac.jp/researchers/pages/researcher/TuzxsNBx"}]}, {"creatorNames": [{"creatorName": "程, 京徳"}, {"creatorName": "チェン, ジンデ", "creatorNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "16642", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-01-24"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "A1002675.pdf", "filesize": [{"value": "323.2 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 323200.0, "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"], "permalink_uri": "https://sucra.repo.nii.ac.jp/records/13268", "pubdate": {"attribute_name": "公開日", "attribute_value": "2008-05-30"}, "publish_date": "2008-05-30", "publish_status": "0", "recid": "13268", "relation": {}, "relation_version_is_last": true, "title": ["ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法"], "weko_shared_id": -1}
ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法
https://sucra.repo.nii.ac.jp/records/13268
https://sucra.repo.nii.ac.jp/records/132683edf160e-d67b-4985-bc3f-29b9557f6c4a
名前 / ファイル | ライセンス | アクション |
---|---|---|
A1002675.pdf (323.2 kB)
|
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2008-05-30 | |||||
タイトル | ||||||
タイトル | ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法 | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者 |
森本, 祥一
× 森本, 祥一× 重松, 真二郎× 後藤, 祐一× 程, 京徳 |
|||||
著者 ローマ字 | ||||||
MORIMOTO, Shoichi | ||||||
著者 ローマ字 | ||||||
著者 ローマ字 | ||||||
Goto, Yuichi | ||||||
著者 ローマ字 | ||||||
Cheng, Jingde | ||||||
著者 所属 | ||||||
埼玉大学 | ||||||
著者 所属 | ||||||
埼玉大学 | ||||||
著者 所属 | ||||||
埼玉大学 | ||||||
著者 所属 | ||||||
埼玉大学 | ||||||
著者 所属(別言語) | ||||||
Saitama University | ||||||
著者 所属(別言語) | ||||||
Saitama University | ||||||
著者 所属(別言語) | ||||||
Saitama University | ||||||
著者 所属(別言語) | ||||||
Saitama University | ||||||
書誌情報 |
コンピュータソフトウェア 巻 23, 号 3, p. 117-133, 発行日 2006 |
|||||
年月次 | ||||||
2006-7 | ||||||
出版者名 | ||||||
出版者 | 日本ソフトウェア科学会 | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 02896540 | |||||
関連サイト | ||||||
内容記述タイプ | Other | |||||
内容記述 | 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/ | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 情報システムの設計・開発において,セキュリティ仕様とその検証は重要な課題となっている.検証を行うには基準が必要であるが,情報システムが備えるべきセキュリティの基準を定めることは難しい.このため本論文では,IT製品や情報システムのセキュリティ評価の国際標準であるISO/IEC15408を基準として採用し,これに基づいた情報セキュリティ仕様の形式手法による検証技法を提案する.本検証技法では,形式的に記述したISO/IEC15408のセキュリティ評価基準を用いて,対象となる情報システムの仕様がISO/IEC15408の基準を満たしているかどうかを定理証明とモデル検査により厳密に検証することができる. | |||||
版 | ||||||
[出版社版] | ||||||
著者版フラグ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
資源タイプ | ||||||
内容記述タイプ | Other | |||||
内容記述 | text | |||||
フォーマット | ||||||
内容記述タイプ | Other | |||||
内容記述 | application/pdf | |||||
作成日 | ||||||
日付 | 2008-05-30 | |||||
日付タイプ | Created | |||||
アイテムID | ||||||
A1002675 |