{"links":{},"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00044792","sets":["1164:3925:3941:3945"]},"path":["3945"],"owner":"11","recid":"44792","title":["デモジュレーションを用いた等価検証による自己改変型コードの検出"],"pubdate":{"attribute_name":"公開日","attribute_value":"2005-03-22"},"_buckets":{"deposit":"f86a6f65-f6eb-4aac-8c57-252068c20bf5"},"_deposit":{"id":"44792","pid":{"type":"depid","value":"44792","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"デモジュレーションを用いた等価検証による自己改変型コードの検出","author_link":["457627","457626","457624","457625"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"デモジュレーションを用いた等価検証による自己改変型コードの検出"},{"subitem_title":"Formal method using demodulation against metamorphic viral coding","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2005-03-22","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"慶應義塾大学政策メディア研究科"},{"subitem_text_value":"慶應義塾大学政策メディア研究科"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Media and Governance Keio University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Media and Governance Keio University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"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/44792/files/IPSJ-CSEC04028006.pdf","label":"IPSJ-CSEC04028006"},"date":[{"dateType":"Available","dateValue":"2007-03-22"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-CSEC04028006.pdf","filesize":[{"value":"110.8 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":"30"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"3574bb10-8bcb-4c6c-bd88-3adec512539a","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2005 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"安藤, 類央"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"武藤, 佳恭"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Ruo, Ando","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yoshiyasu, Takefuji","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11235941","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"冗長なアセンブラや分岐命令の挿入によりパターンマッチを回避する自己改変型のコードを、デモジュレーションを用いた形式的検証により検出する方法を提案する。提案手法では、検出対象となるコードを支持集合に加え、等価代入を繰り返すことで冗長性が付加される前のコードとの間に節矛盾を生じさせることで検出を行う。デモジュレータには、検出対象のアセンブラに固有の性質を、ヒューリスティックに記述することができる。これにより、不正なアセンブラ固有の知識を反映させた効率的な検出方法の可能性を示す。","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In this paper we present a equivalence checking method applying demodulation for detecting　metamorphic viral coding. For effective searching, SoS (set of support) strategy is applied. Target code is added to the list of set of support with repeating equality substitution to generate　unit conflict. Demodulators could be described from the experience specified for skill developer.　 This system enabled us to detect metamorphic code effectively in the point that we control scanning with demodulators heuristically adopted.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"35","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告コンピュータセキュリティ（CSEC）"}],"bibliographicPageStart":"31","bibliographicIssueDates":{"bibliographicIssueDate":"2005-03-22","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"33(2004-CSEC-028)","bibliographicVolumeNumber":"2005"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"updated":"2025-01-19T23:39:23.119173+00:00","created":"2025-01-18T23:10:53.087093+00:00","id":44792}