プログラム注釈に基づくバッファオーバーフローの検知方法(セキュリティ)
スポンサーリンク
概要
- 論文の詳細を見る
従来, プログラムの外部から派生した値を格納するメモリ領域を追跡/記録し, この領域への実行遷移を検知することでバッファオーバーフローの発生を検知する方法が知られている.しかしながら, 動的にコードを生成するプログラムに対してはそのまま適用できなかった.そこで本稿では, 動的にコードを生成するプログラムにおいても適用可能なバッファオーバーフローを検知する方法として, 外部から派生した値を格納することがあってはならない領域の指定をプログラム作成時に注釈として与え, 実行時, この注釈が与えられた領域に外部から派生した値が格納された時に, バッファオーバーフローの発生を検知する方法と, その実現案を示す.
- 社団法人情報処理学会の論文
- 2005-02-22
著者
-
竹下 敦
株式会社nttドコモ先進技術研究所
-
中山 雄大
(株)NTTドコモ総合研究所
-
竹下 敦
(株)NTTドコモ総合研究所
-
金野 晃
株式会社NTTドコモ
-
金野 晃
(株)NTTドコモ マルチメディア研究所
-
行友 英記
(株)NTTドコモマルチメディア研究所
-
竹下 敦
(株)nttドコモ
-
行友 英記
(株)NTTドコモ マルチメディア研究所
関連論文
- Mobile Home to Home : 異なるホームNW間でのDLNAデバイスによる遠隔視聴の提案(無線端末)
- Collaboration Projects オープンで安全な移動端末を目指すOSTI技術
- モバイル向け異常検知ソフトウェア(セッション2:セキュリティ)
- スタック探索の簡略化による異常検知システムの高速化
- 携帯端末向けソフトウェア異常検知技術(セキュリティ)
- 環境適応型コンテンツ配信におけるコンテンツ正当性保証の実現(基礎理論)
- モバイル向け異常検知ソフトウェア
- インストラクションの発行パターンに着目したソフトウェア監視に向けた一検討(情報システム・ソフトウェア管理)
- 基幹構造圧縮 : コンテントアダプテーションに適した構文解析済XMLの圧縮(セッション4 : XML・構造化文書の蓄積とアクセス)
- 基幹構造圧縮 : コンテントアダプテーションに適した構文解析済XMLの圧縮
- プログラム注釈に基づくバッファオーバーフローの検知方法(セキュリティ)
- プログラム注釈に基づくバッファオーバーフローの検知方法
- 安全な端末を目指すTrusted Mobile Platform技術
- D-11-166 シミュレーテッドアニーリング法を用いたキノフォーム最適化手法(D-11.画像工学D)
- 情報家電ネットワーク技術とDLNAのモバイル利用に関する検討(All IPモバイルネットワーク,マルチメディアモビリティ・コマース,モバイルマルチキャスト/ブロードキャストネットワーク,モバイル・マルチメディアセキュリティ,コンテキスト/位置情報依存サービス,情報家電ネットワーク,NGN,FMC及び一般)
- 情報家電ネットワーク技術とDLNAのモバイル利用に関する検討(ネットワーク設計と一般,All IPモバイルネットワーク,マルチメディアモビリティ・コマース,モバイルマルチキャスト/ブロードキャストネットワーク,モバイル・マルチメディアセキュリティ,コンテキスト/位置情報依存サービス,情報家電ネットワーク,NGN,FMC及び一般)
- 携帯端末向けサスペンド機能利用型マルチOS環境におけるOS間通信方式(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 携帯端末向けサスペンド機能利用型マルチOS環境におけるOS間通信方式(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 携帯端末向けサスペンド機能利用型マルチOS環境におけるOS間通信方式(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 携帯端末向けサスペンド機能利用型マルチOS環境におけるOS間通信方式(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 特集「魅力ある情報通信社会のためのモバイル通信と高度交通システム」の編集にあたって
- 未来社会をプロデュースするICT : 2.モバイルICTで人,モノ,システムを深くつなげる-状況を認識し,常時つながるプラットフォーム-
- OS切替方式を用いたオープン型携帯電話における軽量難読化手法
- BluetoothのRSSIを利用した離席判定方式の提案と評価(位置推定)
- Mobile Home to Home : 異なるホームNW間でのDLNAデバイスによる遠隔視聴の提案(無線端末)
- モバイル向け異常検知ソフトウェア(セッション2:セキュリティ)
- スタック探索の簡略化による異常検知システムの高速化
- スタック探索の簡略化による異常検知システムの高速化
- 「モバイルコンピューティングの未来」
- 基幹構造圧縮 : コンテントアダプテーションに適した構文解析済XMLの圧縮(セッション4 : XML・構造化文書の蓄積とアクセス)
- モバイルICTで人,モノ,システムを深くつなげる--状況を認識し,常時つながるプラットフォーム (特集 未来社会をプロデュースするICT) -- (未来プロデューサ7)
- 異なるホームネットワーク間でのコンテンツ視聴制御技術
- モバイル連携ホームゲートウェイシステム(セッション4:ユビキタス)
- モバイル連携ホームゲートウェイシステム(セッション4:ユビキタス)
- モバイル連携ホームゲートウェイシステム
- ゼロ知識対話証明方式におけるメッセージ完全性保証機能の拡張(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- ゼロ知識対話証明方式におけるメッセージ完全性保証機能の拡張(ブロードバンドモバイル時代における基礎技術)(情報通信サブソサイエティ合同研究会)
- NTTドコモの研究開発
- NTTドコモの研究開発
- ユーザの目的や用途に合わせてカスタマイズ可能な移動端末の提案
- UPnP/DLNAパケットフィルタリングによる無線LANデバイス省電力化に関する検討(モバイルコンピューティング,モバイルアプリケーション,ユビキタス通信,モバイルマルチメディア通信)
- UPnP/DLNAパケットフィルタリングによる無線LANデバイス省電力化に関する検討(モバイルコンピューティング,モバイルアプリケーション,ユビキタス通信,モバイルマルチメディア通信)
- マルチOS環境におけるカーネル補助型難読化方式の提案(セッション2:セキュリティとマルチホップ通信)
- 携帯端末におけるWebフォーム自動入力エンジンのユーザビリティ評価(携帯端末,モバイルアプリケーション,モバイルコンピューティング)
- マルチタスクOSメモリ保護方式の実装と評価 : 少資源プラットフォーム向けCMSおよびデータ改竄検出手法
- マルチタスクOSメモリ保護方式の実装と評価 : 少資源プラットフォーム向けCMSおよびデータ改竄検出手法
- マルチタスクOSメモリ保護方式の実装と評価 : 少資源プラットフォーム向けCMSおよびデータ改竄検出手法
- 細粒度権限管理実現のための一手法の提案(セッション4-C : 暗号・電子署名)
- 細粒度権限管理実現のための一手法の提案(セッション4-C : 暗号・電子署名)
- モバイルマルチメディア最新技術(4)ビデオ符号化技術の最新動向--H.264/AVC標準規格について
- モバイル向けVPNプロトコルの検討
- マルチタスクOSにおけるメモリの保護 : データ改ざん検出手法の提案
- マルチタスクOSにおけるメモリの保護 : 少資源プラットフォーム向け暗号化メモリシステム
- マルチタスクOSにおけるメモリの保護 : データ改ざん検出手法の提案
- マルチタスクOSにおけるメモリの保護 : 少資源プラットフォーム向け暗号化メモリシステム
- 階層型URL辞書とLDAによるWeb閲覧行動のモデル化(Web情報,データ工学と情報マネジメント論文)