WEKO3
アイテム
{"_buckets": {"deposit": "5417adc3-a7f2-472f-a46c-b2afee185c65"}, "_deposit": {"id": "11442", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "11442"}, "status": "published"}, "_oai": {"id": "oai:soar-ir.repo.nii.ac.jp:00011442", "sets": ["1163"]}, "author_link": ["35545", "35546", "35547"], "item_1628147817048": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_6_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2013-08", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "4", "bibliographicPageEnd": "48", "bibliographicPageStart": "37", "bibliographicVolumeNumber": "2", "bibliographic_titles": [{"bibliographic_title": "Artificial Intelligence Research"}]}]}, "item_6_description_20": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Security proofs for cryptographic systems are very important. The ultimate objective of our study is to prove the security of cryptographic systems using the Mizar proof checker. In this study, we formalize the probability on a finite and discrete sample space to achieve our aim. Therefore, we introduce a formalization of the probability distribution and prove the correctness of the formalization using the Mizar proof checking system as a formal verification tool.", "subitem_description_type": "Abstract"}]}, "item_6_description_30": {"attribute_name": "資源タイプ(コンテンツの種類)", "attribute_value_mlt": [{"subitem_description": "Article", "subitem_description_type": "Other"}]}, "item_6_description_5": {"attribute_name": "引用", "attribute_value_mlt": [{"subitem_description": "Artificial Intelligence Research. 2(4):37-48 (2013)", "subitem_description_type": "Other"}]}, "item_6_link_3": {"attribute_name": "信州大学研究者総覧へのリンク", "attribute_value_mlt": [{"subitem_link_text": "Okazaki, Hiroyuki", "subitem_link_url": "http://soar-rd.shinshu-u.ac.jp/profile/ja.geDNbpkh.html"}, {"subitem_link_text": "Shidama, Yasunari", "subitem_link_url": "http://soar-rd.shinshu-u.ac.jp/profile/ja.OeceZVkh.html"}]}, "item_6_publisher_4": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Sciedu Press"}]}, "item_6_relation_48": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "10.5430/air.v2n4p37"}], "subitem_relation_type_id": {"subitem_relation_type_id_text": "https://doi.org/10.5430/air.v2n4p37", "subitem_relation_type_select": "DOI"}}]}, "item_6_rights_62": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "This work is licensed under a Creative Commons Attribution 3.0 License."}]}, "item_6_select_64": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_6_source_id_35": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1927-6974", "subitem_source_identifier_type": "ISSN"}]}, "item_6_source_id_39": {"attribute_name": "NII ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1927-6974", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Okazaki, Hiroyuki"}], "nameIdentifiers": [{"nameIdentifier": "35545", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Futa, Yuichi"}], "nameIdentifiers": [{"nameIdentifier": "35546", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Shidama, Yasunari"}], "nameIdentifiers": [{"nameIdentifier": "35547", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2015-09-28"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "Formal_definition_probability_finite_discrete_sample.pdf", "filesize": [{"value": "127.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 127400.0, "url": {"label": "Formal_definition_probability_finite_discrete_sample.pdf", "url": "https://soar-ir.repo.nii.ac.jp/record/11442/files/Formal_definition_probability_finite_discrete_sample.pdf"}, "version_id": "14cfd520-4283-42bc-ab57-ddd16735695a"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "Formal verification", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Probability on a finite and discrete sample space", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Cryptographic system", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar", "subitem_title_language": "en"}]}, "item_type_id": "6", "owner": "1", "path": ["1163"], "permalink_uri": "http://hdl.handle.net/10091/17168", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2013-09-19"}, "publish_date": "2013-09-19", "publish_status": "0", "recid": "11442", "relation": {}, "relation_version_is_last": true, "title": ["Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar"], "weko_shared_id": -1}
Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar
http://hdl.handle.net/10091/17168
http://hdl.handle.net/10091/171689c5a9a1f-162e-4c5b-88bb-43a9ae64ffee
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
|
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2013-09-19 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar | |||||
言語 | ||||||
言語 | eng | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Formal verification | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Probability on a finite and discrete sample space | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Cryptographic system | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
著者 |
Okazaki, Hiroyuki
× Okazaki, Hiroyuki× Futa, Yuichi× Shidama, Yasunari |
|||||
信州大学研究者総覧へのリンク | ||||||
氏名 | Okazaki, Hiroyuki | |||||
URL | http://soar-rd.shinshu-u.ac.jp/profile/ja.geDNbpkh.html | |||||
信州大学研究者総覧へのリンク | ||||||
氏名 | Shidama, Yasunari | |||||
URL | http://soar-rd.shinshu-u.ac.jp/profile/ja.OeceZVkh.html | |||||
出版者 | ||||||
出版者 | Sciedu Press | |||||
引用 | ||||||
内容記述タイプ | Other | |||||
内容記述 | Artificial Intelligence Research. 2(4):37-48 (2013) | |||||
書誌情報 |
Artificial Intelligence Research 巻 2, 号 4, p. 37-48, 発行日 2013-08 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | Security proofs for cryptographic systems are very important. The ultimate objective of our study is to prove the security of cryptographic systems using the Mizar proof checker. In this study, we formalize the probability on a finite and discrete sample space to achieve our aim. Therefore, we introduce a formalization of the probability distribution and prove the correctness of the formalization using the Mizar proof checking system as a formal verification tool. | |||||
資源タイプ(コンテンツの種類) | ||||||
内容記述タイプ | Other | |||||
内容記述 | Article | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 1927-6974 | |||||
DOI | ||||||
識別子タイプ | DOI | |||||
関連識別子 | https://doi.org/10.5430/air.v2n4p37 | |||||
関連名称 | 10.5430/air.v2n4p37 | |||||
権利 | ||||||
権利情報 | This work is licensed under a Creative Commons Attribution 3.0 License. | |||||
出版タイプ | ||||||
出版タイプ | VoR | |||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 |