WEKO3
アイテム
シナリオ関数のアルゴリズムを用いたバッファオーバーフローの防止手法の提案
https://ipsj.ixsq.nii.ac.jp/records/240808
https://ipsj.ixsq.nii.ac.jp/records/24080864f9d484-5abe-4ea6-b074-0892ed53a13f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-CSS2024062.pdf (706.3 kB)
2026年10月15日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, CSEC:会員：¥0, SPT:会員：¥0, DLIB:会員：¥0 | ||
| Item type | Symposium(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-10-15 | |||||||||
| タイトル | ||||||||||
| 言語 | ja | |||||||||
| タイトル | シナリオ関数のアルゴリズムを用いたバッファオーバーフローの防止手法の提案 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Proposal of a Method for Preventing Buffer Overflow Using the Scenario Function Algorithm | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | シナリオ関数, バッファオーバーフロー | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 創価大学 | ||||||||||
| 著者所属 | ||||||||||
| 創価大学 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Soka University | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| Soka University | ||||||||||
| 著者名 |
奥田, 愛矢
× 奥田, 愛矢
× 金子, 朋子
|
|||||||||
| 著者名(英) |
Manaya, Okuda
× Manaya, Okuda
× Tomoko, Kaneko
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 潜在バグレスの実現とコンピュータウイルスの無力化により，プログラムレベルでのセーフティとセキュリティに資するとされる技術にシナリオ関数がある．セキュリティの観点においてのシナリオ関数とは，ロジックでプログラムの異常を捉え，コンピュータウイルスを無力化するアルゴリズムである．シナリオ関数は潜在バグを捉えるアルゴリズムとして特許化された背景を持つが，サイバーセキュリティの観点での研究は十分に行われておらず，実際にその有効性を示した研究論文は存在しない．本研究では，まずシナリオ関数の定義とそれがバッファオーバーフロー攻撃に対して有効である理由を述べる．さらに，シナリオ関数のアルゴリズムの効率化を図り，それを用いた古典的なバッファオーバーフロー攻撃の防止手法を提案する． | |||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Scenario Function(SF) is considered a technology that contributes to safety and security at the program level by eliminating bugs and neutralizing computer viruses. From a security perspective, SF is an algorithm that detects anomalies in a program's logic and neutralizes computer viruses. Although SF have a background in being patented as algorithms for detecting latent bugs, research from a cybersecurity perspective has not been sufficiently conducted, and no research papers have demonstrated their effectiveness. In this study, we first define SF and explain why they are theoretically effective against buffer overflow attacks. Furthermore, we propose a new algorithm that addresses some challenges in implementing SF. | |||||||||
| 書誌情報 |
コンピュータセキュリティシンポジウム2024論文集 p. 457-462, 発行日 2024-10-15 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
