JP4669053B2 - 情報処理装置、情報処理方法及びこれを実現させるためのプログラム - Google Patents

情報処理装置、情報処理方法及びこれを実現させるためのプログラム Download PDF

Info

Publication number
JP4669053B2
JP4669053B2 JP2009067407A JP2009067407A JP4669053B2 JP 4669053 B2 JP4669053 B2 JP 4669053B2 JP 2009067407 A JP2009067407 A JP 2009067407A JP 2009067407 A JP2009067407 A JP 2009067407A JP 4669053 B2 JP4669053 B2 JP 4669053B2
Authority
JP
Japan
Prior art keywords
read
write
sequence
events
event
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
JP2009067407A
Other languages
English (en)
Other versions
JP2010102679A (ja
Inventor
聡 勝沼
正裕 五島
英嗣 入江
亮太 塩谷
修一 坂井
Original Assignee
株式会社半導体理工学研究センター
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 株式会社半導体理工学研究センター filed Critical 株式会社半導体理工学研究センター
Priority to JP2009067407A priority Critical patent/JP4669053B2/ja
Priority to US12/411,771 priority patent/US8413240B2/en
Publication of JP2010102679A publication Critical patent/JP2010102679A/ja
Application granted granted Critical
Publication of JP4669053B2 publication Critical patent/JP4669053B2/ja
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/52—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow
    • G06F21/54—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow by adding security routines or objects to programs

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Description

本発明は、コンピュータ・システムに対する注入攻撃（injection attack）の検出等を目的とする情報処理装置、情報処理方法及びこれを実現させるためのプログラムに関する。
コンピュータ・システムに対する注入攻撃とは、コンピュータ・システムの脆弱性を利用して、外部からこのコンピュータ・システムに注入（inject）した攻撃コードや攻撃コマンドなどを、このコンピュータ・システムに実行させる攻撃をいう。
当初は、バッファ・オーバフローをはじめとして、通常クライアント上で動作するネイティブ・コードのプログラムに対する攻撃が主であった。しかし、最近では、クロス・サイト・スクリプティング（ＸＳＳ）やＳＱＬインジェクションなど、Ｐｅｒｌ、ＰＨＰ、Ｊａｖａ（登録商標）などのスクリプト言語で記述されたサーバ・プログラムに対する攻撃が深刻になっている。ここで、前者のように、ネイティブ・コードの構造に依存する攻撃を低次（low-level）の攻撃といい、後者のように、ネイティブ・コードの構造に依存しない攻撃を高次（high-level）の攻撃という。
このような注入攻撃を検出する方法として、ＤＴＰ（Dynamic Taint Propagation）、ＤＩＦＴ（Dynamic Information Flow Tracking）と呼ばれる技術群がある。ＤＴＰ／ＤＩＦＴでは、プログラムが扱う各データには、外部からの入力に依存するかどうかを表す追跡情報（以下、テイント情報と称す。）が付加される。そして、ＤＴＰ／ＤＩＦＴでは、このテイント情報を用いて、動的（Dynamic）に、すなわち、プログラム実行時に、外部から入力されたデータに依存するデータを追跡することによって、注入攻撃を検出する。
テイント情報は、最も基本的な方法では、１ビットのテイント・ビットによって表現される。以下、その場合を基に説明するが、実質的に相当する場合も包含される。注入攻撃を検出するより具体的な方法は、以下の（１−１）から（１−３）による３つの処理を行う。なお、テイント・ビットがセットされたデータをテイント・データという。
（１−１）外部からデータが入力されたとき、そのデータに対してテイント・ビットをセットする。
（１−２）データの依存関係にしたがって、依存元から依存先へとテイント・ビットの内容を伝搬させる。
（１−３）プログラムからデータが出力されるとき、そのデータのテイント・ビットを検査する。テイント・ビットがセットされていれば、攻撃の可能性があると判定する。
ＤＴＰ／ＤＩＦＴには、以下で述べるように、処理の実行主体に関して、様々な実装方法が考えられる。
ＤＴＰでは、Ｐｅｒｌのテイント・モードをはじめとする言語レベルのものでは、テイント・ビットの扱いが言語仕様の一部として追加定義される。したがって、テイント・ビットの扱いは、文などの言語構造に対して定義される。典型的には、代入文の実行に際して、右辺を構成する各データに付加されたテイント・ビットの内容を左辺が示すデータのテイント・ビットへと伝搬させることになる。実際の処理は、インタープリタによって行われるか、コンパイラによって埋め込まれたネイティブ・コードをプロセッサなどが実行することなどによって行われる。
ＤＩＦＴは、低次の注入攻撃を検出することを目的に、Ｐｅｒｌのテイント・モードをプロセッサに応用したものであり、上記（１−２）の処理の実行主体はプロセッサになる。すなわち、テイント・ビットの扱いは、プロセッサが実行する命令に対して定義される。典型的には、プロセッサが命令を実行する際に、ソース・オペランドに付加されたテイント・ビットの内容をデスティネーション・オペランドのテイント・ビットへと伝搬させることになる。
このようなＤＩＦＴは、もともと低次の注入攻撃を検出するために考案されたものではあるが、高次の注入攻撃も検出することが可能である。ＤＩＦＴでは、上記（１−１）、（１−３）の処理はプロセッサ単体では実行することができないため、以下のように、コンピュータ・システムのプロセッサ以外の部分との連携が見られる。
（２−１）（プログラムの外部からではなく）ネットワークなどを介して、コンピュータ・システムの外部から入力されたデータに対して、テイント・ビットをセットする。
（２−２）データの依存関係にしたがって、依存元から依存先へとテイント・ビットの情報を伝搬させる。
（２−３）プログラムからデータが出力されるとき、単にデータのテイント・ビットがセットされているか否かだけではなく、どの部分のテイント・ビットがセットされているか否かを検査する。例えば、システム・コールやデータベース・システムに対するＳＱＬ文であれば、出力された文字列の構文解析を行い、コマンド名やファイル名など、コンピュータ・システムの外部から直接指定されてはならない部分のテイント・ビットがセットされていないか否かを検査する。
ＤＴＰ／ＤＩＦＴには、上述以外にも、Ｊａｖａ（登録商標） ＶＭをはじめとする中間言語の実行系に対するものや、プロセッサ・エミュレータに対するものなど、様々なレベルの実装方法が考えられる。
なお、これらのうち、ＤＩＦＴなど、特定の言語に依存しないものは、包括的であるというメリットがある。言語レベルの技術は、当然のことながら、特定の言語によって記述されたプログラムにしか適用できない。これに対し、言語非依存なものは、その上で実行されるあらゆるプログラムに適用することができる。
ところで、意味のあるサービスを提供するプログラムでは、その出力は入力に依存する。出力が入力に依存しないということは、常に同じ値を出力することを意味することになる。そのようなプログラムは、実際上、役に立たない。
したがって、意味のあるプログラムに対してＤＴＰ／ＤＩＦＴを完全に厳密に実行すると、その出力は入力に依存するのであるから、あらゆる出力データのテイント・ビットがセットされることになり、意味がない。結局、ＤＴＰ／ＤＩＦＴを意味のあるものにするには、何らかの条件を満たした時にはテイント・ビットの伝搬を行わないという非伝搬の規則が重要である。
非伝搬規則の設定にあたっては、データ依存によって生じる直接的依存には工夫の余地がないが、条件分岐や間接参照などによって生じる間接的依存の取り扱いが難しい。実際、従来のＤＴＰ／ＤＩＦＴは、間接依存に関する非伝搬規則が機械的に定められているため、誤検出や検出漏れが多く発生していた。
特に、プロセッサで伝搬を行うＤＩＦＴでは、条件分岐における分岐条件の依存先の範囲を特定すること自体がそもそも困難である。
言語レベルのＤＴＰにおいても、言語の文法規則の上で、非伝搬規則は機械的に定められている。例えばＰｅｒｌでは、正規表現マッチで一致した部分を出力するとき、出力にはテイント・ビットは伝搬しない。例えばプラス記号を空白文字に置き換えるような、注入攻撃に関しては無意味なマッチの場合であっても、伝搬は行われない。
尚、この出願の発明に関連する先行技術文献情報としては、次のようなものがある。
マイケル・ダルトン（Michael Dalton）、外２名、「Ｒａｋｓｈａ：ソフトウェア・セキュリティのための柔軟な情報フロー・アーキテクチャ（Raksha: A Flexible Information Flow Architecture for Software Security）」、インターナショナル・シンポジウム・オン・コンピュータ・アーキテクチャ（International Symposium on Computer Architecture）、２００７年、ｐｐ．２２７-２３２
本発明は、攻撃耐性の高いサーバを構築することが可能な情報処理装置、情報処理方法及びこれを実現させるためのプログラムを提供する。
本発明の第１の態様による情報処理装置は、記憶手段から追跡情報の付加された第１の文字列データを読み出すための複数の読み出しイベントを含む第１の読み出し系列と、前記第１の読み出し系列に含まれている複数の読み出しイベントの発生タイミングと、追跡情報の付加された第２の文字列データを読み出すための複数の読み出しイベントを含む第２の読み出し系列と、前記第２の読み出し系列に含まれている複数の読み出しイベントの発生タイミングとを検出する読み出し系列検出手段と、前記記憶手段に対して第３の文字列データを書き込むための複数の書き込みイベントを含む書き込み系列と、前記複数の書き込みイベントの発生タイミングとを検出する書き込み系列検出手段と、前記読み出し系列検出手段によって検出された前記第１の読み出し系列、前記第１の読み出し系列に含まれている複数の読み出しイベントの発生タイミング、前記第２の読み出し系列、前記第２の読み出し系列に含まれている複数の読み出しイベントの発生タイミング、前記書き込み系列検出手段によって検出された前記書き込み系列、前記複数の書き込みイベントの発生タイミングに基づいて、「前記第１の読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループ」と、「前記書き込み系列に含まれており１つ又は連続する複数の書き込みイベントを含む複数の書き込みイベントグループ」との間で、互い違いの関係を満たすか否か判断する第１の判断を行い、「前記第２の読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループ」と、前記複数の書き込みイベントグループとの間で、互い違いの関係を満たすか否か判断する第２の判断を行うインタリービング判断手段と、前記インタリービング判断手段の前記第１及び第２の判断によって前記互い違いの関係の双方を満たすと判断された場合に、前記書き込みイベントグループに含まれている前記書き込みイベントによって書き込まれる文字列データに、前記書き込みイベントグループとの間で前記互い違いの関係にある直前の読み出しイベントグループに属する読み出しイベントに対応する追跡情報を付加する追跡情報付加手段とを具備する。
本発明の第２の態様による情報処理方法では、コンピュータが、記憶手段から追跡情報の付加された第１の文字列データを読み出すための複数の読み出しイベントを含む第１の読み出し系列と、前記第１の読み出し系列に含まれている複数の読み出しイベントの発生タイミングと、追跡情報の付加された第２の文字列データを読み出すための複数の読み出しイベントを含む第２の読み出し系列と、前記第２の読み出し系列に含まれている複数の読み出しイベントの発生タイミングとを検出するとともに、前記記憶手段に対して第３の文字列データを書き込むための複数の書き込みイベントを含む書き込み系列と、前記複数の書き込みイベントの発生タイミングとを検出すること、前記コンピュータが、前記第１の読み出し系列、前記第１の読み出し系列に含まれている複数の読み出しイベントの発生タイミング、前記第２の読み出し系列、前記第２の読み出し系列に含まれている複数の読み出しイベントの発生タイミング、前記書き込み系列、前記複数の書き込みイベントの発生タイミングに基づいて、「前記第１の読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループ」と、「前記書き込み系列に含まれており１つ又は連続する複数の書き込みイベントを含む複数の書き込みイベントグループ」との間で、互い違いの関係を満たすか否か判断する第１の判断を行い、「前記第２の読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループ」と、前記複数の書き込みイベントグループとの間で、互い違いの関係を満たすか否か判断する第２の判断を行うこと、前記コンピュータが、前記第１及び第２の判断によって前記互い違いの関係の双方を満たすと判断された場合に、前記書き込みイベントグループに含まれている前記書き込みイベントによって書き込まれる文字列データに、前記書き込みイベントグループとの間で前記互い違いの関係にある直前の読み出しイベントグループに属する読み出しイベントに対応する追跡情報を付加することを含む。
本発明の第３の態様によるプログラムは、コンピュータを、記憶手段から追跡情報の付加された第１の文字列データを読み出すための複数の読み出しイベントを含む第１の読み出し系列と、前記第１の読み出し系列に含まれている複数の読み出しイベントの発生タイミングと、追跡情報の付加された第２の文字列データを読み出すための複数の読み出しイベントを含む第２の読み出し系列と、前記第２の読み出し系列に含まれている複数の読み出しイベントの発生タイミングとを検出する読み出し系列検出手段、前記記憶手段に対して第３の文字列データを書き込むための複数の書き込みイベントを含む書き込み系列と、前記複数の書き込みイベントの発生タイミングとを検出する書き込み系列検出手段、前記読み出し系列検出手段によって検出された前記第１の読み出し系列、前記第１の読み出し系列に含まれている複数の読み出しイベントの発生タイミング、前記第２の読み出し系列、前記第２の読み出し系列に含まれている複数の読み出しイベントの発生タイミング、前記書き込み系列検出手段によって検出された前記書き込み系列、前記複数の書き込みイベントの発生タイミングに基づいて、「前記第１の読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループ」と、「前記書き込み系列に含まれており１つ又は連続する複数の書き込みイベントを含む複数の書き込みイベントグループ」との間で、互い違いの関係を満たすか否か判断する第１の判断を行い、「前記第２の読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループ」と、前記複数の書き込みイベントグループとの間で、互い違いの関係を満たすか否か判断する第２の判断を行うインタリービング判断手段、前記インタリービング判断手段の前記前記第１及び第２の判断によって前記互い違いの関係の双方を満たすと判断された場合に、前記書き込みイベントグループに含まれている前記書き込みイベントによって書き込まれる文字列データに、前記書き込みイベントグループとの間で前記互い違いの関係にある直前の読み出しイベントグループに属する読み出しイベントに対応する追跡情報を付加する追跡情報付加手段として機能させる。
本発明によれば、攻撃耐性の高いサーバを構築することが可能な情報処理装置、情報処理方法及びこれを実現させるためのプログラムを提供できる。
本発明の第１の実施形態に係わるテイント・ビットの伝搬方法を示す状態遷移図。 本発明の第１の実施形態に係わるテイント・ビットの伝搬方法の具体例を示す図。 本発明の第１の実施形態に係わる情報処理装置を示すブロック図。 本発明の第１の実施形態に係わる情報処理装置を示すブロック図。 本発明の第１の実施形態に係わる他の情報処理装置を示すブロック図。 図５の情報処理装置が実行する情報処理のフロー図。 本発明の第２の実施形態に係わる情報処理装置の構成の一例を示すブロック図。 第２の実施形態に係わるアルゴリズムによってテイント情報が伝搬される状態の第１の例を示す図。 第２の実施形態に係わるアルゴリズムによってテイント情報が伝搬される状態の第２の例を示す図。 第２の実施形態に係わるアルゴリズムによってテイント情報が伝搬される状態の第３の例を示す図。 第２の実施形態に係わるアルゴリズムによってテイント情報が伝搬される状態の第４の例を示す図。 本発明の第３の実施形態に係わる文字列検出テーブルの一例を示す図。 第３の実施形態に係わる文字列検出テーブルのエントリ毎に行う文字列検出動作の一例を示すフローチャート。 第３の実施形態に係わるアクセスを通知された側の動作の一例を示すフローチャート。 第３の実施形態に係わるロード命令が実行された場合の動作の一例を示すフローチャート。 第３の実施形態に係わるストア命令が実行された場合の動作の一例を示すフローチャート。
本発明の実施の形態を以下に図面を参照して説明する。尚、以下の各実施の形態では、入力データとこの入力データに依存するデータであることを示す追跡情報の一例として、テイント・ビットを用いる場合を例に挙げて説明するが、他の情報を用いる場合でもよい。以下の各図において、同一の構成要素については同一の符号を付して説明を省略する。
（第１の実施形態）
［１］テイント情報の伝搬の規則
本発明者は、テイント・ビットの伝搬を行う場合の規則について、次のような考察を行った。
プログラムには、入力から出力に至る依存の経路が１つ以上存在する。コンピュータ・システムに対する注入攻撃に関しては、これらの経路のうち、入力も出力も文字列であるもののみを考えればよい。この経路は、１つ以上の部分処理からなる。個々の部分処理は、出力される文字列を用意した主体が当該プログラムかそうでないかによって、以下の２種に分けられる。
第１は、ｎ択的処理である。この処理は、プログラムが用意したｎ個の文字列群のうちから、入力によって１つが選択され、出力されるものである。
第２は、フリーフォーム的処理である。この処理は、入力された文字列が、そのまま、あるいは文字列変換を経て、出力されるものである。ここでいう文字列変換とは、大文字と小文字、半角文字と全角文字との変換、異なる文字コード間の変換、ＵＲＬエンコード／デコードなど、文字の表現方法が変換されるだけで、その表す内容は実質的に変化しないものを指す。
この２つの処理は、注入攻撃に対して、ｎ択的処理は安全であり、フリーフォーム的処理は危険である。したがって、入力文字列から出力文字列へのテイント・ビットの情報の伝搬は、フリーフォーム的処理に関しては行い、ｎ択的処理に関しては行わなければよい。
［２］テイント情報の伝搬
［２−１］概要
本実施形態では、コンピュータ・システムの外部からデータが入力された場合、このデータに対してテイント・ビットをセットする。プログラムの依存関係にしたがって、プロセッサによって、依存元から依存先へとテイント・ビットの情報を伝搬させる。データを出力するときは、このデータのテイント・ビットがセットされている（テイントである）か否かを検査する。
ここで、テイント・ビットの伝搬においては、プログラムの実行における読み出しと書き込みとからなる時系列を検査し、フリーフォーム的処理であるとみなす場合（例えば、文字列への出力をなす個々の書き込みの間にテイントであるデータを読み出していた場合）はテイント・ビットの伝搬を行う。
フリーフォーム的処理であるとみなす場合とは、以下の第１の条件と第２の条件とを満たす部分系列を指す。この場合、第１の条件の書き込み対象の文字列データに対してテイント・ビットの伝播を行う。
第１の条件：１つの文字列に対する書き込みをすべて含む。但し、文字列検出器によって１つの文字列に対するものと検出される場合を含む。
第２の条件：第１の部分系列とこの第１の部分系列に引き継ぐ第２の部分系列とからなる部分系列群の２つ以上の連続からなる。
第１の部分系列：テイントであるデータの読み出しを１つ以上含み、かつ、前記第１の条件の書き込みを含まない。
第２の部分系列：前記第１の条件の書き込みを１つ以上含み、かつ、テイントであるデータの読み出しを含まない。
このようなテイント情報の伝搬において、テイントでないデータの読み出しをｒ、テイントであるデータの読み出しをＲ、上記第１の条件の文字列に対するものではない書き込みをｗ、上記第１の条件の文字列の一部に対する書き込みをＷと表すと、上記第２の条件を満たす部分系列は、以下の式（１）の正規表現で表すことができる。
（［＾Ｗ］＊Ｒ［＾Ｗ］＊［＾Ｒ］＊Ｗ［＾Ｒ］＊）（［＾Ｗ］＊Ｒ［＾Ｗ］＊［＾Ｒ］＊Ｗ［＾Ｒ］＊）＋…（１）
［２−２］状態遷移図
図１は、式（１）の正規表現と同じ系列を受理するオートマトンの状態遷移図である。同図中、丸は状態を、矢印は状態遷移を、それぞれ表す。矢印に隣接して書かれたシンボルが入力されたとき、矢印の元の状態から先の状態へと遷移する。
オートマトンは、最初、初期状態Ｓ０にあり、順に入力される系列のシンボルにしたがって状態遷移を繰り返す。系列の最後のシンボルを入力した後に、オートマトンが受理状態Ｓ４にあれば、その系列は受理される。
具体的には、初期状態Ｓ０において、テイントでないデータの読み出しｒ及び上記第１の条件の文字列に対するものではない書き込みｗが入力された場合は再び状態Ｓ０に遷移し、テイントであるデータの読み出しＲが入力された場合は状態Ｓ１に遷移する。
状態Ｓ１において、テイントでないデータの読み出しｒ、テイントであるデータの読み出しＲ及び上記第１の条件の文字列に対するものではない書き込みｗが入力された場合は再び状態Ｓ１に遷移し、上記第１の条件の文字列の出力の一部に対する書き込みＷが入力された場合は状態Ｓ２に遷移する。
状態Ｓ２において、テイントでないデータの読み出しｒ、上記第１の条件の文字列に対するものではない書き込みｗ及び上記第１の条件の文字列の一部に対する書き込みＷが入力された場合は再び状態Ｓ２に遷移し、テイントであるデータの読み出しＲが入力された場合は状態Ｓ３に遷移する。
状態Ｓ３において、テイントでないデータの読み出しｒ、テイントであるデータの読み出しＲ及び上記第１の条件の文字列に対するものではない書き込みｗが入力された場合は再び状態Ｓ３に遷移し、上記第１の条件の文字列の一部に対する書き込みＷが入力された場合は状態Ｓ４に遷移する。
状態Ｓ４において、テイントでないデータの読み出しｒ、上記第１の条件の文字列の出力に対するものではない書き込みｗ及び上記第１の条件の文字列の一部に対する書き込みＷが入力された場合は再び状態Ｓ４に遷移し、テイントであるデータの読み出しＲが入力された場合は状態Ｓ５に遷移する。
状態Ｓ５において、テイントでないデータの読み出しｒ、テイントであるデータの読み出しＲ及び上記第１の条件の文字列に対するものではない書き込みｗが入力された場合は再び状態Ｓ５に遷移し、上記第１の条件の文字列の一部に対する書き込みＷが入力された場合は状態Ｓ４に遷移する。
以上のように、本実施形態によれば、式（１）の正規表現が表すシンボルの系列、図１の状態遷移図によって表わされるオートマトンが受理するシンボルの系列に対して、上記第１の条件の文字列の一部に対する書き込みＷの対象となる文字列データに対してテイント情報の伝搬を行う。
［２−３］具体例
図２は、テイント情報の伝搬を行う部分系列の具体例（例１−ａ〜ｃ）とテイント情報の伝搬を行わない部分系列の具体例（例２−ａ〜ｂ）をそれぞれ示す。各例において、テイントであるデータの読み出しをＲで示し、上記第１の条件の文字列の一部に対する書き込みをＷと示す。また、本図における（１）及び（２）は、上述した第２の条件の第１の部分系列及び第２の部分系列にそれぞれ相当する。なお、本図では、簡単のため、ＲとＷについてのみ示すが、ｒ（テイントでないデータの読み出し）、ｗ（上記第１の条件の文字列に対するものではない書き込み）は任意の位置にいくらでも現れてよい。
例１−ａは、テイント情報の伝搬を行う最も簡単な例である。１つのＲからなる第１の部分系列（１）と１つのＷからなる第２の部分系列（２）とを有する部分系列群が２回連続している。これにより、例１−ａは、上述した第２の条件を満たす。
例１−ｂは、例１−ａと同様、１つのＲからなる第１の部分系列（１）と１つのＷからなる第２の部分系列（２）とを有する部分系列群が存在している。そして、例１−ｂでは、この部分系列群が４回連続している。これにより、例１−ｂは、上述した第２の条件を満たす。この例１−ｂは、フリーフォーム的処理の典型例となっている。
例１−ｃは、それぞれの部分系列に含まれるＲ、Ｗの個数がそれぞれ異なっている例である。１番目の部分系列群は、１つのＲからなる第１の部分系列（１）と１つのＷからなる第２の部分系列（２）とを有する。２番目の部分系列群は、２つのＲからなる第１の部分系列（１）と１つのＷからなる第２の部分系列（２）とを有する。３番目の部分系列群は、１つのＲからなる第１の部分系列（１）と３つのＷからなる第２の部分系列（２）とを有する。このように、各部分系列に含まれるＲ、Ｗの個数がそれぞれ異なっている例１−ｃのような場合も、上述した第２の条件を満たす。
一方、例２−ａと例２−ｂは、部分系列群が２回以上連続していない例である。例２−ａは、１つのＲからなる第１の部分系列（１）と１つのＷからなる第２の部分系列（２）とを有する部分系列群が存在しているだけで、この部分系列群が連続しない。したがって、第２の条件の後半の「部分系列群の２つ以上の連続からなる」という条件を満たさないため、テイント・ビットの伝搬が行われない。同様に、例２−ｂは、１つのＲからなる第１の部分系列（１）と４つのＷからなる第２の部分系列（２）とを有する部分系列群が存在しているだけで、この部分系列群が連続しない。したがって、第２の条件の後半の「部分系列群の２つ以上の連続からなる」という条件を満たさないため、テイント・ビットの伝搬が行われない。この例２−ｂは、ｎ択的処理の典型例となっている。
［３］情報処理装置
図３及び図４は、本実施形態のテイント情報の伝搬を実現するための情報処理装置のブロック図を示す。図３及び図４に示す情報処理装置１は、プロセッサ１０、メモリ（記憶部）２０、入力部３０、出力部４０を具備している。プロセッサ１０は、読み出し検出手段１１、書き込み検出手段１２、テイント・ビット付加手段１３、検査手段１４を具備する。メモリ２０は、外部から入力されたテイント情報が付加された文字列データが記憶される第１の記憶部２１、処理が実行された後の文字列データが記憶される第２の記憶部２２を備えている。なお、第１の記憶部２１、第２の記憶部２２は、分離されているメモリにそれぞれ記憶されていてもよい。
本実施形態の情報処理装置１では、次のような情報処理を行う。
まず、情報処理装置１の外部から入力部３０にデータが入力される。このデータはプロセッサ１０に入力され、テイント・ビット付加手段１３によりデータに含まれる各データに対してテイント・ビットがそれぞれ付加された（セットされた）状態で、第１の記憶部２１に記憶される。
プログラムが実行される際、プロセッサ１０は第1の記憶部２１から読み出しを行い、第２の記憶部２２に書き込みを行う。この際、読み出し検出手段１１により、テイント・ビットがセットされたデータ（テイント・データ）に対する読み出しＲが検出され、書き込み検出手段１２により、文字列データＤに含まれるデータｄ’の書き込みＷが検出される。
ここで、テイント・データｄ１に対する第１の読み出しＲ１、上記文字列データＤに含まれるデータｄ１’の第１の書き込みＷ１、テイント・データｄ２に対する第２の読み出しＲ２、上記文字列データＤに含まれるデータｄ２’の第２の書き込みＷ２が順に検出された場合、上記第１の書き込みＷ１のデータｄ１’及び上記第２の書き込みＷ２のデータｄ２’に対してテイント・ビット付加手段によりテイント・ビットを付加して（セットして）第２の記憶部２２に記憶する。
そして、第２の記憶部２２に記憶されたデータを出力部４０から読み出す場合、プロセッサ１０の検査手段１４によって、出力データがテイント・データか否かの検査が行われる。
なお、上述した情報処理において、第１の書き込みＷ１におけるデータｄ１’は、第１の読み出しＲ１におけるテイント・データｄ１でもよいし、テイント・データｄ１以外でもよい。同様に、第２の書き込みＷ２におけるデータｄ２’は、第２の読み出しＲ２におけるテイント・データｄ２でもよいし、テイント・データｄ２以外でもよい。第１及び第２の書き込みＷ１、Ｗ２におけるデータｄ１’、ｄ２’は、上記文字列データＤの任意の２つの部分に対するものであり、このデータｄ１’、ｄ２’は、文字列データＤの任意の連続する部分であっても連続しない部分であってもよい。
また、第１及び第２の読み出しＲ１、Ｒ２のデータは、文字列データに限定されない。第１及び第２の読み出しＲ１、Ｒ２のデータは、同じものであっても異なるものであってもよい。
また、本実施形態の情報処理装置１は、図５に示すように、文字列アクセス検出部５０をさらに具備してもよい。この文字列アクセス検出部５０は、プロセッサ１０が実行する読み出し／書き込み（ロード／ストア）命令の時系列からなるアドレス・トレースを入力として、そこから文字列アクセスを成す部分系列を検出するものである。
具体的には、図６に示すように、文字列アクセス検出部５０によって、文字列データであるか否かが判断される（ＳＴ１）。この結果、文字列データである場合は、テイント情報の伝搬を行う対象か否かが判断され（ＳＴ２）、対象に該当すればテイント情報の伝搬が行われる（ＳＴ３）。一方、文字列データでない場合、テイント情報の伝搬を行う対象でない場合には、テイント情報の伝搬は行われない（ＳＴ４）。なお、テイント情報の伝搬を行う対象か否かの判断は、上述したように、プロセッサ１０によって判断される。
このような文字列アクセス検出部５０を利用すれば、プロセッサ１０やＶＭなどのプラットフォームに、本実施形態を実装可能である。なお、スクリプト言語処理系など、文字列アクセスが容易に識別可能である場合には、この文字列アクセス検出器を用いる必要はない。ここで、文字列アクセス検出部５０の機能をプロセッサ１０により実施させるとしてもよい。
なお、上述した本実施形態のテイント情報の伝搬などの情報処理は、情報処理装置１のプロセッサ１０によって実現したり、例えばコンピュータに実現させることのできるプログラム６１としても適用可能である（図３及び図５参照）。このプログラム６１は、例えば、磁気ディスク、光ディスク、半導体メモリなどの記録媒体６０に書き込んで各種装置に適用したり、通信媒体により伝送したりして各種装置に適用することも可能である。記録媒体６０に記録されたプログラム６１を読み込み、このプログラム６１によって動作が制御されることにより、上述した本実施形態の情報処理を実行する。
［４］効果
以上のように、本実施形態によれば、文や命令などのミクロな処理を単位として伝搬していた従来と異なり、プロセッサによる文字列操作毎にテイント情報を伝搬する。したがって、テイント情報の高精度な伝搬が実現でき、注入攻撃の検出漏れや誤検出を抑制することができるため、攻撃耐性の高いサーバ構築が可能となる。
また、本実施形態は、ＤＩＦＴのように言語非依存性であるため、プロセッサやＶＭなどのプラットフォーム側に実装可能である。したがって、プラットフォームがアタック耐性を有するため、アプリケーション開発時にはセキュリティ・ホールなどについて考慮する必要がなくなる。
（第２の実施形態）
本実施形態に係る情報処理装置は、上記１の実施形態に係る情報処理装置と異なるアルゴリズムを用いてテイント情報の伝搬を行う。
図７は、本実施の形態に係る情報処理装置の構成の一例を示すブロック図である。
本実施の形態に係るアルゴリズムでは、プロセッサ１０は、第１の記憶部２１に記憶されているテイント情報の付されている文字列データの読み出しイベントと、第２の記憶部２２に対する文字列データの書き込みイベントとの間に互い違い（インタリービング）の関係が発生しているか否か判断する。
そして、プロセッサ１０は、テイント情報付き文字列データの読み出しイベントに対して互い違いに発生している書き込みイベントによって第２の記憶部２２に記憶される文字列データに、テイント情報を付す。
具体的なアルゴリズムを以下で説明する。
本実施の形態に係るアルゴリズムにおいて、
ｔはｔ≧２のしきい値、
k≧１、
mk1，mk2，…，mkt≧１、
n1，n2，…，nt≧１、
である。
文字列Ｗに対する書き込みの系列に対して文字列Ｒkに対する読み出しの系列があって、
文字列Ｗに対する書き込みの系列を
ｗ_1_1，ｗ_1_2，…，ｗ_1_n1，
ｗ_2_1，ｗ_2_2，…，ｗ_2_n2，
…
ｗ_t_1，ｗ_t_2，…，ｗ_t_nt，
…
とし、
文字列Ｒkに対する読み出しの系列を
rk_1_1，rk_1_2，…，rk_1_mk1，
rk_2_1，rk_2_2，…，rk_2_mk2，
…
rk_t_1，rk_t_2，…，rk_t_mkt，
…
とすると、
これらの書き込みの系列及び読み出しの系列が、
rk_1_1，rk_1_2，…，rk_1_mk1，
ｗ_1_1，ｗ_1_2，…，ｗ_1_n1，
rk_2_1，rk_2_2，…，rk_2_mk2，
ｗ_2_1，ｗ_2_2，…，ｗ_2_n2，
…
rk_t_1，rk_t_2，…，rk_t_mkt，
ｗ_t_1，ｗ_t_2，…，ｗ_t_n2
…
となる互い違いの関係を持つ場合、
i（i≧１）に対して、
r1_i_m1i，r2_i_m2i，…
の中で最後に現れた読み出しイベントに対応するテイント情報を
ｗ_i_1，ｗ_i_2，…，ｗ_i_ni
の書き込みイベントに対して伝搬させる。
情報処理装置７０に備えられているプロセッサ１０は、上記のようなアルゴリズムを実現するためのプログラム６２を記録媒体６０から読み出して実行する。
これにより、プロセッサ１０は、テイント情報判断部７１、読み出し系列検出部７２、書き込み系列検出部７３、インタリービング判断部７４、テイント情報付加部７５として機能する。
テイント情報判断部７１は、第１の記憶部２１に記憶されている読み出し対象の文字列データに、テイント情報が付与されているか否か判断する。
読み出し系列検出部７２は、テイント情報判断部７１の判断結果に基づいて、第１の記憶部２１から、テイント情報が付加されている文字列データの読み出し系列を検出する。読み出し系列は、第１の記憶部２１に記憶されておりテイント情報が付加されている文字列データに対する複数の読み出しイベントを含む。また、読み出し系列検出部７２は、テイント情報が付加されている文字列データに対する複数の読み出しイベントの発生タイミングを検出、記録、管理する。
書き込み系列検出部７３は、第２の記憶部２２に対して書き込み対象のデータを記憶するための書き込み系列を検出する。書き込み系列は、第２の記憶部２２に書き込まれるデータに対する複数の書き込みイベントを含む。また、書き込み系列検出部７３は、第２の記憶部２２に書き込まれるデータに対する複数の書き込みイベントの発生タイミングを検出、記録、管理する。
インタリービング判断部７４は、読み出し系列検出部７２によって検出された読み出し系列とその発生タイミングと、書き込み系列検出部７３によって検出された書き込み系列とその発生タイミングとに基づいて、それぞれが読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループと、それぞれが書き込み系列に含まれており１つ又は連続する複数の書き込みイベントを含む複数の読み出しイベントグループとの間で、互い違いの関係を満たすか否か判断する。
例えば、テイント情報が付加されていると判断された文字列データに関する読み出し系列は、１つ又は連続する複数の読み出しイベントを含む第１の読み出しイベントグループを含み、その後に、１つ又は連続する複数の読み出しイベントを含む第２の読み出しイベントグループを含み、同様の状態が繰り返されているとする。
また、例えば、書き込み系列は、１つ又は連続する複数の書き込みイベントを含む第１の書き込みイベントグループを含み、その後に、１つ又は連続する複数の書き込みイベントを含む第２の書き込みイベントグループを含み、同様の状態が繰り返されているとする。
この場合、インタリービング判断部７４は、第１の読み出しイベントグループの後に、第１の書き込みイベントグループが発生し、この第１の書き込みイベントグループの後において、さらに第２の読み出しイベントグループの後に、第２の書き込みイベントグループが発生する状態を、前記互い違いの関係が発生している状態と判断する。その後も、インタリービング判断部７４は、処理対象の読み出しイベントグループと処理対象の書き込みイベントグループとをずらしながら同様の判断処理を繰り返す。
上記の読み出し系列検出部７２の検出処理、書き込み系列検出部７３の検出処理、インタリービング判断部７４の判断処理は、例えば、各種の判断文などの制御文を組み合わせることで実現されるとしてもよく、各種のパターン認識技術、パターンの分類手法などを用いるとしてもよい。
テイント情報付加部７５は、インタリービング判断部７４によってテイント情報が付加されている文字列データに関する互い違いの読み出し及び書き込みが発生していると判断された場合に、書き込み対象の文字列データにテイント情報を付加する。
例えば、テイント情報付加部７５は、第１の書き込みイベントグループと第２の書き込みイベントグループとに対して互い違いが発生していると判断された場合に、この第１の書き込みイベントグループに含まれている書き込みイベントによって書き込まれる文字列データのすべてと、第２の書き込みイベントグループに含まれている書き込みイベントによって書き込まれる文字列データのすべてに対して、テイント情報を付加する。
例えば、テイント情報付加部７５は、テイント情報を付与する書き込みイベントが複数の読み出しイベントに基づいて発生している場合に、これら複数の読み出しイベントのうち最後に発生した読み出しイベントに対する追跡情報を、書き込み対象の文字列データに付与する。
図８は、本実施の形態に係るアルゴリズムによってテイント情報が伝搬される状態の第１の例を示す図である。
この図８においては、横方向は、読み出しイベント及び書き込みイベントの発生する時間を表す。縦方向は、読み出し文字列データ及び書き込み文字列データの種別を表す。この図８において、矢印は、テイント情報の伝搬を表している。
この図８では、読み出し文字列データＲに対して、読み出しイベントr1_1_1，…，r1_5_1を含む読み出し系列が発生している。
この図８において、複数の読み出しイベントグループ（r1_1_1），…，（r1_5_1）は、それぞれが一つの読み出しイベントr1_1_1，…，r1_5_1を含むとする。
図８では、書き込み文字列データＷに対して、書き込みイベントw_1_1，…，w_5_1を含む書き込み系列が発生している。
この図８において、複数の書き込みイベントグループ（w_1_1），…，（w_5_1）は、それぞれが一つの書き込みイベントw_1_1，…，w_5_1を含むとする。
それぞれの発生タイミングから、各読み出しイベントグループ（r1_1_1），…，（r1_5_1）と各書き込みイベントグループ（w_1_1），…，（w_5_1）とは、互い違いの関係を満たしている。すなわち、読み出しイベントグループ（r1_1_1），…，（r1_5_1）と書き込みイベントグループ（w_1_1），…，（w_5_1）とは、交互のタイミングで発生する関係を満たしている。
そこで、書き込み文字列データＷに対する書き込みイベントグループ（w_1_1），…，（w_5_1）内の書き込みイベントに対しては、それぞれの書き込みイベントグループにとって互い違いの関係にある直前の読み出しイベントグループに属する最終（最新）の読み出しイベントに対応するテイント情報が、書き込み文字列データに対して付与される。
図９は、本実施の形態に係るアルゴリズムによってテイント情報が伝搬される状態の第２の例を示す図である。
この図９では、読み出し文字列データＲに対して、読み出しイベントr1_1_1，r1_2_1，r1_2_2，…，r1_4_1を含む読み出し系列が発生している。
この図９において、複数の読み出しイベントグループは、それぞれ（r1_1_1），（r1_2_1，r1_2_2），（r1_3_1，r1_3_2，r1_3_3），（r1_4_1）である。
図９では、書き込み文字列データＷに対して、書き込みイベントw_1_1，w_2_1，w_2_2，…，w_4_3を含む書き込み系列が発生している。
この図９において、複数の書き込みイベントグループは、それぞれ（w_1_1），（w_2_1，w_2_2），（w_3_1，w_3_2），（w_4_1，w_4_2，w_4_3）である。
それぞれの発生タイミングから、各読み出しイベントグループ（r1_1_1），（r1_2_1，r1_2_2），（r1_3_1，r1_3_2，r1_3_3），（r1_4_1）と各書き込みイベントグループ（w_1_1），（w_2_1，w_2_2），（w_3_1，w_3_2），（w_4_1，w_4_2，w_4_3）とは、互い違いの関係を満たしている。すなわち、読み出しイベントグループ（r1_1_1），（r1_2_1，r1_2_2），（r1_3_1，r1_3_2，r1_3_3），（r1_4_1）と書き込みイベントグループ（w_1_1），（w_2_1，w_2_2），（w_3_1，w_3_2），（w_4_1，w_4_2，w_4_3）とは、交互のタイミングで発生する関係を満たしている。
そこで、書き込みイベントグループ（w_1_1），（w_2_1，w_2_2），（w_3_1，w_3_2），（w_4_1，w_4_2，w_4_3）内の書き込みイベントに対しては、それぞれの書き込みイベントグループにとって互い違いの関係にある直前の読み出しイベントグループに属する最終（最新）の読み出しイベントに対応するテイント情報が、書き込み文字列データに対して付与される。
図１０は、本実施の形態に係るアルゴリズムによってテイント情報が伝搬される状態の第３の例を示す図である。
読み出し文字列データＲ１に対して、読み出しイベントr1_1_1，r1_2_1，r1_3_1，r1_3_2，r1_4_1を含む読み出し系列が発生している。
読み出し文字列データＲ１の読み出し系列における複数の読み出しイベントグループは、それぞれ（r1_1_1），（r1_2_1），（r1_3_1，r1_3_2），（r1_4_1）である。
読み出し文字列データＲ２に対して、読み出しイベントr2_1_1，r2_2_1，r2_3_1，r2_4_1を含む読み出し系列が発生している。
読み出し文字列データＲ２の読み出し系列における複数の読み出しイベントグループは、それぞれ（r2_1_1），（r2_2_1），（r2_3_1），（r2_4_1）である。
書き込み文字列データＷに対して、書き込みイベントw_1_1，w_2_1，w_3_1，w_4_1，w_4_2を含む書き込み系列が発生している。
複数の書き込みイベントグループは、それぞれ（w_1_1），（w_2_1），（w_3_1），（w_4_1，w_4_2）である。
それぞれの発生タイミングから、読み出し文字列データＲ１についての各読み出しイベントグループ（r1_1_1），（r1_2_1），（r1_3_1，r1_3_2），（r1_4_1）と書き込み文字列データＷについての各書き込みイベントグループ（w_1_1），（w_2_1），（w_3_1），（w_4_1，w_4_2）とは、互い違いの関係を満たしている。
さらに、読み出し文字列データＲ２についての各読み出しイベントグループ（r2_1_1），（r2_2_1），（r2_3_1），（r2_4_1）と書き込み文字列データＷについての各書き込みイベントグループ（w_1_1），（w_2_1），（w_3_1），（w_4_1，w_4_2）とについても、互い違いの関係を満たしている。
そこで、書き込みイベントグループ（w_1_1），（w_2_1），（w_3_1），（w_4_1，w_4_2）内の書き込みイベントに対しては、読み出し文字列データＲ１，Ｒ２の読み出しイベントグループのうち、書き込みイベントグループとの間で互い違いの関係にある直前の読み出しイベントグループに属する最終（最新）の読み出しイベントに対応するテイント情報が、書き込み文字列データに対して付与される。
この図１０の例では、読み出しイベントr2_1_1に対するテイント情報が、書き込みイベントw_1_1に対する文字列データに付与される。読み出しイベントr1_2_1に対するテイント情報が、書き込みイベントw_2_1に対する文字列データに付与される。読み出しイベントr1_3_2に対するテイント情報が、書き込みイベントw_3_1に対する文字列データに付与される。読み出しイベントr2_4_1に対するテイント情報が、書き込みイベントw_4_1，w_4_2に対する文字列データに付与される。
図１１は、本実施の形態に係るアルゴリズムによってテイント情報が伝搬される状態の第４の例を示す図である。
読み出し文字列データＲ１に対して、読み出しイベントr1_1_1，r1_2_1を含む読み出し系列が発生している。
読み出し文字列データＲ１の読み出し系列における複数の読み出しイベントグループは、それぞれ（r1_1_1），（r1_2_1）である。
読み出し文字列データＲ２に対して、読み出しイベントr2_1_1，r2_1_2，r2_1_3，r2_1_4を含む読み出し系列が発生している。
書き込み文字列データＷに対して、書き込みイベントw_1_1，w_2_1を含む書き込み系列が発生している。
複数の書き込みイベントグループは、それぞれ（w_1_1），（w_2_1）である。
それぞれの発生タイミングから、読み出し文字列データＲ１についての各読み出しイベントグループ（r1_1_1），（r1_2_1）と書き込み文字列データＷについての各書き込みイベントグループ（w_1_1），（w_2_1）とは、互い違いの関係を満たしている。
しかしながら、読み出し文字列データＲ２に対する読み出し系列と、書き込み文字列データＷに対する書き込み系列とでは、互い違いの関係を満たしていない。
そこで、書き込みイベントグループ（w_1_1），（w_2_1）内の書き込みイベントに対しては、読み出し文字列データＲ１の読み出しイベントグループのうち、書き込みイベントグループとの間で互い違いの関係にある直前の読み出しイベントグループに属する最終（最新）の読み出しイベントに対応するテイント情報が、書き込み文字列データに対して付与される。
この図１１の例では、読み出しイベントr1_1_1に対するテイント情報が、書き込みイベントw_1_1に対する文字列データに付与される。読み出しイベントr1_2_1に対するテイント情報が、書き込みイベントw_1_2に対する文字列データに付与される。
上記のように、本実施形態では、テイント情報を付加されている文字列データに対する少なくとも一回の読み出しイベントの発生後に少なくとも１回の書き込みイベントが発生し、さらにその後に、このテイント情報を付加されている文字列データに対する少なくとも一回の読み出しイベントの発生後に少なくとも１回の書き込みイベントが発生した場合に、互い違いが発生していると判断される。そして、同様の判断が繰り返される。
テイント情報を伝搬させる場合には、その書き込みの直前の少なくとも1回の読み出しにおける最終の読み出しに基づいてテイント情報が伝搬される。
以上説明した本実施形態においては、外部から入力された文字列データに基づいて情報処理装置７１内で生成された文字列データについても、精度よくテイント情報を伝搬させることができる。これにより、攻撃耐性の高い情報処理装置７１を構築することができる。
（第３の実施の形態）
本実施形態においては、テイント情報の伝搬を実現する具体的なアルゴリズムについて、文字列アクセスの検出と、この文字列アクセスの検出を用いた伝播とに分けて説明する。
［文字列アクセスの検出］
ここでは、文字列アクセスを検出するための文字列検出器の動作について説明する。この文字列検出器は、与えられたアドレスに対して、以下の２つの情報を出力する。なお、この文字列検出器は、プロセッサによって実現されるとしてもよい。
１．該当アクセスが文字列であるか否か
２．バックトラック（後に説明）が必要であるか否か
文字列検出器は、文字列に対するロードとストアをそれぞれ検出するために２つ備えられている。２つの文字列検出器は、それぞれが共通したアルゴリズムにより文字列アクセスを検出する。
それぞれの文字列検出器は、文字列検出テーブルを用いて文字列の検出を行う。図１２に、この文字列検出テーブル内の各エントリの要素を示す。文字列検出テーブル内の各エントリは、それぞれが一つの文字列アクセスに関わる情報を保持する。
［エントリの更新と検出］
文字列アクセスの検出は、ロード命令、及びストア命令が実行された際、以下で説明する動作を、それぞれの文字列検出器に備えられている文字列検出テーブル内の全エントリに対して行うことによって実現される。
図１３は、本実施の形態に係る文字列検出動作の一例を示すフローチャートである。この図１３の文字列検出動作は、文字列検出テーブルのエントリ毎に行われる。
まず、ステップＳ１−０において、アクセスが行われた際のアドレスと予測アドレス（next_adr）の比較が行われる。これらのアドレスが一致しなかった場合，該当エントリに対する処理は終了する。
ステップＳ１−０でアドレスが一致した場合、ステップＳ１−１において、アクセスのインクリメント・フラグ（paired_inc）が１に更新され、ステップＳ１−２において、アクセス回数（cnt）と予測アドレス（next_adr）がインクリメントされる。
次に，ステップＳ１−３において、アクセス回数（cnt）が一定のしきい値CNを超えているか否かの判定が行われる。アクセ回数cntがしきい値CNを超えていた場合には、ステップＳ１−４において、アクセスがロードであった場合はストアを検出する検出器にアクセスの通知が行われ、アクセスがストアであった場合はロードを検出する検出器にアクセスの通知が行われる。通知を行われた側の動作については後述する。
続いて，ステップＳ１−５において、アクセス回数（cnt）が一定のしきい値CSを超えているか否かの判定が実行される。ここで、アクセス回数cntがしきい値CSを超えていない場合は、該当エントリに対する処理は終了する。アクセス回数cntがしきい値CSを超えていた場合、ステップＳ１−６において、さらに対となる文字列のアクセス回数（paired_cnt）が一定の閾値CPを超えているか否かの判定が行われる。アクセス回数paired_cntが閾値CPを超えていない場合、該当エントリに対する処理は終了する。
上記のステップＳ１−６において、アクセス回数paired_cntが閾値CPを超えていた場合、続いて、ステップＳ１−７において、文字列フラグ（string）が１か否かの判定が行われる。ここで，stringが０の場合、ステップＳ１−８において、バックトラック要求が出力される。
その後、ステップＳ１−９において、該当アクセスを文字列として検出した旨が出力され，文字列フラグ（string）が１に更新される。
［エントリの追加］
上記ステップＳ１−０において、メモリ・アクセスにおけるアドレスと一致する予測アドレス（next_adr）を持つエントリがテーブル内に1つも存在しなかった場合、テーブルへ新しいエントリが追加される。この場合、追加されるエントリ内の各要素は，以下の様に初期化される．
base_adr：該当アクセスのアドレスに初期化される
next_adr：base_adr+1に初期化される
cnt ：１に初期化される
他の全ての要素：０に初期化される
なお，テ−ブルの大きさは有限であるため、もしエントリが不足した場合には、ＬＲＵアルゴリズムに基づいた置き換えが行われる。
［対となる文字列検出器からの通知］
上記のステップＳ１−４で行われるアクセスの通知について、この通知を受けた側の動作の一例を図１４に示す。この動作は、通知を受けた側の検出器内にある文字列検出テーブルのエントリ全てに対して行われる。この図１４の動作は、例えばプロセッサによって実行される。
まず、ステップＳ２−０において、対となるアクセスのインクリメント・フラグ（paired_inc）が１であるか否かの判定が行われる。インクリメント・フラグpaired_incが０の場合、該当エントリに対する処理は終了する。
ステップＳ２−０において、インクリメント・フラグpaired_incが１であった場合、ステップＳ２−１において、対となるアクセスのインクリメント・フラグ（paired_inc）が０に更新され、ステップＳ２−２において、対となる文字列のアクセス回数（paired_cnt）がインクリメントされる。
［伝搬］
テイント情報の伝搬は、ロード命令およびストア命令が実行された際の動作によって実現される。これらの動作は，先に説明したロード用およびストア用の文字列検出器からの出力に基づいて、例えばプロセッサなどによって行われる。ロード用およびストア用の文字列検出器は、例えばプロセッサに含まれていてもよく、プロセッサとは別構成でもよい。
［ロード命令が実行された際の動作］
図１５は、ロード命令が実行された場合の動作の一例を示すフローチャートである。
まず、ステップＳ３−０において、文字列検出器は、該当アクセスが文字列かどうか判定する。該当アクセスが文字列ではない場合、ここで処理は終了する。
該当アクセスが文字列の場合、ステップＳ３−１において、そのアドレスに対応するテイント情報がロードされ、保存される。
なお、上記ステップＳ３−１は、例えばプロセッサによって実行される。
［ストア命令が実行された際の動作］
図１６は、ストア命令が実行された場合の動作の一例を示すフローチャートである。
まず、ステップＳ４−０において、文字列検出器は、該当アクセスが文字列に対するものであるか否か判定する。該当アクセスが文字列ではない場合、ここで処理は終了する。
該当アクセスが文字列の場合、テイント情報のストアが行われる。すなわち、ステップＳ４−１において、文字列データへのロード時（図１５のステップＳ３−１）に保存されたテイント情報が、対応するアドレスに対してストアされる。次に、ステップＳ４−２において、文字列検出器から出力されるバックトラック要求の判定が行われ、要求が存在した場合には、ステップＳ４−３において、後述するバックトラックによる伝搬が行われる。
なお、上記ステップＳ４−１からステップＳ４−３は、例えばプロセッサによって実行される。
［バックトラックによる伝搬］
上記図１６のステップＳ４−２において、文字列検出器よってバックトラック要求が出力された場合、以下に示す「2．入力アドレス」から「3．出力アドレス」に対し，「1．伝搬を行うサイズ」で指定されたサイズの伝搬が行われる。なお、この伝搬は、例えばプロセッサによって実行される。
1．伝搬を行うサイズ：ステップＳ４−０において検出された文字列に対応するエントリ内のアクセス回数（cnt）
2．入力アドレス：直前に検出された文字列へのロードにおける先頭アドレス（base_adr）
3．出力アドレス：ストア時のアドレスから，上記「1．伝搬を行うサイズ」を引いたアドレス
その他、本発明は、上記各実施形態に限定されるものではなく、実施段階ではその要旨を逸脱しない範囲で、種々に変形することが可能である。さらに、上記実施形態には種々の段階の発明が含まれており、開示される複数の構成要件における適宜な組み合わせにより種々の発明が抽出され得る。例えば、上記各実施形態に示される全構成要件から幾つかの構成要件が削除されても、発明が解決しようとする課題の欄で述べた課題が解決でき、発明の効果の欄で述べられている効果が得られる場合には、この構成要件が削除された構成が発明として抽出され得る。
本発明は、言語処理系などのソフトウェアから、ＶＭ、プロセッサなどのプラットフォームまで、あらゆるレベルのテイント情報の伝搬方法として利用可能である。
１，７０…情報処理装置、１０…プロセッサ、１１…読み出し検出手段、１２…書き込み検出手段、１３…テイント・ビット付加手段、１４…検査手段、２０…メモリ、２１…第１の記憶部、２２…第２の記憶部、３０…入力部、４０…出力部、５０…文字列アクセス検出部、６０…記録媒体、６１，６２…プログラム、７１…テイント情報判断部、７２…読み出し系列検出部、７３…書き込み系列検出部、７４…インタリービング判断部、７５…テイント情報付加部。

Claims (12)

  1. 記憶手段から追跡情報の付加された第１の文字列データを読み出すための複数の読み出しイベントを含む第１の読み出し系列と、前記第１の読み出し系列に含まれている複数の読み出しイベントの発生タイミングと、追跡情報の付加された第２の文字列データを読み出すための複数の読み出しイベントを含む第２の読み出し系列と、前記第２の読み出し系列に含まれている複数の読み出しイベントの発生タイミングとを検出する読み出し系列検出手段と、
    前記記憶手段に対して第３の文字列データを書き込むための複数の書き込みイベントを含む書き込み系列と、前記複数の書き込みイベントの発生タイミングとを検出する書き込み系列検出手段と、
    前記読み出し系列検出手段によって検出された前記第１の読み出し系列、前記第１の読み出し系列に含まれている複数の読み出しイベントの発生タイミング、前記第２の読み出し系列、前記第２の読み出し系列に含まれている複数の読み出しイベントの発生タイミング、前記書き込み系列検出手段によって検出された前記書き込み系列、前記複数の書き込みイベントの発生タイミングに基づいて、「前記第１の読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループ」と、「前記書き込み系列に含まれており１つ又は連続する複数の書き込みイベントを含む複数の書き込みイベントグループ」との間で、互い違いの関係を満たすか否か判断する第１の判断を行い、「前記第２の読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループ」と、前記複数の書き込みイベントグループとの間で、互い違いの関係を満たすか否か判断する第２の判断を行うインタリービング判断手段と、
    前記インタリービング判断手段の前記第１及び第２の判断によって前記互い違いの関係の双方を満たすと判断された場合に、前記書き込みイベントグループに含まれている前記書き込みイベントによって書き込まれる文字列データに、前記書き込みイベントグループとの間で前記互い違いの関係にある直前の読み出しイベントグループに属する読み出しイベントに対応する追跡情報を付加する追跡情報付加手段と
    を具備する情報処理装置。
  2. 請求項１記載の情報処理装置において、
    前記インタリービング判断手段は、
    前記第１の読み出し系列における第１の読み出しイベントグループの後に、前記書き込み系列における第１の書き込みイベントグループが発生し、その後さらに、前記第１の読み出し系列における第２の読み出しイベントグループの後に、前記書き込み系列における第２の書き込みイベントグループが発生している場合に、前記互い違いの関係を満たすと判断する前記第１の判断を行い、
    前記第２の読み出し系列における第３の読み出しイベントグループの後に、前記第１の書き込みイベントグループが発生し、その後さらに、前記第２の読み出し系列における第４の読み出しイベントグループの後に、前記第２の書き込みイベントグループが発生している場合に、前記互い違いの関係を満たすと判断する前記第２の判断を行う
    ことを特徴とする情報処理装置。
  3. 請求項２記載の情報処理装置において、
    前記追跡情報付加手段は、前記追跡情報を付与する書き込みイベントが複数の読み出しイベントに基づいて発生している場合に、これら複数の読み出しイベントのうち最後に発生した読み出しイベントにおける追跡情報を、前記書き込まれる文字列データに付与することを特徴とする情報処理装置。
  4. 請求項１乃至請求項３のいずれか１項に記載の情報処理装置において、
    ｔはｔ≧２のしきい値であり、
    k≧１であり、
    mk1，mk2，…，mkt≧１であり、
    n1，n2，…，nt≧１であり、
    前記書き込み系列検出手段は、前記書き込み系列を検出し、
    前記読み出し系列検出手段は、前記第１及び第２の読み出し系列をそれぞれ検出し、
    前記書き込み系列を
    （ｗ_1_1，ｗ_1_2，…，ｗ_1_n1，
    ｗ_2_1，ｗ_2_2，…，ｗ_2_n2，
    …
    ｗ_t_1，ｗ_t_2，…，ｗ_t_nt，
    …）
    とし、
    前記第１及び第２の読み出し系列のそれぞれを
    （rk_1_1，rk_1_2，…，rk_1_mk1，
    rk_2_1，rk_2_2，…，rk_2_mk2，
    …
    rk_t_1，rk_t_2，…，rk_t_mkt，
    …）
    とすると、
    前記インタリービング判断手段は、前記書き込み系列と前記第１及び第２の読み出し系列のそれぞれとの時系列が、
    （rk_1_1，rk_1_2，…，rk_1_mk1），
    （ｗ_1_1，ｗ_1_2，…，ｗ_1_n1），
    （rk_2_1，rk_2_2，…，rk_2_mk2），
    （ｗ_2_1，ｗ_2_2，…，ｗ_2_n2），
    …
    （rk_t_1，rk_t_2，…，rk_t_mkt），
    （ｗ_t_1，ｗ_t_2，…，ｗ_t_n2）
    …
    の前記互い違いの関係の双方を満たすか判断する前記第１及び第２の判断を実行し、
    前記追跡情報付加手段は、前記インタリービング判断手段の前記第１及び第２の判断によって前記互い違いの関係を満たすと判断された場合に、
    i（i≧１）とし、
    前記直前の読み出しイベントグループ（r1_i_m1i，r2_i_m2i，…）
    の中で、最後に現れた読み出しイベントにおける読み出し元の追跡情報を
    （ｗ_i_1，ｗ_i_2，…，ｗ_i_ni）
    の書き込みに対して付加する
    ことを特徴とする情報処理装置。
  5. コンピュータが、記憶手段から追跡情報の付加された第１の文字列データを読み出すための複数の読み出しイベントを含む第１の読み出し系列と、前記第１の読み出し系列に含まれている複数の読み出しイベントの発生タイミングと、追跡情報の付加された第２の文字列データを読み出すための複数の読み出しイベントを含む第２の読み出し系列と、前記第２の読み出し系列に含まれている複数の読み出しイベントの発生タイミングとを検出するとともに、前記記憶手段に対して第３の文字列データを書き込むための複数の書き込みイベントを含む書き込み系列と、前記複数の書き込みイベントの発生タイミングとを検出すること、
    前記コンピュータが、前記第１の読み出し系列、前記第１の読み出し系列に含まれている複数の読み出しイベントの発生タイミング、前記第２の読み出し系列、前記第２の読み出し系列に含まれている複数の読み出しイベントの発生タイミング、前記書き込み系列、前記複数の書き込みイベントの発生タイミングに基づいて、「前記第１の読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループ」と、「前記書き込み系列に含まれており１つ又は連続する複数の書き込みイベントを含む複数の書き込みイベントグループ」との間で、互い違いの関係を満たすか否か判断する第１の判断を行い、「前記第２の読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループ」と、前記複数の書き込みイベントグループとの間で、互い違いの関係を満たすか否か判断する第２の判断を行うこと、
    前記コンピュータが、前記第１及び第２の判断によって前記互い違いの関係の双方を満たすと判断された場合に、前記書き込みイベントグループに含まれている前記書き込みイベントによって書き込まれる文字列データに、前記書き込みイベントグループとの間で前記互い違いの関係にある直前の読み出しイベントグループに属する読み出しイベントに対応する追跡情報を付加すること
    を含む情報処理方法。
  6. 請求項５記載の情報処理方法において、
    前記判断することは、
    前記第１の読み出し系列における第１の読み出しイベントグループの後に、前記書き込み系列における第１の書き込みイベントグループが発生し、その後さらに、前記第１の読み出し系列における第２の読み出しイベントグループの後に、前記書き込み系列における第２の書き込みイベントグループが発生している場合に、前記互い違いの関係を満たすと判断する前記第１の判断を行い、
    前記第２の読み出し系列における第３の読み出しイベントグループの後に、前記第１の書き込みイベントグループが発生し、その後さらに、前記第２の読み出し系列における第４の読み出しイベントグループの後に、前記第２の書き込みイベントグループが発生している場合に、前記互い違いの関係を満たすと判断する前記第２の判断を行う
    ことを特徴とする情報処理方法。
  7. 請求項６記載の情報処理方法において、
    前記付加することは、前記追跡情報を付与する書き込みイベントが複数の読み出しイベントに基づいて発生している場合に、これら複数の読み出しイベントのうち最後に発生した読み出しイベントにおける追跡情報を、前記書き込まれる文字列データに付与することを特徴とする情報処理方法。
  8. 請求項５乃至請求項７のいずれか１項に記載の情報処理方法において、
    ｔはｔ≧２のしきい値であり、
    k≧１であり、
    mk1，mk2，…，mkt≧１であり、
    n1，n2，…，nt≧１であり、
    前記検出することは、前記書き込み系列を検出し、
    前記検出することは、前記第１及び第２の読み出し系列をそれぞれ検出し、
    前記書き込み系列を
    （ｗ_1_1，ｗ_1_2，…，ｗ_1_n1，
    ｗ_2_1，ｗ_2_2，…，ｗ_2_n2，
    …
    ｗ_t_1，ｗ_t_2，…，ｗ_t_nt，
    …）
    とし、
    前記第１及び第２の読み出し系列のそれぞれを
    （rk_1_1，rk_1_2，…，rk_1_mk1，
    rk_2_1，rk_2_2，…，rk_2_mk2，
    …
    rk_t_1，rk_t_2，…，rk_t_mkt，
    …）
    とすると、
    前記インタリービング判断手段は、前記書き込み系列と前記第１及び第２の読み出し系列のそれぞれとの時系列が、
    （rk_1_1，rk_1_2，…，rk_1_mk1），
    （ｗ_1_1，ｗ_1_2，…，ｗ_1_n1），
    （rk_2_1，rk_2_2，…，rk_2_mk2），
    （ｗ_2_1，ｗ_2_2，…，ｗ_2_n2），
    …
    （rk_t_1，rk_t_2，…，rk_t_mkt），
    （ｗ_t_1，ｗ_t_2，…，ｗ_t_n2）
    …
    の前記互い違いの関係の双方を満たすか判断する前記第１及び第２の判断を実行し、
    前記付加することは、前記第１及び第２の判断によって前記互い違いの関係を満たすと判断された場合に、
    i（i≧１）とし、
    前記直前の読み出しイベントグループ（r1_i_m1i，r2_i_m2i，…）
    の中で、最後に現れた読み出しイベントにおける読み出し元の追跡情報を
    （ｗ_i_1，ｗ_i_2，…，ｗ_i_ni）
    の書き込みに対して付加する
    ことを特徴とする情報処理方法。
  9. コンピュータを、
    記憶手段から追跡情報の付加された第１の文字列データを読み出すための複数の読み出しイベントを含む第１の読み出し系列と、前記第１の読み出し系列に含まれている複数の読み出しイベントの発生タイミングと、追跡情報の付加された第２の文字列データを読み出すための複数の読み出しイベントを含む第２の読み出し系列と、前記第２の読み出し系列に含まれている複数の読み出しイベントの発生タイミングとを検出する読み出し系列検出手段、
    前記記憶手段に対して第３の文字列データを書き込むための複数の書き込みイベントを含む書き込み系列と、前記複数の書き込みイベントの発生タイミングとを検出する書き込み系列検出手段、
    前記読み出し系列検出手段によって検出された前記第１の読み出し系列、前記第１の読み出し系列に含まれている複数の読み出しイベントの発生タイミング、前記第２の読み出し系列、前記第２の読み出し系列に含まれている複数の読み出しイベントの発生タイミング、前記書き込み系列検出手段によって検出された前記書き込み系列、前記複数の書き込みイベントの発生タイミングに基づいて、「前記第１の読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループ」と、「前記書き込み系列に含まれており１つ又は連続する複数の書き込みイベントを含む複数の書き込みイベントグループ」との間で、互い違いの関係を満たすか否か判断する第１の判断を行い、「前記第２の読み出し系列に含まれており１つ又は連続する複数の読み出しイベントを含む複数の読み出しイベントグループ」と、前記複数の書き込みイベントグループとの間で、互い違いの関係を満たすか否か判断する第２の判断を行うインタリービング判断手段、
    前記インタリービング判断手段の前記前記第１及び第２の判断によって前記互い違いの関係の双方を満たすと判断された場合に、前記書き込みイベントグループに含まれている前記書き込みイベントによって書き込まれる文字列データに、前記書き込みイベントグループとの間で前記互い違いの関係にある直前の読み出しイベントグループに属する読み出しイベントに対応する追跡情報を付加する追跡情報付加手段
    として機能させるためのプログラム。
  10. 請求項９記載のプログラムにおいて、
    前記インタリービング判断手段は、
    前記第１の読み出し系列における第１の読み出しイベントグループの後に、前記書き込み系列における第１の書き込みイベントグループが発生し、その後さらに、前記第１の読み出し系列における第２の読み出しイベントグループの後に、前記書き込み系列における第２の書き込みイベントグループが発生している場合に、前記互い違いの関係を満たすと判断する前記第１の判断を行い、
    前記第２の読み出し系列における第３の読み出しイベントグループの後に、前記第１の書き込みイベントグループが発生し、その後さらに、前記第２の読み出し系列における第４の読み出しイベントグループの後に、前記第２の書き込みイベントグループが発生している場合に、前記互い違いの関係を満たすと判断する前記第２の判断を行う
    ことを特徴とするプログラム。
  11. 請求項１０記載のプログラムにおいて、
    前記追跡情報付加手段は、前記追跡情報を付与する書き込みイベントが複数の読み出しイベントに基づいて発生している場合に、これら複数の読み出しイベントのうち最後に発生した読み出しイベントにおける追跡情報を、前記書き込まれる文字列データに付与することを特徴とするプログラム。
  12. 請求項９乃至請求項１１のいずれか１項に記載のプログラムにおいて、
    ｔはｔ≧２のしきい値であり、
    k≧１であり、
    mk1，mk2，…，mkt≧１であり、
    n1，n2，…，nt≧１であり、
    前記書き込み系列検出手段は、前記書き込み系列を検出し、
    前記読み出し系列検出手段は、前記第１及び第２の読み出し系列をそれぞれ検出し、
    前記書き込み系列を
    （ｗ_1_1，ｗ_1_2，…，ｗ_1_n1，
    ｗ_2_1，ｗ_2_2，…，ｗ_2_n2，
    …
    ｗ_t_1，ｗ_t_2，…，ｗ_t_nt，
    …）
    とし、
    前記第１及び第２の読み出し系列のそれぞれを
    （rk_1_1，rk_1_2，…，rk_1_mk1，
    rk_2_1，rk_2_2，…，rk_2_mk2，
    …
    rk_t_1，rk_t_2，…，rk_t_mkt，
    …）
    とすると、
    前記インタリービング判断手段は、前記書き込み系列と前記第１及び第２の読み出し系列のそれぞれとの時系列が、
    （rk_1_1，rk_1_2，…，rk_1_mk1），
    （ｗ_1_1，ｗ_1_2，…，ｗ_1_n1），
    （rk_2_1，rk_2_2，…，rk_2_mk2），
    （ｗ_2_1，ｗ_2_2，…，ｗ_2_n2），
    …
    （rk_t_1，rk_t_2，…，rk_t_mkt），
    （ｗ_t_1，ｗ_t_2，…，ｗ_t_n2）
    …
    の前記互い違いの関係を満たすか判断する前記第１及び第２の判断を実行し、
    前記追跡情報付加手段は、前記第１及び第２の判断によって前記互い違いの関係の双方を満たすと判断された場合に、
    i（i≧１）とし、
    前記直前の読み出しイベントグループ（r1_i_m1i，r2_i_m2i，…）
    の中で、最後に現れた読み出しイベントにおける読み出し元の追跡情報を
    （ｗ_i_1，ｗ_i_2，…，ｗ_i_ni）
    の書き込みに対して付加する
    ことを特徴とするプログラム。
JP2009067407A 2008-09-29 2009-03-19 情報処理装置、情報処理方法及びこれを実現させるためのプログラム Expired - Fee Related JP4669053B2 (ja)

Priority Applications (2)

Application Number Priority Date Filing Date Title
JP2009067407A JP4669053B2 (ja) 2008-09-29 2009-03-19 情報処理装置、情報処理方法及びこれを実現させるためのプログラム
US12/411,771 US8413240B2 (en) 2008-09-29 2009-03-26 Information processing device, information processing method, and computer readable recording medium

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
JP2008251255 2008-09-29
JP2009067407A JP4669053B2 (ja) 2008-09-29 2009-03-19 情報処理装置、情報処理方法及びこれを実現させるためのプログラム

Publications (2)

Publication Number Publication Date
JP2010102679A JP2010102679A (ja) 2010-05-06
JP4669053B2 true JP4669053B2 (ja) 2011-04-13

Family

ID=42059180

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2009067407A Expired - Fee Related JP4669053B2 (ja) 2008-09-29 2009-03-19 情報処理装置、情報処理方法及びこれを実現させるためのプログラム

Country Status (2)

Country Link
US (1) US8413240B2 (ja)
JP (1) JP4669053B2 (ja)

Families Citing this family (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8615804B2 (en) * 2010-02-18 2013-12-24 Polytechnic Institute Of New York University Complementary character encoding for preventing input injection in web applications
KR101409545B1 (ko) * 2010-08-09 2014-06-19 도시바 미쓰비시덴키 산교시스템 가부시키가이샤 데이터 검색 시스템
JP5501156B2 (ja) * 2010-08-23 2014-05-21 キヤノン株式会社 情報処理装置、情報処理方法、及びプログラム
US9111092B2 (en) 2011-08-29 2015-08-18 Novell, Inc. Security event management apparatus, systems, and methods
CN102651062B (zh) * 2012-04-09 2014-06-18 华中科技大学 基于虚拟机架构的恶意行为跟踪系统和方法
JP5766650B2 (ja) * 2012-04-27 2015-08-19 日本電信電話株式会社 情報処理装置、監視方法および監視プログラム
JP5952218B2 (ja) * 2013-05-16 2016-07-13 日本電信電話株式会社 情報処理装置および情報処理方法
US9171028B1 (en) * 2013-06-11 2015-10-27 Google Inc. Method of maintaining a large set of taint labels
US9519533B2 (en) * 2015-01-28 2016-12-13 Qualcomm Incorporated Data flow tracking via memory monitoring
CN109873833B (zh) * 2019-03-11 2021-08-03 浙江工业大学 一种基于卡方距离knn的数据注入攻击检测方法
US11275840B2 (en) 2019-07-29 2022-03-15 Sap Se Management of taint information attached to strings

Family Cites Families (25)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6567900B1 (en) * 2000-08-31 2003-05-20 Hewlett-Packard Development Company, L.P. Efficient address interleaving with simultaneous multiple locality options
US8010469B2 (en) * 2000-09-25 2011-08-30 Crossbeam Systems, Inc. Systems and methods for processing data flows
US7406714B1 (en) * 2003-07-01 2008-07-29 Symantec Corporation Computer code intrusion detection system based on acceptable retrievals
US7207065B2 (en) * 2004-06-04 2007-04-17 Fortify Software, Inc. Apparatus and method for developing secure software
US7831995B2 (en) * 2004-10-29 2010-11-09 CORE, SDI, Inc. Establishing and enforcing security and privacy policies in web-based applications
US7860842B2 (en) * 2005-03-16 2010-12-28 Oracle International Corporation Mechanism to detect and analyze SQL injection threats
US7757282B2 (en) * 2005-05-20 2010-07-13 Microsoft Corporation System and method for distinguishing safe and potentially unsafe data during runtime processing
US7849509B2 (en) * 2005-10-07 2010-12-07 Microsoft Corporation Detection of security vulnerabilities in computer programs
US7702642B1 (en) * 2005-12-07 2010-04-20 Precise Software Solutions, Inc. Method, system and computer-readable code for instrumenting code for logging database-related strings
US20070156644A1 (en) * 2006-01-05 2007-07-05 Microsoft Corporation SQL injection detector
US20070240141A1 (en) * 2006-03-30 2007-10-11 Feng Qin Performing dynamic information flow tracking
US8510827B1 (en) * 2006-05-18 2013-08-13 Vmware, Inc. Taint tracking mechanism for computer security
US8621607B2 (en) * 2006-05-18 2013-12-31 Vmware, Inc. Computational system including mechanisms for tracking taint
US7788235B1 (en) * 2006-09-29 2010-08-31 Symantec Corporation Extrusion detection using taint analysis
US7870610B1 (en) * 2007-03-16 2011-01-11 The Board Of Directors Of The Leland Stanford Junior University Detection of malicious programs
US7882508B1 (en) * 2007-04-27 2011-02-01 Hewlett-Packard Development Company, L.P. Tracing information flow using a signature
US20090049547A1 (en) * 2007-08-13 2009-02-19 Yuan Fan System for real-time intrusion detection of SQL injection web attacks
US8321840B2 (en) * 2007-12-27 2012-11-27 Intel Corporation Software flow tracking using multiple threads
US8074281B2 (en) * 2008-01-14 2011-12-06 Microsoft Corporation Malware detection with taint tracking
US8117660B2 (en) * 2008-06-19 2012-02-14 Microsoft Corporation Secure control flows by monitoring control transfers
US20090328210A1 (en) * 2008-06-30 2009-12-31 Microsoft Corporation Chain of events tracking with data tainting for automated security feedback
US8893280B2 (en) * 2009-12-15 2014-11-18 Intel Corporation Sensitive data tracking using dynamic taint analysis
US8615804B2 (en) * 2010-02-18 2013-12-24 Polytechnic Institute Of New York University Complementary character encoding for preventing input injection in web applications
US10339575B2 (en) * 2010-03-05 2019-07-02 International Business Machines Corporation Method and system for provenance tracking in software ecosystems
US20110314337A1 (en) * 2010-06-18 2011-12-22 International Business Machines Corporation Method and Apparatus for Locating Input-Model Faults Using Dynamic Tainting

Also Published As

Publication number Publication date
US20100083379A1 (en) 2010-04-01
US8413240B2 (en) 2013-04-02
JP2010102679A (ja) 2010-05-06

Similar Documents

Publication Publication Date Title
JP4669053B2 (ja) 情報処理装置、情報処理方法及びこれを実現させるためのプログラム
US9824214B2 (en) High performance software vulnerabilities detection system and methods
CN104081350B (zh) 使用动态编程语言的元数据的运行时优化方法和系统
JP5786512B2 (ja) インジェクション攻撃を検出するためのセキュリティ・ソフトウェア・モジュールを検証するためのハイブリッド制約条件の求解
EP2479673B1 (en) Software architecture for validating C++ programs using symbolic execution
US8381194B2 (en) Methods and apparatuses for selective code coverage
EP2420931B1 (en) Solving hybrid constraints to generate test cases for validating a software module
EP2407887B1 (en) Solving hybrid constraints to validate specification requirements of a software module
EP2479674A1 (en) Optimizing libraries for validating C++ programs using symbolic execution
US9336125B2 (en) Systems and methods for hardware-assisted type checking
US20110047531A1 (en) Methods and apparatuses for selective code coverage
US20140122836A1 (en) Confidence-driven selective predication of processor instructions
CN104090798A (zh) 动静态结合的中断驱动程序数据竞争检测方法
US8572748B2 (en) Label-based taint analysis
US8650546B2 (en) Static analysis based on observed string values during execution of a computer-based software application
Monniaux et al. On the complexity of cache analysis for different replacement policies
Song et al. Infeasible path detection based on code pattern and backward symbolic execution
Atig et al. Context-bounded analysis of TSO systems
Jiang et al. An exploitability analysis technique for binary vulnerability based on automatic exception suppression
US20090210655A1 (en) Processor, method and computer program product including specialized store queue and buffer design for silent store implementation
KR20220154821A (ko) 프로세서 파이프라인에서 간접 점프의 페치 스테이지 처리
US12008149B2 (en) Method and system for on demand control of hardware support for software pointer authentification in a computing system
Saeed et al. Tag‐Protector: An Effective and Dynamic Detection of Illegal Memory Accesses through Compile Time Code Instrumentation
WO2021090497A1 (ja) 推論装置、推論方法、及びコンピュータ読み取り可能な記録媒体
Fattahi et al. Introduction to SinJAR (a New Tool for Reverse Engineering Java Applications) and Tracing Its Malicious Actions Using Hidden Markov Models

Legal Events

Date Code Title Description
A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20100921

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20101117

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20101221

A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20110113

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20140121

Year of fee payment: 3

R150 Certificate of patent or registration of utility model

Ref document number: 4669053

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

Free format text: JAPANESE INTERMEDIATE CODE: R150

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

S111 Request for change of ownership or part of ownership

Free format text: JAPANESE INTERMEDIATE CODE: R313113

R350 Written notification of registration of transfer

Free format text: JAPANESE INTERMEDIATE CODE: R350

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

LAPS Cancellation because of no payment of annual fees