Redundancy-control strategyを用いた自己改変型ウィルス検出の高速化(セッション1)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では、ウィルス・ワームの自己改変による検出回避手法への対応策として、形式的検証をベースにした導出モデルに、REDUNDANCY-CONTROL戦略を適用することで、検出の高速化を行う。提案する導出型ウィルス検出では、従来の逐次処理で対象プログラムを追跡するコンパイラ型のデバッグ手法では発見が困難な自己改変型コンピュータウィルスを、インタプリタ型の処理が可能な形式に再表現を行うことで、数十行の定理群によって感染処理を構成する操作を検出することが可能であることを示す。評価実験では、FOL(一階述語論理)定理証明系の上で導出モデルを構築し、REDUNDANCY-CONTROL戦略を適用することで、高速化を行い、現実的な計算コストで同ウィルス検出が可能になることを示した。
- 2005-12-09
著者
関連論文
- ニューラルネットワークの最適化による五目並べの戦略
- Redundancy-control strategyを用いた自己改変型ウィルス検出の高速化(セッション1)
- 2種の創動運動の温熱画像による分析
- 2種の創動運動用機器による運動のサーモグラフィによる分析
- リハビリテーションによる回復度評価データの標準化の為のデータベース構築と分析
- 自己組織化マップを用いた紫外分光画像による生地風合い判別
- 褥瘡の予防とリハビリテーション実施に関する研究
- 紫外可視ハイパースペクトラルカメラの開発
- 誤警報を削減し未知のDoS攻撃を検知するNIDS
- マルチエージェント社会における役割分担の生成 : 蟻のコロニーにおける食糧運搬
- ニューラルネットワークに基づくセキュリティ技術(情報セキュリティとAI)
- 人の歩行で電気を生み出す「床発電システム」
- 圧電・超音波材料 圧電素子を駆使した床発電システムの開発
- 第7章 接続性と利便性を重視した新技術が続々と現れる 広がるホームネットワーク技術入門 (急速に変化する技術を読むための用語集 現代エレクトロニクスの基礎知識)
- オープンソース方式による侵入検出システムの開発について
- オープンソース方式による侵入検出システムの開発について
- 4T-10 相互監視方式によるネットワーク侵入検出
- 4T-6 ネットワーク侵入検出手法の比較と脅威に応じた動的な検出
- 3S-7 モジュール分割による容易なモバイルエージェントの記述方法
- エージェントによるセールコンテンツへの自動応対
- ニューラルネットワークによるX次元N Queen問題の解決
- マルチエージェントを用いたWWWコンテンツ管理
- 時間・資源コスト概念に基づくエージェント間交渉
- モバイル・エージェントのためのレンタルプレースの設計と利用市場の形成
- 国家情報基盤と安全保障の課題 : Information Warfareと情報通信倫理
- フォールト・トレラント・ゲートの提案
- ニュ-ラルコンピュ-ティングの遊び方(23)モンゴルにおける空港配置問題
- ニュ-ラルコンピュ-ティングの遊び方(10)電話連絡網問題
- OCNへの期待と要望
- 講演 ネットワ-クコンピュ-タの衝撃
- インターネットを利用した情報探索入門 (「人工知能研究者のためのインターネット活用術」)
- 米国でのCALS/EC/EDIの現状と情報戦略
- ニューラルネットワークによる一次元ゲート割り当て問題の解法
- Neural Computing for Optimization and Combinatorics: How to Survey in the Internet
- ニューラルネットワークの組合せ最適化への応用(チュートリアル)
- ニューラルネットワークの組合せ最適化への応用(ニューラルネットワーク)
- Boxed Economy Foundation Model:社会・経済のエージェントベースモデリングのためのフレームワーク
- Boxed Economy Foundation Model:社会・経済のエージェントベースモデリングのためのフレームワーク
- 3層ニューラルネットワークと変形デンプレート法による動画像の人物検出
- リカレント型ニューラルネットワークを用いた人体のモデルフィッティング手法の提案 (パターン認識・メディア理解)
- 法整備による超高齢社会の介護システムの確立 : ―日英法比較研究―
- Hot List Strategyを用いたグラフ彩色問題解法の高速化(セッション6)
- L-022 GreenMarker : lightweight biotope map analyzer using BitPlane-style digital watermarking
- 分岐命令処理フィルタを用いた不正プロセス実時間防御機構の構築(ネットワークセキュリティ, 多様な社会的責任を担うコンピュータセキュリティ技術)
- 「音声発電」による搬送波とベースバンド信号の一体型供給伝送デバイスの作成(モバイルユビキタス時代のネットワークとサービス(キーワード: ユビキタス, センサーNWネットワークアーキテクチャ, Ad-Hoc, 及び, そのアプリケーションなど))
- 「音声発電」による搬送波とベースバンド信号の一体型供給伝送デバイスの作成(モバイルユビキタス時代のネットワークとサービス(キーワード: ユビキタス, センサーNWネットワークアーキテクチャ, Ad-Hoc, 及び, そのアプリケーションなど))
- 改良例外ハンドラによる実時間オーバーフロー防御システム(セッション8-C : 侵入検知システム(3))
- デモジュレーションを用いた等価検証による自己改変型コードの検出(セッション1-B : 侵入検知システム(1))
- 改良例外ハンドラによる実時間オーバーフロー防御システム(セッション8-C : 侵入検知システム(3))
- デモジュレーションを用いた等価検証による自己改変型コードの検出(セッション1-B : 侵入検知システム(1))
- デモジュレーションを用いた等価検証による自己改変型コードの検出
- 超導出による状態空間問題解法のCDMA同期補足への適用(ネットワーク制御と連携)
- 超導出による状態空間問題解法のCDMA同期補足への適用(ネットワーク制御と連携)
- 超導出による状態空間問題解法のCDMA同期補足への適用
- デモジュレーションを用いた等価検証による自己改変型コードの検出
- 三層型画像データ構造によるGISと植生図のアーカイビング方式の提案(セッション1 : 情報管理)
- ニューラルネットワークを用いた学習型NIDSの開発
- ニューラルネットワークを用いた学習型NIDSの開発
- 人工市場アプローチによる家庭用VTRの規格競争シミュレーション
- 人工市場アプローチによる家庭用VTRの規格競争シミュレーション
- 学習と進化によるニューラル・エージェントの動的環境への適応
- ニュ-ラルコンピュ-ティングの遊び方-25-ニュ-ラルエ-ジェントの学習と進化
- ニュ-ラルコンピュ-ティングの遊び方-11-ナイトツア-問題に挑戦
- 3層ニューラルネットワークと変形テンプレート法による動画像の人物検出
- ホップフィールド型ニューラルネットによる制約条件付きクラスタリング
- 多層パルスニューラルネットによる非定常な同期発火モデル(ニューラルネットII)
- ホップフィールド型ニューラルネットによる制約条件付クラスタリング(ニューラルネットI)
- 同期する2層のパルスニューラルネットを用いた幾何図形の認識
- リカレント型ニューラルネットワークを用いた人体のモデルフィッティング手法の提案
- ニューラルネットワークによる新解の発見 : "Doubly Attacking Queens"
- Material Report R&D 音力発電の現状とこれから
- ニューラルネットワークを用いた最適化問題における重み付けの対称性の破れとその効果(アルゴリズム理論)
- セル・オートマタによる符号化手法とその分析
- セル・オートマタによる符号化手法とその分析
- セル・オートマタによる符号化手法とその分析(セルオートマトン)
- 遺伝的アルゴリズムにおける交叉遺伝子長の非対称性と解探索能力の向上(進化的計算)
- カオスニューロンを用いた階層型ニューラルネットワークによる重なったパターンの分離
- エージェントベース社会シミュレーションのための人間の行動原則の観測システムに関する提案 : シミュレーション世界と現実世界をリンクするための方法論
- エージェントベース社会シミュレーションのための人間の行動原則の観測システムに関する提案 : シミュレーション世界と現実世界をリンクするための方法論
- 音声におけるニューラルネットワーク及び統計量を利用した電子透かし
- 音声におけるニューラルネットワーク及び統計量を利用した電子透かし(画像処理II, ITS画像処理,映像メディア及び一般)
- 音声におけるニューラルネットワーク及び統計量を利用した電子透かし(画像処理II,ITS映像メディア及び一般)
- ニューラルネットワークに基づく細密配線アルゴリズムの並列計算機上への実装
- ニューラルネットワークに基づく並列自動配線アルゴリズム
- ニューラルネットワークに基づく並列自動配線アルゴリズム
- ニューラル手法とGAによる新解の発見 : "Doubly Attacking Queens"(数理モデル応用)
- ニューラル手法とGAによる新解の発見 : "Doubly Attacking Queens"
- Second-order Neural Networkを用いた移動物体領域の抽出
- Second-Order Naural Networkを用いた移動物体領域の抽出
- ハイパースペクトラム画像解析による人物の肌の特徴抽出
- 非線形振動子による複数人物の顔の群化モデル
- ニュ-ラルコンピュ-ティングの遊び方(18)バックプロパゲ-ションによる学習
- 難問への挑戦
- ニュ-ラルコンピュ-ティングの遊び方-12-自己組織化モデルによるMRI画像処理
- ニューラルコンピューティングの「いろは歌」作成への応用
- ニューラルコンピューティングの「いろは歌」作成への応用
- ニューラルコンピューティングを用いた現代いろは歌の作成
- ニュ-ラルコンピュ-ティングの遊び方-17-電車のダイヤ作成問題
- ニュ-ラルコンピュ-ティングの遊び方(22)現代いろは歌を作ろう
- ニューラルコンピューティングによる小選挙区区割り手法