{"created":"2023-05-15T15:29:09.630613+00:00","id":18720,"links":{},"metadata":{"_buckets":{"deposit":"c9eaf322-8a71-4ab7-8743-eb05ba8cca38"},"_deposit":{"created_by":3,"id":"18720","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"18720"},"status":"published"},"_oai":{"id":"oai:sucra.repo.nii.ac.jp:00018720","sets":["94:429:431:433:943"]},"author_link":["29696"],"item_113_alternative_title_1":{"attribute_name":"タイトル（別言語）","attribute_value_mlt":[{"subitem_alternative_title":"暗号プロトコルのための推論を用いた形式分析手法の改善"}]},"item_113_biblio_info_9":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2019","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"61","bibliographicPageStart":"58","bibliographicVolumeNumber":"56","bibliographic_titles":[{}]}]},"item_113_date_35":{"attribute_name":"作成日","attribute_value_mlt":[{"subitem_date_issued_datetime":"2019-09-17","subitem_date_issued_type":"Created"}]},"item_113_description_18":{"attribute_name":"識別番号 その他","attribute_value_mlt":[{"subitem_description":"学位記号番号 : 博理工甲第1129号","subitem_description_type":"Other"}]},"item_113_description_25":{"attribute_name":"注記","attribute_value_mlt":[{"subitem_description":"博士の専攻分野の名称 : 博士(学術)\n学位授与年月日 : 平成31年3月20日","subitem_description_type":"Other"}]},"item_113_description_33":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"subitem_description":"text","subitem_description_type":"Other"}]},"item_113_description_34":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_113_other_language_26":{"attribute_name":"その他の言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_113_publisher_11":{"attribute_name":"出版者名","attribute_value_mlt":[{"subitem_publisher":"埼玉大学大学院理工学研究科"}]},"item_113_publisher_12":{"attribute_name":"出版者名（別言語）","attribute_value_mlt":[{"subitem_publisher":"Graduate School of Science and Engineering, Saitama University"}]},"item_113_record_name_8":{"attribute_name":"書誌","attribute_value_mlt":[{"subitem_record_name":"埼玉大学大学院理工学研究科博士学位論文 : 論文内容の要旨及び論文審査の結果の要旨"}]},"item_113_text_31":{"attribute_name":"版","attribute_value_mlt":[{"subitem_text_value":"[出版社版]"}]},"item_113_text_36":{"attribute_name":"アイテムID","attribute_value_mlt":[{"subitem_text_value":"GD0001052"}]},"item_113_text_4":{"attribute_name":"著者 所属","attribute_value_mlt":[{"subitem_text_value":"埼玉大学大学院理工学研究科"}]},"item_113_text_5":{"attribute_name":"著者 所属（別言語）","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Science and Engineering, Saitama University"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"閻, 靖晨"},{"creatorName":"エン, セイシン","creatorNameLang":"ja-Kana"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-09-17"}],"displaytype":"detail","filename":"GD0001052.pdf","filesize":[{"value":"988.5 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"GD0001052.pdf","url":"https://sucra.repo.nii.ac.jp/record/18720/files/GD0001052.pdf"},"version_id":"47a4f865-4ba7-4f3c-9f6f-d2e64562b185"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"thesis","resourceuri":"http://purl.org/coar/resource_type/c_46ec"}]},"item_title":"Improving Formal Analysis Method with Reasoning for Cryptographic Protocols","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Improving Formal Analysis Method with Reasoning for Cryptographic Protocols"}]},"item_type_id":"113","owner":"3","path":["943"],"pubdate":{"attribute_name":"公開日","attribute_value":"2019-09-17"},"publish_date":"2019-09-17","publish_status":"0","recid":"18720","relation_version_is_last":true,"title":["Improving Formal Analysis Method with Reasoning for Cryptographic Protocols"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2023-05-15T16:47:24.717368+00:00"}