SlideShare uma empresa Scribd logo
1 de 23
20分でわかるPKI
Public Key Infrastructure
#qpstudy 2015.11
Aki@nekoruri
20分でわかったつもりになるPKI
Public Key Infrastructure
#qpstudy 2015.11
Aki@nekoruri
前座2
アンケート
• PKI
• 公開鍵証明書
• SSL証明書
• 公開鍵暗号
• SSHの公開鍵認証
会場では、公開鍵暗号自体はそれなりに
理解をしているという人が多いようでした。
公開鍵暗号
• 鍵配送問題を解決する発明(1970年代)
• PKI(公開鍵基盤)の根拠
• 二つの鍵を分離
• 暗号化用の鍵 ⇒ 公開鍵を公開
• 復号用の鍵 ⇒ プライベート鍵を秘匿
• 主な用途
• 暗号化
• デジタル署名
• 鍵交換
「Private key」の訳語はたくさんあります
が、今回は『暗号技術入門』の「プライベー
ト鍵」に揃えました。
鍵配送問題
共通鍵暗号
公開鍵暗号
アリス ボブ
暗号文
共通鍵
アリス ボブ
暗号文
公開鍵
プライベート鍵
別の手段で秘匿しなくはいけない
秘匿の必要はない=公開鍵
平文
平文
共通鍵
秘匿の必要性がなくなり、別の手段が無くて
も安全に通信ができるようになりました。
デジタル署名
• 公開鍵暗号を「逆向き」に利用
• 「公開鍵」で復号できたら正しい相手
アリス ボブ
デジタル署名
公開鍵
プライベート鍵
平文平文
公開鍵
「逆向き」が提供されない、デジタル署名に
利用できない公開鍵暗号アルゴリズムもあり
ます。
鍵配送問題 その2
「公開鍵暗号なら安全」と言ったな。
あれは嘘だ。
アリス ボブ
暗号文
公開鍵
プライベート鍵
秘匿の必要はない=公開鍵
平文
鍵配送問題 その2
• 公開鍵を配送するときの
man-in-the-middle攻撃
(MITM・中間者攻撃)
に弱い
• 公開鍵の「真正性」
がだいじ
アリス ボブ
公開鍵
プライベート鍵
平文
マロリー偽公開鍵
暗号文
プライベート鍵
貴方のもつ「公開鍵」は、
本当に正しいものですか?
鍵配送問題 その2
• 公開鍵が信頼できないなら
デジタル署名も無力
アリス ボブ
公開鍵
プライベート鍵
平文
マロリー偽公開鍵
プライベート鍵
平文 デジタル署名
「隠さなければならない」という要件が無
くなっただけで、依然として「安全に鍵を相
手に送る」という要件は残っています。
「何も信頼できない状態から
信頼を作り出す技術は
まだ生み出されていません」
結城 浩『暗号技術入門 第3版』
(SBクリエイティブ、2015年)
276ページ
ネットワークにおける「信頼」の本質です。
PKI
• 公開鍵暗号をうまく使うための枠組み
• PGPとSSHを除く世の中のほぼ全てがこの上に乗っかっている
• 覚えて帰るべきポイント
• 公開鍵証明書
• 階層化された認証局(CA)
• トラストアンカー
「PKI」とは枠組みそのものであり、細かい
仕様などの総称でもあります。
公開鍵証明書
• 公開鍵に第三者がデジタル署名
• ボブとクリスのどちらかの
公開鍵があれば
良い
アリス ボブ
デジタル署名
公開鍵
プライベート鍵
平文平文
クリス公開鍵
クリス公開鍵
証明書
クリスのデジタル署名
ボブ公開鍵
まず「信頼」を作り出す枠組みを用意します。
階層化された認証局(CA)
• 公開鍵証明書にデジタル署名する「信頼できる第三者」
• 一番上の認証局の公開鍵さえ安全に配布できれば、
その「下」にぶら下がる公開鍵証明書の安全を担保できる!
ボブ
公開鍵
クリス
公開鍵
証明書
ドロシー
公開鍵
証明書
公開鍵 公開鍵
いわゆる
「ルート証明書」
公開鍵
証明書
次に「信頼を連鎖」させる枠組みを作り、
「信頼する相手」の数を最低限に絞ります。
これが「CA」です。
実際のCA階層化の例
信頼されたジオトラストの
公開鍵証明書
ジオトラストから信頼された
Googleの公開鍵証明書
個別の公開鍵証明書
Googleさん自前でCA持ってたんですね……。
https://pki.google.com/
トラストアンカー
• 「信頼の起点」
• いわゆる「信頼されたルート証明書」
「何も信頼できない状態から
信頼を作り出す技術は
まだ生み出されていません」
結城 浩『暗号技術入門 第3版』
(SBクリエイティブ、2015年)
276ページ
トラストアンカー
• 「信頼の起点」
• いわゆる「信頼されたルート証明書」
• ここが侵されたら何をされてもおかしくない
• 不正なサーバへの接続
• 不正なバイナリの実行
PKIとは、要するに「トラストアンカー」を
基準に世の中の様々なものを信頼していく
ための枠組みです。
とあるWindows PCでのルート証明書一覧
この全てを「絶対的に信頼」している訳です。
たとえばブラウザの接続先の検証だけでなく、
Windows Updateやウイルススキャナなどの
自動アップデートでもデジタル署名の検証が
入りますので、ここに不正なルート証明書が
登録されれば、気付かない間に不正な実行
ファイルがインストールされてしまう可能性
が出てきます。
これ全部
信頼してるの?
マジで?
私たちが信頼している「何か」
私がインストールしたブラウザに含まれるルート証明書
ブラウザの配布者が決められたポリシーに従ってビルトイン
CA/Browser Forumでガイドラインを策定
・Baseline Requirements
・WebTrust for CA
米国公認会計士協会・カナダ勅許職業会計士協会
が定める認証局の基準
・EV Guideline
原則はガイドラインがあります、が……
私たちが信頼している「何か」
私がインストールしたブラウザに含まれるルート証明書
ブラウザの配布者が決められたポリシーに従ってビルトイン
+
管理者が登録したルート証明書
安易にルート証明書を
組み込まない鋼の心
「管理者」には、そのPCのユーザ自身だけで
無く、ハードウェアベンダーや販売者、企業
の情シス部門なども含まれます。
絶対的に信頼しているトラストアンカーに何
かを「仕込まれる」ことの危険性が、この一
連のスライドで最も伝えたいことです。
最近の課題
• トラストアンカー(ルート証明書)の不適切な扱い
• Superfish(オレオレCAのプライベート鍵が共通=公開)
• 信頼できない認証局
• Symantec(Verisign)が実在ドメインの証明書を内部テストに利用
• 認証局システムへの侵入
• 利用する暗号化アルゴリズムの危殆化
• 2048bit RSAへの移行
• SHA-2への移行
このスライドの公開準備中に、プライベート
鍵を不適切に扱うSuperfish同様の
「eDellRoot」が発見されてしまいました。
PKIの今後
• PKIベースのデジタル署名の活用
• ウェブにおけるHTTPSの「当たり前」化
• SMTPのTLS化
https://googleonlinesecurity.blogspot.jp/2015/11/new-research-encouraging-trends-and.html
• S/MIMEの活用
• PKIは「最後の砦」
• DNSやIPアドレスはもはや信頼できない
• 「暗号学的」に守ってくれるのは、今ここにあるPKIだけ
• 正しく理解し、適切に利用していく必要があります。
「暗号学的に守るのが当たり前」の時代に
なりつつあり、PKIの正しい理解が必須です。

