{"id":81298,"updated":"2025-01-21T19:25:26.847914+00:00","links":{},"created":"2025-01-18T23:35:33.316270+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00081298","sets":["581:6644:6728"]},"path":["6728"],"owner":"11","recid":"81298","title":["競合回避機構を備えた高互換かつ高精度な境界検査手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2012-03-15"},"_buckets":{"deposit":"63bd940f-82ea-4727-bf86-7cb39680d0b7"},"_deposit":{"id":"81298","pid":{"type":"depid","value":"81298","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"競合回避機構を備えた高互換かつ高精度な境界検査手法","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"競合回避機構を備えた高互換かつ高精度な境界検査手法"},{"subitem_title":"Highly Compatible and Precise Bounds Checking with a Race-avoiding Machinery","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"一般論文","subitem_subject_scheme":"Other"}]},"item_type_id":"2","publish_date":"2012-03-15","item_2_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"電気通信大学大学院情報システム学研究科"},{"subitem_text_value":"東京工業大学学術国際情報センター"},{"subitem_text_value":"東京工業大学大学院総合理工学研究科"}]},"item_2_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Information Systems, The University of Electro-Communications","subitem_text_language":"en"},{"subitem_text_value":"Global Scientific Information and Computing Center, Tokyo Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Interdisciplinary Graduate School of Science and Engineering, Tokyo Institute of Technology","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/81298/files/IPSJ-JNL5303026.pdf"},"date":[{"dateType":"Available","dateValue":"2014-03-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JNL5303026.pdf","filesize":[{"value":"548.4 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"8"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"d6adb74e-8179-4899-ae6e-da75e3bf9d9a","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2012 by the Information Processing Society of Japan"}]},"item_2_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"荒堀, 喜貴"},{"creatorName":"権藤, 克彦"},{"creatorName":"前島, 英雄"}],"nameIdentifiers":[{}]}]},"item_2_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yoshitaka, Arahori","creatorNameLang":"en"},{"creatorName":"Katsuhiko, Gondow","creatorNameLang":"en"},{"creatorName":"Hideo, Maejima","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_2_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116647","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_2_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7764","subitem_source_identifier_type":"ISSN"}]},"item_2_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"ネットワークプログラムなどの重要なシステムにおいて，境界違反は深刻な脆弱性となりうるため，（C言語の）境界検査手法は現在まで継続的に提案されている．それらのうち，実用コードとの互換性が高くかつ誤検出率の低い手法は，実行時に全有効オブジェクトの境界をheap領域上の表を用いて管理する手法である．しかし，この手法は現状，シグナル処理中に深刻な互換性の損失または検査精度の低下を引き起こしてしまう．これらの問題を回避するために，我々は（1）間接シグナル処理，（2）検査バッファリングと呼ぶ2つの技術からなる検査制御方式を提案する．間接シグナル処理は検査対象プログラムの実行コンテキストを追跡管理し，検査バッファリングはシグナルハンドラ内の検査コードの実行をハンドラの終了まで保留する．我々は提案方式の実装と評価実験を行った．実験の範囲内で，ApacheやSendmailなどのシグナル処理を含む実用Cプログラムに対し，提案方式は互換性を維持したまま高精度な境界検査を実現できた．","subitem_description_type":"Other"}]},"item_2_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"For important systems such as network programs, boundary errors can be the source of severe vulnerabilities so that bounds checking techniques (for C) have been continuously proposed. Among them, the only approach to maintain high backwards compatibility and low false-positive rate is the one which uses heap-allocated tables to dynamically track the bounds of every valid object. However, this approach seriously loses compatibility or decreases accuracy during the handling of signals. To avoid these problems, we propose a scheme for controlling checks that consists of two techniques: (1) indirect signal handling, which keeps track of the execution context of the checked program, and (2) check buffering, which suspends the execution of check code within a signal handler until the handler finishes. We have implemented our scheme and conducted experimental evaluation. Our experimental results show that, without losing compatibility, our scheme was able to perform bounds checks precisely on real C programs including Apache and Sendmail which employed signal handlers.","subitem_description_type":"Other"}]},"item_2_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"1165","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}],"bibliographicPageStart":"1150","bibliographicIssueDates":{"bibliographicIssueDate":"2012-03-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicVolumeNumber":"53"}]},"relation_version_is_last":true,"weko_creator_id":"11"}}