ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_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}
  1. 090 大学院理工学系研究科, 大学院総合工学系研究科
  2. 0901 学術論文

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/17168
9c5a9a1f-162e-4c5b-88bb-43a9ae64ffee
名前 / ファイル ライセンス アクション
Formal_definition_probability_finite_discrete_sample.pdf Formal_definition_probability_finite_discrete_sample.pdf (127.4 kB)
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

WEKO 35545

Okazaki, Hiroyuki

Search repository
Futa, Yuichi

× Futa, Yuichi

WEKO 35546

Futa, Yuichi

Search repository
Shidama, Yasunari

× Shidama, Yasunari

WEKO 35547

Shidama, Yasunari

Search repository
信州大学研究者総覧へのリンク
氏名 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
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 11:49:53.431209
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3