Mais conteúdo relacionado

Mais procurados

行列およびテンソルデータに対する機械学習(数理助教の会 2011/11/28)
行列およびテンソルデータに対する機械学習(数理助教の会 2011/11/28)行列およびテンソルデータに対する機械学習(数理助教の会 2011/11/28)
行列およびテンソルデータに対する機械学習(数理助教の会 2011/11/28)
ryotat
 
レベル2準同型暗号の平文バイナリ制約を与えるコンパクトな非対話ゼロ知識証明
レベル2準同型暗号の平文バイナリ制約を与えるコンパクトな非対話ゼロ知識証明レベル2準同型暗号の平文バイナリ制約を与えるコンパクトな非対話ゼロ知識証明
レベル2準同型暗号の平文バイナリ制約を与えるコンパクトな非対話ゼロ知識証明
MITSUNARI Shigeo
 
data.tableパッケージで大規模データをサクッと処理する
data.tableパッケージで大規模データをサクッと処理するdata.tableパッケージで大規模データをサクッと処理する
data.tableパッケージで大規模データをサクッと処理する
Shintaro Fukushima
 

Mais procurados (20)

行列およびテンソルデータに対する機械学習(数理助教の会 2011/11/28)
行列およびテンソルデータに対する機械学習(数理助教の会 2011/11/28)行列およびテンソルデータに対する機械学習(数理助教の会 2011/11/28)
行列およびテンソルデータに対する機械学習(数理助教の会 2011/11/28)
 
