アドレス空間 くうかん 化 か 攻撃 こうげき 者 しゃ 標的 ひょうてき 予測 よそく 困難 こんなん 種 しゅ 攻撃 こうげき 妨害 ぼうがい return-to-libc攻撃 こうげき で実行 じっこう 試 こころ 攻撃 こうげき 者 しゃ 実行 じっこう 位置 いち 特定 とくてい 上 じょう 注入 ちゅうにゅう シェルコード の実行 じっこう 試 こころ 他 ほか 攻撃 こうげき 者 しゃ 見 み 場合 ばあい 関連 かんれん 攻撃 こうげき 者 しゃ 隠 かく 攻撃 こうげき 者 しゃ 値 ね 推測 すいそく 推測 すいそく 失敗 しっぱい 通常 つうじょう 回復 かいふく 不可能 ふかのう
アドレス空間 くうかん 配置 はいち 化 か 置 お 領域 りょういき 攻撃 こうげき 者 しゃ 探 さが 出 だ 困難 こんなん 狙 ねら 探索 たんさく 空間 くうかん 増大 ぞうだい 分 ぶん 向上 こうじょう 空間 くうかん 化 か 無作為 むさくい 内 ない 存在 そんざい エントロピー が大 おお 効果 こうか 的 てき 大 おお 化 か 行 おこな 仮想 かそう 記憶 きおく 領域 りょういき 空間 くうかん 量 りょう 増 ふ 化 か 行 おこな 時間 じかん 間隔 かんかく 短縮 たんしゅく 時間 じかん 間隔 かんかく 通常 つうじょう 可能 かのう 限 かぎ 小 ちい 実装 じっそう 仮想 かそう 記憶 きおく 領域 りょういき 量 りょう 増 ふ
攻撃 こうげき 者 しゃ 化 か 対抗 たいこう 攻撃 こうげき 加 くわ 全 すべ 領域 りょういき 位置 いち 推測 すいそく 成功 せいこう 攻撃 こうげき 用 よう 役 やく 立 た 乗 の 領域 りょういき NOPスライド の使用 しよう 繰 く 返 かえ 攻撃 こうげき 可能 かのう 状態 じょうたい 増 ふ 領域 りょういき 化 か 結果 けっか 状態 じょうたい 攻撃 こうげき 成功 せいこう 一方 いっぽう 基本 きほん 実行 じっこう 領域 りょういき 位置 いち 正確 せいかく 知 し 必要 ひつよう 領域 りょういき 混合 こんごう スタックフレーム はスタック上 じょう 注入 ちゅうにゅう 戻 もど 先 さき
まず、以下 いか 変数 へんすう 宣言 せんげん
E
s
=
entropy bits of stack top
{\displaystyle E_{s}={\mbox{entropy bits of stack top}}\,}
E
m
=
entropy bits of mmap() base
{\displaystyle E_{m}={\mbox{entropy bits of mmap() base}}\,}
E
x
=
entropy bits of main executable base
{\displaystyle E_{x}={\mbox{entropy bits of main executable base}}\,}
E
h
=
entropy bits of heap base
{\displaystyle E_{h}={\mbox{entropy bits of heap base}}\,}
A
s
=
attacked bits per attempt of stack entropy
{\displaystyle A_{s}={\mbox{attacked bits per attempt of stack entropy}}\,}
A
m
=
attacked bits per attempt of mmap() base entropy
{\displaystyle A_{m}={\mbox{attacked bits per attempt of mmap() base entropy}}\,}
A
x
=
attacked bits per attempt of main executable entropy
{\displaystyle A_{x}={\mbox{attacked bits per attempt of main executable entropy}}\,}
A
h
=
attacked bits per attempt of heap base entropy
{\displaystyle A_{h}={\mbox{attacked bits per attempt of heap base entropy}}\,}
α あるふぁ =
attempts made
{\displaystyle \alpha ={\mbox{attempts made}}\,}
N
=
E
s
−
A
s
+
E
m
−
A
m
+
E
x
−
A
x
+
E
h
−
A
h
{\displaystyle N=E_{s}-A_{s}+E_{m}-A_{m}+E_{x}-A_{x}+E_{h}-A_{h}\,}
攻撃 こうげき 者 しゃ 成功 せいこう 確 かく 率 りつ 計算 けいさん 試行 しこう 回数 かいすう
α あるふぁ
{\displaystyle \alpha }
法的 ほうてき 規制 きせい 他 た 要因 よういん 中断 ちゅうだん 実行 じっこう 仮定 かてい 場合 ばあい 再 さい 起動 きどう 多 おお 関係 かんけい 多 おお 回 かい 試行 しこう 攻撃 こうげき 多 おお 攻撃 こうげき 残 のこ 算出 さんしゅつ
以下 いか 式 しき
N
{\displaystyle N}
対 たい
α あるふぁ
{\displaystyle \alpha \,}
回 かい 試行 しこう 与 あた 攻撃 こうげき 成功 せいこう 確 かく 率 りつ 表 あらわ
g
(
α あるふぁ
)
=
isolated guessing; address space is re-randomized after each attempt
{\displaystyle g\left(\alpha \,\right)={\mbox{isolated guessing; address space is re-randomized after each attempt}}\,}
g
(
α あるふぁ
)
=
1
−
(
1
−
2
−
N
)
α あるふぁ
:
0
≤
α あるふぁ
{\displaystyle g\left(\alpha \,\right)=1-{\left(1-{2^{-N}}\right)^{\alpha }\,}:0\leq \,\alpha \,}
b
(
α あるふぁ
)
=
systematic brute forcing on copies of the program with the same address space
{\displaystyle b\left(\alpha \,\right)={\mbox{systematic brute forcing on copies of the program with the same address space}}}
b
(
α あるふぁ
)
=
α あるふぁ
2
N
:
0
≤
α あるふぁ ≤
2
N
{\displaystyle b\left(\alpha \,\right)={\frac {\alpha \,}{2^{N}}}:0\leq \,\alpha \,\leq \,{2^{N}}}
多 おお
2
N
{\displaystyle 2^{N}}
数 すう 千 せん 数 すう 百 ひゃく 万 まん 範囲 はんい 現代 げんだい [update] 64ビット システム上 じょう 数値 すうち 少 すく 数 すう 百 ひゃく 万 まん 達 たっ 化 か 使用 しよう 年 ねん 時点 じてん 共同 きょうどう 研究 けんきゅう 者 しゃ 以下 いか 述 の 化 か 攻撃 こうげき 数 すう 分 ふん 破 わ [1] 研究 けんきゅう 者 しゃ 主張 しゅちょう 攻撃 こうげき 者 しゃ 同 おな 対 たい 遅延 ちえん 複 ふく 数 すう 回 かい 攻撃 こうげき 能力 のうりょく 依存 いぞん 注意 ちゅうい grsecurity に含 ふく 適切 てきせつ 実装 じっそう 攻撃 こうげき 不可能 ふかのう 手法 しゅほう 提供 ていきょう 方法 ほうほう 一定 いってい 時間 じかん 内 ない 設定 せってい 回数 かいすう 以上 いじょう 実行 じっこう 実行 じっこう 妨 さまた
一部 いちぶ ライブラリロード順序 じゅんじょ 化 か を実装 じっそう 順序 じゅんじょ 化 か 一 いち 形態 けいたい 供給 きょうきゅう 必要 ひつよう 供給 きょうきゅう 数 すう 見積 みつも 以下 いか 示 しめ 可変 かへん 考慮 こうりょ 入 い 実際 じっさい 得 え 少 すこ 大 おお 攻撃 こうげき 者 しゃ 通常 つうじょう 必要 ひつよう 注意 ちゅうい 複数 ふくすう 場合 ばあい 計算 けいさん 式 しき 複雑 ふくざつ 以下 いか 示 しめ 攻撃 こうげき 者 しゃ 使用 しよう 場合 ばあい 複雑 ふくざつ 式 しき
l
=
1
{\displaystyle l=1}
単純 たんじゅん 化 か 注意 ちゅうい
l
=
number of libraries loaded
{\displaystyle l={\mbox{number of libraries loaded}}}
β べーた =
number of libraries used by the attacker
{\displaystyle \beta \,={\mbox{number of libraries used by the attacker}}}
E
m
=
log
2
(
l
)
:
β べーた =
1
,
l
≥
1
{\displaystyle E_{m}=\log _{2}\left(l\right):\beta \,=1,l\geq \,1}
E
m
=
∑
i
=
l
l
−
(
β べーた −
1
)
log
2
(
i
)
:
β べーた ≥
1
,
l
≥
1
{\displaystyle E_{m}=\sum _{i=l}^{l-\left(\beta \,-1\right)}\log _{2}\left(i\right):\beta \,\geq \,1,l\geq \,1}
これらの値 ね
l
{\displaystyle l}
大 おお 値 ね 低 ひく 傾向 けいこう 重要 じゅうよう 点 てん 攻撃 こうげき 者 しゃ 通常 つうじょう C標準 ひょうじゅん しか使 つか
β べーた =
1
{\displaystyle \beta \,=1}
仮定 かてい 興味深 きょうみぶか 数 かず 少 すく 数 すう 得 え 順序 じゅんじょ 化 か 仮想 かそう 領域 りょういき 化 か 組 く 合 あ 数 すう 追加 ついか 得 え 可能 かのう 性 せい 追加 ついか 適用 てきよう 他 た 適用 てきよう 注意 ちゅうい
攻撃 こうげき 者 しゃ 単純 たんじゅん 情報 じょうほう 漏洩 ろうえい 攻撃 こうげき 回 かい 複数 ふくすう 攻撃 こうげき heap spraying による攻撃 こうげき 方法 ほうほう 使 つか 化 か 空間 くうかん 現 あらわ 削減 さくげん 対抗 たいこう 手段 しゅだん
書式 しょしき 文字 もじ 列 れつ 攻撃 こうげき 使用 しよう 関 かん 情報 じょうほう 漏洩 ろうえい printf ()のような書式 しょしき 文字 もじ 列 れつ 関数 かんすう 可変長 かへんちょう 引数 ひきすう 使用 しよう 作業 さぎょう 行 おこな 書式 しょしき 指定 してい 子 こ 引数 ひきすう 見 み 記述 きじゅつ 引数 ひきすう 渡 わた 通常 つうじょう 方法 ほうほう 各種 かくしゅ 書式 しょしき 指定 してい 子 こ 先頭 せんとう 近 ちか 移動 いどう 最終 さいしゅう 的 てき 戻 もど 先 さき 抽出 ちゅうしゅつ 可能 かのう 脆弱 ぜいじゃく 既知 きち 現 あらわ 攻撃 こうげき 者 しゃ 対 たい 障害 しょうがい 化 か 効果 こうか
スタックやヒープのエントロピーを減 へ 通常 つうじょう 倍数 ばいすう 境界 きょうかい 配置 はいち 化 か 間隔 かんかく 小 ちい 通常 つうじょう 境界 きょうかい 配置 はいち 攻撃 こうげき 試 こころ 重複 じゅうふく 攻撃 こうげき 境界 きょうかい 合 あ 可能 かのう NOPスライド をシェルコードの注入 ちゅうにゅう 使 つか system() への戻 もど 試 こころ 文字 もじ 列 れつ 任意 にんい 個数 こすう 置 お 換 か 削減 さくげん 数 すう 間隔 かんかく
n
{\displaystyle n}
攻撃 こうげき 対 たい
l
o
g
2
(
n
)
{\displaystyle log_{2}\left(n\right)}
このような減少 げんしょう 量 りょう 制限 せいげん 通常 つうじょう MB [2] 制限 せいげん 伸 の 使 つか 削減 さくげん 可能 かのう 最大 さいだい 保守 ほしゅ 的 てき 見積 みつ KB [2] 詰 つ 物 もの 対 たい 一方 いっぽう 振 ふ 舞 ま 制限 せいげん glibc の場合 ばあい 超 こ 割 わ 当 あ mmap ()を使 つか 作 つく 攻撃 こうげき 者 しゃ 削減 さくげん 制限 せいげん 対 たい 制限 せいげん 要因 よういん 行 おこな 攻撃 こうげき 回数 かいすう 削減 さくげん 攻撃 こうげき 十分 じゅうぶん 大 おお 一部 いちぶ 環境 かんきょう 振 ふ 舞 ま 侵入 しんにゅう 検知 けんち 似 に
PaX プロジェクトが最初 さいしょ 造語 ぞうご 発明 はつめい 最初 さいしょ 設計 せっけい 実装 じっそう 年 ねん 月 がつ 発行 はっこう 現在 げんざい 最 もっと 完全 かんぜん 実装 じっそう 年 ねん 月 がつ 化 か 提供 ていきょう 他 た 実装 じっそう 比 くら 各 かく 化 か 最大 さいだい 与 あた 実装 じっそう 続 つづ [3]
いくつかの主流 しゅりゅう 汎用 はんよう 目的 もくてき 実装 じっそう
OpenBSD はASLRをサポートした（そしてデフォルトで有効 ゆうこう 最初 さいしょ 主流 しゅりゅう [4]
Linux は弱 よわ [5] 形 かたち 有効 ゆうこう PaX とExec Shield のLinuxカーネルに対 たい 集 しゅう 完全 かんぜん 実装 じっそう 提供 ていきょう Alpine Linux 、Hardened Gentoo 、およびHardened Linux From Scratchを含 ふく 各種 かくしゅ 実装 じっそう 備 そな
Linux用 よう Exec Shield パッチは16バイトの間隔 かんかく 上 じょう 供給 きょうきゅう 間隔 かんかく 上 じょう 供給 きょうきゅう 通 とお 位置 いち 広 ひろ 領域 りょういき 基底 きてい 置 お 通 とお 位置 いち 広 ひろ 領域 りょういき 基底 きてい 置 お
位置 いち 独立 どくりつ 実行 じっこう 機能 きのう 実行 じっこう 基底 きてい 年 ねん 実装 じっそう 実行 じっこう 対 たい 共有 きょうゆう 使 つか 同 おな 性 せい 提供 ていきょう 機能 きのう 直接 ちょくせつ 向 む 合 あ 使 つか 機能 きのう 同 おな 実行 じっこう prelink の機能 きのう 同時 どうじ 使 つか
prelink ツールは実行 じっこう 時 じ 時 じ 化 か 実装 じっそう 仕様 しよう 動的 どうてき 行 おこな 前 まえ 再 さい 配置 はいち 行 おこな 何 なん 度 ど 走 はし 再 さい 配置 はいち 回 かい 行 おこな 目的 もくてき 結果 けっか 真 しん 空間 くうかん 化 か 目的 もくてき 打 う 消 け
マイクロソフトのWindows Vista （後述 こうじゅつ 通 とお 年 ねん 月 がつ Windows Server 2008 、Windows 7 、およびWindows Server 2008 R2 は、ASLRが有効 ゆうこう 特別 とくべつ 実行 じっこう ダイナミックリンクライブラリ についてのみではあるが、デフォルトでASLRを有効 ゆうこう [6] 前 まえ 上 じょう Internet Explorer 7 が含 ふく DEP は両方 りょうほう 互換 ごかん 性 せい 目的 もくてき 無効 むこう [7] Internet Explorer 8 を含 ふく 新 あたら 保護 ほご 有効 ゆうこう 実行 じっこう 強制 きょうせい 的 てき 有効 ゆうこう 無効 むこう 設定 せってい 存在 そんざい [8]
ヒープ 、スタック 、プロセス環境 かんきょう スレッド情報 じょうほう の位置 いち 化 か 期待 きたい 堅牢 けんろう 可能 かのう 性 せい 注意 ちゅうい 実装 じっそう 弱点 じゃくてん 認 みと [9]
WehnTrust[10] [11] 侵入 しんにゅう 検知 けんち Windows XP とWindows Server 2003 オペレーティングシステムに提供 ていきょう 実装 じっそう 完全 かんぜん 詳細 しょうさい 公開 こうかい [12]
Solaris 11.1 よりサポートされた[13]
Apple は、Mac OS X v10.5 （2007年 ねん 月 がつ 一部 いちぶ 化 か 導入 どうにゅう [14] 実装 じっそう 防 ふせ 目的 もくてき 攻撃 こうげき 対 たい 完全 かんぜん 保護 ほご 提供 ていきょう [15] [16] [17] [18]
Mac OS X Lion 10.7 （2011年 ねん 月 がつ 実装 じっそう 拡大 かくだい 利用 りよう 保護 ほご 同様 どうよう 攻撃 こうげき 対 たい 耐 たい 性 せい 向上 こうじょう [19]
OS X Mountain Lion 10.8 （2012年 ねん 月 がつ 以降 いこう 起動 きどう 時 じ 含 ふく 全体 ぜんたい 再 さい 配置 はいち [20]
編集 へんしゅう
Appleは、iOS 4.3（2011年 ねん 月 がつ 導入 どうにゅう [21]
Android 4.0 Ice Cream Sandwichはシステムとサードパーティーのアプリケーションをメモリ管理 かんり 問題 もんだい 起因 きいん 脆弱 ぜいじゃく 性 せい 攻撃 こうげき 保護 ほご 提供 ていきょう 位置 いち 独立 どくりつ 実行 じっこう 対応 たいおう 追加 ついか [22]
^ On the Effectiveness of Address-Space Randomization,Shacham, H. and Page, M. and Pfaff, B. and Goh, E.J. and Modadugu, N. and Boneh, D,Proceedings of the 11th ACM conference on Computer and communications security,pp 298--307, 2004
^ a b RAM、ROM、フラッシュメモリなどのトランジスタメモリとキャッシュサイズおよびファイルサイズはK (10241 )、M (10242 )、G (10243 )、…を2進 しん 接頭 せっとう 辞 じ として使 つか
^ Comparison of PaX to ExecShield and W^X
^ Theo De Raadt (2005年 ねん Exploit Mitigation Techniques (updated to include random malloc and mmap) at OpenCON 2005 ”. 2009年 ねん 月 がつ 日 にち 閲覧 えつらん ^ http://www.tomshardware.com/reviews/pwn2own-mac-hack,2254-4.html ^ http://msdn.microsoft.com/en-us/library/bb430720.aspx ^ “MS08-078 and the SDL ”. The Security Development Lifecycle . Microsoft (2008年 ねん 日 にち 2009年 ねん 月 がつ 日 にち 閲覧 えつらん ^ Windows® Internals: Including Windows Server 2008 and Windows Vista, Fifth Edition (PRO-Developer) ISBN 978-0-735-62530-3
^ Ollie Whitehouse (2007年 ねん 月 がつ An Analysis of Address Space Layout Randomization on Windows Vista ” (PDF). 2010年 ねん 月 がつ 日 にち 閲覧 えつらん ^ WehnTrust
^ Security Architects' Ozone
^ Address-Space Randomization for Windows Systems
^ アドレス空間 くうかん 配置 はいち 化 か ^ Apple - Mac OS X - Security - Keeps safe from viruses and malware Archived 2011年 ねん 月 がつ 日 にち Wayback Machine .^ Quick Leopard Update | securosis.com ^ Matasano Chargen » A Roundup Of Leopard Security Features ^ Matasano Chargen » What We’ve Since Learned About Leopard Security Features ^ TippingPoint | DVLabs | New Leopard Security Features - Part I: ASLR ^ “Apple - OS X Lion - Over 250 new features. Read about all of them. ”. web.archive.org (2011年 ねん 月 がつ 日 にち 2023年 ねん 月 がつ 日 にち 閲覧 えつらん ^ “OS X Mountain Lion Core Technologies Overview June 2012 ”. Apple. 2023年 ねん 月 がつ 日 にち 閲覧 えつらん ^ Pwn2Own day 2: iPhone, BlackBerry beaten; Chrome, Firefox no-shows , Ars Technica , 11 March 2011^ “Android Security ”. Android Developers. 2012年 ねん 月 がつ 日 にち 閲覧 えつらん
