{"created":"2021-03-01T06:26:30.483668+00:00","id":19049,"links":{},"metadata":{"_buckets":{"deposit":"841ece97-2cee-4b32-9cc6-83a8e33619f8"},"_deposit":{"id":"19049","owners":[],"pid":{"revision_id":0,"type":"depid","value":"19049"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00019049","sets":["312:313:314"]},"author_link":["55603","55604","55605","55606","55607","55608","55609","55610","55611","55612","55613","55614","55615","55616"],"control_number":"19049","item_10_alternative_title_19":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"A Type System for Analyzing Secure Information Flow in Object-Oriented Programs with Exception Handling","subitem_alternative_title_language":"en"}]},"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2008-03","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicPageEnd":"770","bibliographicPageStart":"757","bibliographicVolumeNumber":"J91D","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会論文誌D, 情報・システム","bibliographic_titleLang":"ja"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"本論文では,例外処理機能をもつオブジェクト指向プログラムの安全性を情報流解析に基づいて検証するための型システムを提案する.例外処理による情報流は,スローされる例外とそれを捕そくする箇所に依存して変化する.この情報流を解析するためには,プログラム中の各文についてどの例外からの制御依存が存在するか把握しなければならない.我々は文がスローし得る例外の集合と文に出現する情報流のあるデータの機密度からなる安全型を導入する.この安全型に基づいて従来の型システムを拡張し,本型システムが非干渉性に対し健全であることを示す.健全性により型付け可能なプログラムは機密データを外部に漏えいしないことが保証される.","subitem_description_language":"ja","subitem_description_type":"Abstract"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"URI","subitem_identifier_uri":"http://ci.nii.ac.jp/naid/110007381011"},{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/21155"},{"subitem_identifier_type":"URI","subitem_identifier_uri":"http://search.ieice.org/index.html"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"一般社団法人電子情報通信学会","subitem_publisher_language":"ja"}]},"item_10_relation_43":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"http://ci.nii.ac.jp/naid/110007381011","subitem_relation_type_select":"URI"}},{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"http://search.ieice.org/index.html","subitem_relation_type_select":"URI"}}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"(c)一般社団法人電子情報通信学会。本文データは学協会の許諾に基づきCiNiiから複製したものである","subitem_rights_language":"ja"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_10_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1880-4535","subitem_source_identifier_type":"PISSN"}]},"item_1615787544753":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"黒川, 翔","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55603","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"桑原, 寛明","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55604","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"山本, 晋一郎","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55605","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"坂部, 俊樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55606","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"酒井, 正彦","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55607","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"草刈, 圭一朗","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55608","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"西田, 直樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"55609","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KUROKAWA, Sho","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55610","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KUWABARA, Hiroaki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55611","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"YAMAMOTO, Shinichiro","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55612","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKABE, Toshiki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55613","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SAKAI, Masahiko","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55614","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"KUSAKARI, Keiichirou","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55615","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"NISHIDA, Naoki","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"55616","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"110007381011.pdf","filesize":[{"value":"1.6 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"110007381011.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/19049/files/110007381011.pdf"},"version_id":"d646bed4-3c1c-45c0-ba2f-0e0a8c0fb55e"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"セキュリティ検査","subitem_subject_scheme":"Other"},{"subitem_subject":"情報流解析","subitem_subject_scheme":"Other"},{"subitem_subject":"型システム","subitem_subject_scheme":"Other"},{"subitem_subject":"例外処理","subitem_subject_scheme":"Other"}]},"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":"例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム","subitem_title_language":"ja"}]},"item_type_id":"10","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2015-01-29"},"publish_date":"2015-01-29","publish_status":"0","recid":"19049","relation_version_is_last":true,"title":["例外処理付きオブジェクト指向プログラムにおける情報流の安全性解析のための型システム"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:32:28.837111+00:00"}