DeNA TechCon2018 ゲーム体験を支えるための強化学習
DeNA TechCon2018 ゲーム体験を支えるための強化学習DeNA TechCon2018 ゲーム体験を支えるための強化学習
DeNA TechCon2018 ゲーム体験を支えるための強化学習
 
chapter2.pdf
chapter2.pdfchapter2.pdf
chapter2.pdf
 
傾向スコアマッチと多重補完法の解説 その2
傾向スコアマッチと多重補完法の解説 その2傾向スコアマッチと多重補完法の解説 その2
傾向スコアマッチと多重補完法の解説 その2
 
De la Blockchain en Propriété Intellectuelle
De la Blockchain en Propriété IntellectuelleDe la Blockchain en Propriété Intellectuelle
De la Blockchain en Propriété Intellectuelle
 
暗認本読書会11
暗認本読書会11暗認本読書会11
暗認本読書会11
 
zk-SNARKsの仕組みについて
zk-SNARKsの仕組みについてzk-SNARKsの仕組みについて
zk-SNARKsの仕組みについて
 
パーソナル履歴データに対する匿名化と再識別:SCIS2017
パーソナル履歴データに対する匿名化と再識別:SCIS2017パーソナル履歴データに対する匿名化と再識別:SCIS2017
パーソナル履歴データに対する匿名化と再識別:SCIS2017
 
定理証明支援系Coqについて
定理証明支援系Coqについて定理証明支援系Coqについて
定理証明支援系Coqについて
 
Quantum cryptography
Quantum cryptographyQuantum cryptography
Quantum cryptography
 
公開用_講演資料_SCSK.pdf
公開用_講演資料_SCSK.pdf公開用_講演資料_SCSK.pdf
公開用_講演資料_SCSK.pdf
 
レベル2準同型暗号の平文バイナリ制約を与えるコンパクトな非対話ゼロ知識証明
レベル2準同型暗号の平文バイナリ制約を与えるコンパクトな非対話ゼロ知識証明レベル2準同型暗号の平文バイナリ制約を与えるコンパクトな非対話ゼロ知識証明
レベル2準同型暗号の平文バイナリ制約を与えるコンパクトな非対話ゼロ知識証明
 
暗認本読書会6
暗認本読書会6暗認本読書会6
暗認本読書会6
 
Ctfのためのpython入門
Ctfのためのpython入門Ctfのためのpython入門
Ctfのためのpython入門
 
[Basic 11] 文脈自由文法 / 構文解析 / 言語解析プログラミング
[Basic 11] 文脈自由文法 / 構文解析 / 言語解析プログラミング[Basic 11] 文脈自由文法 / 構文解析 / 言語解析プログラミング
[Basic 11] 文脈自由文法 / 構文解析 / 言語解析プログラミング
 
実践で学ぶネットワーク分析
実践で学ぶネットワーク分析実践で学ぶネットワーク分析
実践で学ぶネットワーク分析
 
20130716 はじパタ3章前半 ベイズの識別規則
20130716 はじパタ3章前半 ベイズの識別規則20130716 はじパタ3章前半 ベイズの識別規則
20130716 はじパタ3章前半 ベイズの識別規則
 
data.tableパッケージで大規模データをサクッと処理する
data.tableパッケージで大規模データをサクッと処理するdata.tableパッケージで大規模データをサクッと処理する
data.tableパッケージで大規模データをサクッと処理する
 
初心者向けCTFのWeb分野の強化法
初心者向けCTFのWeb分野の強化法初心者向けCTFのWeb分野の強化法
初心者向けCTFのWeb分野の強化法
 
強化學習 Reinforcement Learning
強化學習 Reinforcement Learning強化學習 Reinforcement Learning
強化學習 Reinforcement Learning
 

Semelhante a #qpstudy 2015.11 20分でわかるPKI

Pkiシステムの運用
Pkiシステムの運用Pkiシステムの運用
Pkiシステムの運用
Jun Morimoto
 
コンバージョンに効く!?SSLサーバ処方箋
コンバージョンに効く!?SSLサーバ処方箋コンバージョンに効く!?SSLサーバ処方箋
コンバージョンに効く!?SSLサーバ処方箋
Masashi Kawamura
 

Semelhante a #qpstudy 2015.11 20分でわかるPKI (8)

CoinOtaku授業用スライド(ビットコインの仕組み)
CoinOtaku授業用スライド(ビットコインの仕組み)CoinOtaku授業用スライド(ビットコインの仕組み)
CoinOtaku授業用スライド(ビットコインの仕組み)
 
#mailerstudy 02 暗号入門 (2012-02-22更新)
#mailerstudy 02 暗号入門 (2012-02-22更新)#mailerstudy 02 暗号入門 (2012-02-22更新)
#mailerstudy 02 暗号入門 (2012-02-22更新)
 
Pkiシステムの運用
Pkiシステムの運用Pkiシステムの運用
Pkiシステムの運用
 
コンバージョンに効く!?SSLサーバ処方箋
コンバージョンに効く!?SSLサーバ処方箋コンバージョンに効く!?SSLサーバ処方箋
コンバージョンに効く!?SSLサーバ処方箋
 
ただしくHTTPSを設定しよう!
ただしくHTTPSを設定しよう!ただしくHTTPSを設定しよう!
ただしくHTTPSを設定しよう!
 
第5回web技術勉強会 暗号技術編その3
第5回web技術勉強会 暗号技術編その3第5回web技術勉強会 暗号技術編その3
第5回web技術勉強会 暗号技術編その3
 
第3回web技術勉強会 暗号技術編その1
第3回web技術勉強会 暗号技術編その1第3回web技術勉強会 暗号技術編その1
第3回web技術勉強会 暗号技術編その1
 
Androidのセキュア開発について考えてみた(明日、敗訴しないためのセキュアコーディング.ver2)
Androidのセキュア開発について考えてみた(明日、敗訴しないためのセキュアコーディング.ver2)Androidのセキュア開発について考えてみた(明日、敗訴しないためのセキュアコーディング.ver2)
Androidのセキュア開発について考えてみた(明日、敗訴しないためのセキュアコーディング.ver2)
 

Mais de Masahiro NAKAYAMA

めもおきば新刊のお知らせ サーバーレスでHelloWorldする25の方法 #ssmjp
めもおきば新刊のお知らせ サーバーレスでHelloWorldする25の方法 #ssmjpめもおきば新刊のお知らせ サーバーレスでHelloWorldする25の方法 #ssmjp
めもおきば新刊のお知らせ サーバーレスでHelloWorldする25の方法 #ssmjp
Masahiro NAKAYAMA
 
SORACOMでデータ上げてクラウドで分析・可視化するハンズオン #SecHack365
SORACOMでデータ上げてクラウドで分析・可視化するハンズオン #SecHack365SORACOMでデータ上げてクラウドで分析・可視化するハンズオン #SecHack365
SORACOMでデータ上げてクラウドで分析・可視化するハンズオン #SecHack365
Masahiro NAKAYAMA
 

Mais de Masahiro NAKAYAMA (20)

ハッカソンについて(分散アーキテクチャ時代におけるWebシステムの開発と運用) #seccamp
ハッカソンについて(分散アーキテクチャ時代におけるWebシステムの開発と運用) #seccampハッカソンについて(分散アーキテクチャ時代におけるWebシステムの開発と運用) #seccamp
ハッカソンについて(分散アーキテクチャ時代におけるWebシステムの開発と運用) #seccamp
 
イントロダクション(分散アーキテクチャ時代におけるWebシステムの開発と運用) #seccamp
イントロダクション(分散アーキテクチャ時代におけるWebシステムの開発と運用) #seccampイントロダクション(分散アーキテクチャ時代におけるWebシステムの開発と運用) #seccamp
イントロダクション(分散アーキテクチャ時代におけるWebシステムの開発と運用) #seccamp
 
クラウド時代のものづくり(分散アーキテクチャ時代におけるWebシステムの開発と運用) #seccamp
クラウド時代のものづくり(分散アーキテクチャ時代におけるWebシステムの開発と運用) #seccampクラウド時代のものづくり(分散アーキテクチャ時代におけるWebシステムの開発と運用) #seccamp
クラウド時代のものづくり(分散アーキテクチャ時代におけるWebシステムの開発と運用) #seccamp
 
めもおきば新刊のお知らせ サーバーレスでHelloWorldする25の方法 #ssmjp
めもおきば新刊のお知らせ サーバーレスでHelloWorldする25の方法 #ssmjpめもおきば新刊のお知らせ サーバーレスでHelloWorldする25の方法 #ssmjp
めもおきば新刊のお知らせ サーバーレスでHelloWorldする25の方法 #ssmjp
 
クラウド時代における分散Webシステムの構成とスケーリング #seccamp
クラウド時代における分散Webシステムの構成とスケーリング #seccamp クラウド時代における分散Webシステムの構成とスケーリング #seccamp
クラウド時代における分散Webシステムの構成とスケーリング #seccamp
 
#ServerlessDays Tokyo 2019 「サーバーレス」な同人誌の紹介
#ServerlessDays Tokyo 2019 「サーバーレス」な同人誌の紹介#ServerlessDays Tokyo 2019 「サーバーレス」な同人誌の紹介
#ServerlessDays Tokyo 2019 「サーバーレス」な同人誌の紹介
 
サーバーレス時代の システム設計ワークショップ
サーバーレス時代の システム設計ワークショップサーバーレス時代の システム設計ワークショップ
サーバーレス時代の システム設計ワークショップ
 
#ssmjp 2018/12 技術系同人誌を手に入れよう
#ssmjp 2018/12 技術系同人誌を手に入れよう#ssmjp 2018/12 技術系同人誌を手に入れよう
#ssmjp 2018/12 技術系同人誌を手に入れよう
 
FaaSのインターフェースに見るサーバーレス #serverlessconf #serverlesstokyo
FaaSのインターフェースに見るサーバーレス #serverlessconf #serverlesstokyo FaaSのインターフェースに見るサーバーレス #serverlessconf #serverlesstokyo
FaaSのインターフェースに見るサーバーレス #serverlessconf #serverlesstokyo
 
クラウドでハンズオンする話 #ssmjp
クラウドでハンズオンする話 #ssmjpクラウドでハンズオンする話 #ssmjp
クラウドでハンズオンする話 #ssmjp
 
SORACOMでデータ上げてクラウドで分析・可視化するハンズオン #SecHack365
SORACOMでデータ上げてクラウドで分析・可視化するハンズオン #SecHack365SORACOMでデータ上げてクラウドで分析・可視化するハンズオン #SecHack365
SORACOMでデータ上げてクラウドで分析・可視化するハンズオン #SecHack365
 
IoT時代のセキュアなクラウドインフラ構築術 #seccamp
IoT時代のセキュアなクラウドインフラ構築術 #seccampIoT時代のセキュアなクラウドインフラ構築術 #seccamp
IoT時代のセキュアなクラウドインフラ構築術 #seccamp
 
Serverless book
Serverless bookServerless book
Serverless book
 
クラウドではじめるリアルタイムデータ分析 #seccamp
クラウドではじめるリアルタイムデータ分析 #seccampクラウドではじめるリアルタイムデータ分析 #seccamp
クラウドではじめるリアルタイムデータ分析 #seccamp
 
技術系同人誌を書こう #ssmjp
技術系同人誌を書こう #ssmjp技術系同人誌を書こう #ssmjp
技術系同人誌を書こう #ssmjp
 
「サーバレスの薄い本」からの1年 #serverlesstokyo
「サーバレスの薄い本」からの1年 #serverlesstokyo「サーバレスの薄い本」からの1年 #serverlesstokyo
「サーバレスの薄い本」からの1年 #serverlesstokyo
 
BluetoothメッシュによるIoTシステムを支えるサーバーレス技術 #serverlesstokyo
BluetoothメッシュによるIoTシステムを支えるサーバーレス技術 #serverlesstokyoBluetoothメッシュによるIoTシステムを支えるサーバーレス技術 #serverlesstokyo
BluetoothメッシュによるIoTシステムを支えるサーバーレス技術 #serverlesstokyo
 
IoT(Bluetooth mesh) × サーバーレス
IoT(Bluetooth mesh) × サーバーレスIoT(Bluetooth mesh) × サーバーレス
IoT(Bluetooth mesh) × サーバーレス
 
Serverless Architecture Overview #cdevc
Serverless Architecture Overview #cdevcServerless Architecture Overview #cdevc
Serverless Architecture Overview #cdevc
 
細かすぎて伝わらないSORACOM Funnelのオプション紹介 #soracomug
細かすぎて伝わらないSORACOM Funnelのオプション紹介 #soracomug細かすぎて伝わらないSORACOM Funnelのオプション紹介 #soracomug
細かすぎて伝わらないSORACOM Funnelのオプション紹介 #soracomug
 

Último

Último (7)

LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
LoRaWANスマート距離検出センサー  DS20L  カタログ  LiDARデバイスLoRaWANスマート距離検出センサー  DS20L  カタログ  LiDARデバイス
LoRaWANスマート距離検出センサー DS20L カタログ LiDARデバイス
 
新人研修 後半 2024/04/26の勉強会で発表されたものです。
新人研修 後半        2024/04/26の勉強会で発表されたものです。新人研修 後半        2024/04/26の勉強会で発表されたものです。
新人研修 後半 2024/04/26の勉強会で発表されたものです。
 
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
NewSQLの可用性構成パターン(OCHaCafe Season 8 #4 発表資料)
 
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その32024/04/26の勉強会で発表されたものです。
 
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
業務で生成AIを活用したい人のための生成AI入門講座(社外公開版:キンドリルジャパン社内勉強会:2024年4月発表)
 
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアルLoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
LoRaWAN スマート距離検出デバイスDS20L日本語マニュアル
 
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
Amazon SES を勉強してみる その22024/04/26の勉強会で発表されたものです。
 

#qpstudy 2015.11 20分でわかるPKI

Notas do Editor

  1. 20分でわかったつもりになるPKI
  2. 20分でわかったつもりになるPKI
  3. 公開鍵暗号なら安全!すごいめう!
  4. デジタル署名に使えない公開鍵暗号アルゴリズムもあることに口頭で触れる。
  5. デジタル署名に使えない公開鍵暗号アルゴリズムもあることに口頭で触れる。
  6. Microsoftの署名+WindowsUpdate+DNS spoofingで不正バイナリ自動インストール!やっためうすごいめう!
  7. GPKIとかもWebTrust for CAに準拠
  8. GPKIとかもWebTrust for CAに準拠