セキュリティ
セキュリティ
OAuth・OIDC・JWT などの認証・認可の方式の比較から、XSS・SQLインジェクション・最小権限といった攻撃と防御の考え方まで。まず TL;DR で。
コレクション 01
主要な認証・認可方式(7)
OAuth 2.0
認可（アクセス委譲）
パスワードを渡さずに、サードパーティへ「ここまでアクセスしてよい」という権限を委譲する認可の標準。「〇〇でログイン」や API 連携の土台。
OpenID Connect
認証（本人確認）
OAuth 2.0 の上に「誰がログインしたか（認証）」を足した層。ID トークンで本人情報を安全に伝える、ソーシャルログインの実体。
SAML 2.0
認証（エンタープライズ SSO）
XML ベースのエンタープライズ SSO 標準。社内の IdP（ID プロバイダ）と各 SaaS の間でシングルサインオンを実現する、企業で根強い方式。
JWT
認証/認可情報の運搬
「誰が・何ができるか」を署名付き JSON で運ぶトークン形式。OIDC の ID トークンや API 認証で広く使われる。詳しくは Web の認証も参照。
セッション認証（Cookie）
認証
サーバにセッションを保持し、Cookie のセッション ID で本人を識別する古典的で確実な方式。サーバ側で即座に失効できるのが強み。
API キー
認証（主に機械間）
1 つの秘密の文字列で呼び出し元を識別する最も単純な方式。サービス間連携やスクリプトで手軽に使える。
mTLS（相互 TLS）
相互認証
サーバだけでなくクライアントも証明書で身元を示す相互認証。改ざん・なりすましに強く、ゼロトラストやサービス間通信で使われる。詳しくは TLS も参照。
| 項目 | OAuth 2.0 | OpenID Connect | SAML 2.0 | JWT | セッション認証（Cookie） | API キー | mTLS（相互 TLS） |
|---|---|---|---|---|---|---|---|
| 種別 | 認可フレームワーク | 認証プロトコル（OAuth 2.0 上） | 認証プロトコル（XML） | トークン形式 | サーバ側セッション | 共有シークレット | 証明書ベース |
| 目的 | 認可（アクセス委譲） | 認証（本人確認） | 認証（エンタープライズ SSO） | 認証/認可情報の運搬 | 認証 | 認証（主に機械間） | 相互認証 |
| トークン・形式 | アクセストークン | ID トークン（JWT） | SAML アサーション（XML） | 署名付き JSON | セッション ID（Cookie） | API キー文字列 | クライアント証明書 |
| 一番の強み | パスワードを共有せず権限委譲 | OAuth に認証を標準化して追加 | エンタープライズ SSO の実績 | ステートレス（サーバ側に保存不要） | サーバ側で即時に失効できる | とにかく単純で導入が速い | 双方向で強力な認証 |
| 主な用途 | API へのアクセス委譲 | ソーシャルログイン | 企業の SSO | API 認証 | 伝統的な Web アプリ | サービス間 API 呼び出し | サービス間（マイクロサービス）通信 |
コレクション 01
主要なセキュリティ製品カテゴリ(7)
エンドポイント保護（EPP）
端末をマルウェアから保護 / 代表製品 5件
PC やサーバなどの端末（エンドポイント）をマルウェアから守る対策。従来のアンチウイルス（パターンマッチ）から、振る舞い検知や機械学習を使う次世代型（NGAV）へ進化している。
EDR / XDR
侵入後の検知・対応 / 代表製品 5件
エンドポイントの操作を常時記録し、侵入後の不審な挙動を検知して調査・対応（封じ込め）する仕組み。「侵入される前提」で EPP の次の砦。XDR は対象をネットワークやクラウドまで広げたもの。
WAF（Web アプリケーションファイアウォール）
Web アプリ層の攻撃を遮断 / 代表製品 6件
Web アプリへの通信を検査し、SQL インジェクションや XSS などアプリ層（L7）の攻撃を遮断する防御。FW が通す HTTP の中身を見るのが役割で、クラウド型・アプライアンス型・ホスト型がある。
SASE
NW とセキュリティをクラウド統合 / 代表製品 5件
ネットワーク（SD-WAN）とセキュリティ（SWG / CASB / ZTNA / FWaaS）をクラウドで一体提供する考え方。拠点・リモートを問わず、利用者の近くで一貫したアクセス制御を行う。「境界」から「クラウドで守る」への転換。
SSE（Security Service Edge）
SASE のセキュリティ部分 / 代表製品 5件
SASE のうちセキュリティ部分（SWG・CASB・ZTNA など）をクラウドで統合したもの。ネットワーク（SD-WAN）は含まず、Web・クラウド・社内アプリへの安全なアクセスに絞った枠組み。
ID 管理（IAM / IDaaS）
誰が何にアクセスできるかを管理 / 代表製品 6件
「誰が何にアクセスできるか」を管理する仕組み（Identity and Access Management）。ID の一元管理、シングルサインオン（SSO）、多要素認証（MFA）、権限の付与/剥奪を担う。クラウド提供は IDaaS と呼ぶ。
SIEM
ログを集約し脅威を検知 / 代表製品 5件
様々な機器やシステムのログを集約し、相関分析して脅威やインシデントの兆候を検知・可視化する仕組み（Security Information and Event Management）。SOC の中核で、近年は自動対応の SOAR と組み合わせる。
操作して学ぶ
ReDoS可視化 — 1つの正規表現がCPUを固める瞬間
破滅的バックトラッキングの指数爆発を体感。Cloudflare全球障害の原理。
操作して学ぶ
OAuth 2.0 フロー可視化 — 認可コード+PKCEを1歩ずつ
4者間のやり取りをステップ再生。なぜ認可コードを挟むのか、PKCEとstateが何を守るのかが図で分かる。
操作して学ぶ
TLS 1.3 ハンドシェイク可視化 — 握手を1歩ずつ
ClientHelloからApplication Dataまでステップ再生。どこから暗号化が始まり、証明書検証が何を証明するかが図で分かる。
操作して学ぶ
Diffie-Hellman鍵交換可視化 — mod羃乗で共有鍵に合意
Alice・Bobの秘密指数を動かして実計算。盗聴者Eveに見える情報・見えない情報を明示し、離散対数の非対称性が分かる。
理解度チェック
脆弱コード当てクイズ — この12個の穴、見抜ける？
SQLi・XSS・SSRF・パストラバーサル… コード片から脆弱性を当て、原理と直し方まで。
操作して学ぶ
プロンプトインジェクション体験 — なぜ効くか、どう防ぐか
直接上書き・DAN型脱獄・間接注入など8手法を「無防備 vs 対策」の応答比較で。
操作して学ぶ
あなたのブラウザは何を漏らしているか
Canvas指紋・WebGLレンダラー・フォント検出…実際の追跡手法を自分の端末で体感。送信は一切なし。
解説記事
攻撃と防御・考え方
XSS・SQLインジェクション・最小権限など、守るために知っておく土台。まず TL;DR で。
ACME プロトコルと自動証明書発行（Let's Encrypt）
証明書の更新作業をゼロにし、期限切れによるサイト障害をなくせる。ドメイン所有確認からアカウント鍵、自動更新まで ACME の内部動作を原理から押さえれば、発行失敗の切り分けと安全な構成設計ができるようになる。
AEAD（認証付き暗号）の設計原理と nonce 再利用の破壊力
なぜ暗号化だけでは守れないのか。AEAD は秘匿と改ざん検知を一体化した道具で、その内部構造と nonce 再利用が招く致命傷を原理から押さえれば、実装事故を確実に避けられる。
CFI と最新のエクスプロイト緩和（ASLR/CFG/CET）
ROP や JOP はなぜ最新環境で止まるのか。前方/後方エッジの制御フロー整合性、Intel CET のシャドースタックと IBT、ASLR/DEP との多層防御を、どこで攻撃が破綻するかの原理から押さえられる。
Cookie の仕組みとセキュリティ属性（SameSite・__Host-）
Cookie のスコープと SameSite・__Host- を原理から押さえれば、CSRF やセッション横取りの設計ミスを未然に潰せる。属性一つの差が信頼境界を左右する理由がわかる。
CORS の内部動作とプリフライト判定
別オリジン API がブラウザで弾かれる理由が腑に落ち、単純/プリフライトの分岐と Access-Control 系ヘッダの評価順、credentials とワイルドカードの制約まで設定根拠で語れるようになる。
CSPRNG とエントロピー：安全な乱数生成の原理と落とし穴
鍵も nonce も署名も、根っこは乱数。予測できる乱数は暗号を一瞬で崩す。CSPRNG の要件・エントロピー源・実際の破壊事例を原理から押さえ、乱数事故を確実に防げる。
CSRF（クロスサイトリクエストフォージェリ）
ログイン中のあなたのブラウザを“代理人”にして、罠サイトが本物サイトへ勝手にリクエストを送らせる攻撃。Cookie が自動で付く性質を悪用される。
DDoS 攻撃と対策
なぜサービスが突然落ちるのか。多数の機器から大量のトラフィックを浴びせて過負荷で止める DDoS の仕組みと、CDN や WAF、レート制限による緩和策を整理。
DKIM・SPF・DMARC によるメール認証の原理
なりすましメールはなぜ届き、どう止めるのか。SPF・DKIM・DMARC の三層がどの偽装を塞ぐかと、アライメント判定・レポート・サブドメイン委任・BIMI までを原理から押さえれば、迷惑メール対策と到達率改善の設計判断ができるようになる。
DNSSEC の信頼チェーンと NSEC ウォーキング
DNS 応答を偽装できない理由とゾーンの中身が覗かれる理由。RRSIG/DNSKEY/DS の署名チェーン、KSK/ZSK のロールオーバー、NSEC/NSEC3 の不在証明を原理から押さえ、検証失敗の切り分けと設計判断ができる。
DoS/DDoS の増幅原理と緩和アーキテクチャ
なぜ小さな攻撃が回線を飲み込むのか。反射増幅の増幅率、SYN フラッドと SYN cookie、L7 攻撃、Anycast やスクラビングによる緩和を原理から理解し、自分の構成の弱点を見抜けるようになります。
DRM とコンテンツ保護の信頼モデル
なぜ再生機器を信頼境界に置くと有料動画を守れるのかが分かる。Widevine/PlayReady の鍵階層、CDM とセキュアパス、HDCP、白箱暗号の限界まで、攻撃面である耐タンパ性を軸に原理で押さえられる。
FN-DSA（Falcon）とNTRU格子署名
署名を最小に抑えたいなら Falcon が効く。NTRU格子とハッシュ＆サイン、高速フーリエサンプリングの原理から、浮動小数点実装の落とし穴と ML-DSA との使い分けまでを腑に落とせる。
HPKE(Hybrid Public Key Encryption)の設計
ECH や MLS が共通の暗号土台に HPKE を選んだ理由が腑に落ちる。KEM・KDF・AEAD を組み合わせる構造、Base／PSK／Auth など複数モード、誤用しにくい API 設計の狙いまで原理から押さえられる。
HSM と鍵保護の原理（耐タンパ・鍵階層・FIPS 140）
秘密鍵を「絶対に外へ出さない」をハードウェアで保証する仕組みが分かる。耐タンパとゼロ化、マスター鍵による鍵ラッピング階層、FIPS 140 のレベル分けまで原理で押さえられる。
IDS/IPS の検知原理（シグネチャ vs アノマリ）
なぜ既知パターン照合だけでは侵入を防げないのか。シグネチャとアノマリ検知の原理、ステートフル再構成、フラグメントや挿入による回避、NIDS と HIDS の配置と限界まで一気に掴める。
IDベース暗号（IBE）
相手のメールアドレスだけで暗号化でき、証明書の発行も交換も要らない。鍵生成センターとマスター鍵の仕組み、ペアリングによる実現、そして避けて通れない鍵預託の課題まで原理でつかめる。
JWT の構造と署名検証・典型的な脆弱性
alg:none や HS/RS 鍵混同で「検証している」つもりが素通りになる——JWT の三部構成と署名検証の正しい順序、kid インジェクションや失効設計の落とし穴を原理から押さえ、自前検証の事故を防げる。
MAC と HMAC の設計原理（メッセージ認証はなぜ難しいか）
鍵とハッシュを連結しただけの自作 MAC はなぜ破られるのか。偽造不可能性の定義から HMAC の ipad/opad、Poly1305 の発想までを原理で押さえれば、認証の事故を確実に避けられる。
Merkle 木と認証データ構造の原理
巨大なデータ全体を再送せず、ハッシュ1本ぶんの証明で「この値は確かに含まれる／改ざんされていない」を検証できます。Merkle 証明の数理から Verkle 木、CT・Git への応用までを原理で押さえられます。
ML-DSA（Dilithium）とFIPS 204
量子計算機時代でも偽造されない署名を、格子の困難さから設計する。Fiat-Shamir with abortsの拒否サンプリング、MLWE／MSIS仮定、鍵・署名サイズ、検証手順までを原理から実装目線で押さえられる。
ML-KEM（Kyber）とFIPS 203
NISTが最初に標準化した耐量子鍵カプセル化ML-KEMを、内部まで正確に把握できます。MLWEの土台からK-PKEとFOの二層構造、512/768/1024の使い分け、TLSハイブリッドまで実装目線で押さえられます。
MLS(Messaging Layer Security)とグループ鍵管理
数千人のグループでも、参加・離脱のたびに全員ぶんの鍵を貼り直さずに済む。MLS の TreeKEM が鍵更新を対数コストに抑え、前方秘匿性と将来回復性をグループ規模で両立させる原理がつかめます。
mTLS と相互認証・サービスメッシュの信頼基盤
サービス間通信を「正しい相手だけ」に絞りたい人向け。mTLS の双方向認証と SPIFFE/SPIRE による短命 ID 発行、証明書ローテーションの設計を原理から押さえ、ゼロトラストを運用に落とせます。
OAuth 2.0 の認可フロー内部（Authorization Code + PKCE）
PKCE が code interception を、state/nonce が CSRF とリプレイを別々に塞ぐ原理を内部から理解し、Authorization Code + PKCE の選定と実装を誤らない。
OAuth トークンの設計（アクセス/リフレッシュ/イントロスペクション）
トークンが漏れても被害を最小化できる。不透明トークンと JWT の使い分け、短命アクセス＋リフレッシュローテーション、DPoP による盗難耐性、失効とイントロスペクションを原理から設計できる。
OpenID Connect とフェデレーション認証の信頼モデル
ソーシャルログインの裏側がわかる。OAuth の上に OIDC が ID トークンをどう載せ、JWKS で鍵を配り、IdP と RP の信頼境界をどう引くのかを原理から理解できる。
OWASP Top 10
何を優先して直すべきか迷わない。Web で頻出かつ影響の大きい脆弱性リスクを OWASP がランキング化したもので、設計やレビューの共通言語として使える。
QKD と量子暗号の原理・限界
盗聴されれば必ず痕跡が残る鍵共有を物理法則で実現するのが QKD。BB84 の検知原理とノークローニング定理、そして距離・速度の物理限界と PQC との役割分担までを正しく理解できます。
ROP/JOP ガジェットチェーンの構築原理
コード注入を封じても乗っ取りが成立する理由が腑に落ちる。既存命令片を ret/jmp で連結するガジェットチェーンの組み立て、自動探索、stack pivot、CET が連鎖を断つ瞬間まで原理から追える。
Rowhammer とハードウェアフォルト注入攻撃
メモリへの読み出しだけで隣の行のビットが勝手に反転する。Rowhammer がページテーブルを書き換えて権限昇格する原理、TRR や ECC が守りきれない理由、電圧グリッチによるフォルト注入までを把握できる。
RSA の数理（モジュラ冪乗・オイラー関数・CRT 高速化）
RSA がなぜ復号で元に戻るのか。オイラーの定理から鍵生成・暗号化・復号の成立を導き、CRT 高速化と安全な鍵長、教科書 RSA が危険な理由まで原理から押さえる。
SAML と SSO の内部（アサーションと署名検証）
なぜ偽アサーションが通るのか、署名検証の落とし穴がわかる。SP-Initiated/IdP-Initiated フローと XML 署名の検証手順、Signature Wrapping 攻撃の成立条件を原理から押さえられます。
Shamir 秘密分散と閾値暗号の原理
ルート鍵を1人に持たせる恐怖から解放されるのが閾値秘密分散。多項式補間で k 人集まれば復元・k-1 人では何も漏れない仕組みを原理から解説します。
SLH-DSA（SPHINCS+）とFIPS 205
格子暗号に未知の欠陥が出ても、ハッシュ関数さえ健全なら守れる保険がほしい。SLH-DSAはWOTS+・FORS・ハイパーツリーを積み、状態管理なしで最も保守的な量子耐性署名を実現する仕組みを原理から押さえられる。
SQL インジェクション
入力欄に書いた文字列を SQL の一部として実行させてしまう攻撃。ログイン回避やデータ全件漏洩につながる。文字列連結をやめ、プレースホルダ（プリペアドステートメント）で値を「データ」として渡すのが本質的対策。
SSRF（サーバサイドリクエストフォージェリ）
攻撃者がサーバーを操り、任意の宛先へリクエストを送らせる攻撃です。外部からは届かない内部資源やクラウドメタデータが狙われます。
TEE とセキュアエンクレーブ（SGX・TrustZone・SEV）
OS やハイパーバイザが乗っ取られても秘密を守りたい——その答えが TEE。SGX・TrustZone・SEV がメモリ暗号化と構成証明でどう隔離を実現し、どこで破られてきたかが分かる。
TLS レコード層の内部（断片化・暗号化・シーケンス番号）
ハンドシェイク完了後、実データをどう守って運ぶのか。断片化・AEAD 保護・暗黙シーケンス番号という3つの仕組みを原理から押さえれば、TLS 1.3 のパケットを正しく読み解き実装事故も避けられる。
TOTP/HOTP の内部動作（時刻同期ワンタイムパスワードの数理）
認証アプリの6桁はどう生まれるのか。共有秘密と HMAC からコードを導く HOTP、時刻ステップで自動更新する TOTP、切り捨ての数理まで原理で押さえれば、ドリフトや総当たりの設計を正しく判断できる。
TPM の原理（測定ブート・PCR・封印と Attestation）
なぜディスク暗号鍵を改ざんされた OS に渡さずに済むのか。測定ブート・PCR・シーリング・リモート構成証明を原理から押さえれば、信頼の起点をハードウェアに根づかせる設計が読み解けるようになる。
Use-After-Free とヒープ悪用の原理
解放したはずのメモリがなぜ乗っ取りに化けるのか。割当器の自由リスト再利用からヒープグルーミング、tcache/fastbin の悪用、MTE による根治までを図で押さえられる。
VRF(検証可能ランダム関数)とランダムビーコン
くじやリーダー選出で「主催者が結果を仕込んだのでは」という疑いを消せるのが VRF。秘密鍵で決定論的に乱数を作りつつ、誰でも公開鍵で正しさを検証できる仕組みを原理から解説します。
WAF とアプリ層防御の原理（シグネチャ・正値/負値モデル）
WAF を入れても防げない理由が腑に落ちる。HTTP を正規化して検査するネガティブ／ポジティブ両モデルの原理、エンコーディング回避、誤検知チューニング、RASP との違いを内部動作から解説。
WireGuard の暗号設計（Noise プロトコルフレームワーク）
設定項目もアルゴリズム選択も極小なのに堅牢。WireGuard が Noise_IK と固定暗号スイートで「選ばせない安全」をどう実現し、ローミングやステルス性まで設計に織り込んだかを原理から押さえられます。
X.509 証明書チェーン検証の内部と Certificate Transparency
なぜ証明書エラーが出るのか、不正な証明書はどう検知されるのか。チェーン構築と署名検証、失効確認、Certificate Transparency の仕組みを原理から押さえれば、TLS の障害切り分けと脅威評価ができるようになる。
XSS（クロスサイトスクリプティング）
他人の入力をそのまま画面に出すと、その文字列が「JavaScript」として動いてしまう。攻撃者のスクリプトを他ユーザーのブラウザで実行させ、Cookie やセッションを盗む攻撃。
エンベロープ暗号化と KMS の原理
テラバイトのデータを KMS に通さず高速に暗号化できる仕組みが分かる。データ鍵をマスター鍵で包む二層構造、データ鍵キャッシュ、GenerateDataKey/Decrypt API を原理から押さえられる。
ガーブルド回路（Yaoの2者間計算）
互いの入力を一切見せずに、二者が同じ関数の答えだけを得たい――その「見せずに計算する」を論理回路の暗号化で実現する Yao のプロトコルを、ワイヤラベルとガーブルドテーブル、忘却通信まで原理から理解できます。
クリックジャッキング
意図しないクリックを誘発する攻撃から守れるのがクリックジャッキング対策。透明なフレームを重ねる手口と、X-Frame-Options や CSP frame-ancestors での防ぎ方をやさしく。
コード署名と Authenticode/notarization の信頼連鎖
出所不明の実行ファイルを安全に見分けたいなら、署名の検証チェーンを押さえるのが近道。タイムスタンプによる失効後の延命、EV 証明書、SmartScreen と notarization の判定まで理解でき、配布物の警告原因を切り分けられる。
コミットメント方式
値を今は隠したまま、後で「確かにその値だった」と証明できる暗号の封筒がコミットメント。隠蔽性と束縛性の原理から、ハッシュ・Pedersen・ゼロ知識での使い方まで押さえられます。
コンテナ分離の原理（namespace・cgroup・seccomp）
コンテナはなぜVMより漏れやすいのか。namespace・cgroup・capability・seccompが何を隔離し何を隔離しないかを原理から押さえれば、エスケープ経路の評価と現実的な多層防御の設計ができるようになる。
サイドチャネル攻撃の原理：タイミング・電力・キャッシュ
アルゴリズムが理論上安全でも実装は秘密を漏らす。処理時間・消費電力・キャッシュの観測から鍵を盗む手口の原理と、定数時間実装による防ぎ方が分かる。
サプライチェーンの完全性(SBOM・Sigstore・SLSA)
成果物が『誰がどのソースからどう作ったか』を機械検証できる体制を作れます。SBOM・Sigstore の keyless 署名・透明性ログ・SLSA の来歴を原理から押さえ、依存攻撃を多層で止められます。
サプライチェーン攻撃
依存ライブラリやビルド経路など、ソフトウェアの調達過程を汚染して多数の利用者を一度に侵害する攻撃です。SBOM や署名、依存検証で対策します。
サンドボックスとシステムコールフィルタ（seccomp の原理）
プロセスが乗っ取られても被害が広がらない理由が分かる。seccomp-bpf がシステムコールを許可リストで絞ってカーネル攻撃面を縮める原理を、BPF フィルタの内部動作から解説。
シークレット管理
API キーやパスワードの漏洩と更新地獄を防ぐ。トークンなどの機密情報を、漏れにくく差し替えやすい形で安全に保管・配布するシークレット管理の勘所。
セキュアブートと信頼の連鎖（UEFI・署名検証）
ブートキットがOSより先に居座る攻撃を、なぜUEFI Secure Bootが防げるのか。PK・KEK・db・dbxの鍵階層と各段の署名検証を原理から押さえれば、起動失敗の切り分けとブート段階の脅威評価ができるようになる。
セキュリティプロトコルの形式検証（Tamarin / ProVerif）
プロトコルの設計欠陥は人手のレビューでは見落とす。記号モデルで攻撃者の全手順を自動探索し、TLS 1.3 や Signal の安全性を機械的に保証する形式検証の原理が分かります。
セキュリティヘッダ
設定一行で防御を上乗せできる。HTTP レスポンスヘッダでブラウザの挙動を制御し、XSS やクリックジャッキングなどの攻撃を抑えるセキュリティヘッダの使い方。
セッション管理の原理（セッション固定・ハイジャック対策）
ログイン状態を支えるセッションIDが盗まれれば、パスワードなしで成りすまされる。ID生成のエントロピー要件と Cookie 属性の正しい設定を原理から押さえ、固定化・ハイジャックを確実に塞げる。
ゼロトラスト
「社内ネットワークだから安全」をやめる設計思想。誰であろうとどこからであろうと、アクセスのたびに本人・端末・権限を検証し、侵害は起きる前提で被害を封じ込める。
ゼロ知識証明（ZKP）の原理と zk-SNARK の構成
パスワードも秘密鍵も明かさず「正しさ」だけを相手に納得させられる――その魔法を支える完全性・健全性・ゼロ知識性の三性質と、zk-SNARK の内部構造を原理から理解できます。
デジタル署名スキームの内部（RSA-PSS・ECDSA・EdDSA）
なぜ ECDSA の nonce 漏洩は秘密鍵全損につながり、EdDSA はそれを設計で封じたのか。存在的偽造不可能性から RSA-PSS・ECDSA・EdDSA の内部動作までを原理で比較し、選定の根拠が腑に落ちる。
ハードウェアセキュリティキーの内部(CTAP・常駐鍵)
USBキーを挿してタッチするだけの裏側がわかる。ブラウザと認証器をつなぐ CTAP2、ユーザー名を打たずに済む常駐鍵、PINや生体によるユーザー検証、カウンタでクローンを暴く仕組みまで原理から理解できます。
ハイブリッドPQCと暗号アジリティ
PQCへ一気に乗り換える怖さを、古典鍵交換との併用で消せる。X25519+ML-KEMのKEM結合子がなぜ安全か、TLSでの鍵共有の実際の載せ方、そしてアルゴリズムを設定として扱う暗号アジリティ設計まで、構造から判断できるようになります。
ハイブリッド暗号と KEM-DEM の原理
公開鍵で大きなデータを暗号化できない理由が腑に落ちる。公開鍵で共通鍵を封じる KEM と対称暗号 DEM の二段構成、ECIES／HPKE の構造、PQC への素直な適合まで原理から押さえられる。
パスキーの同期と認証器の信頼モデル(Attestation)
そのパスキーはどんな認証器が作ったのか。packed/TPM/none のアテステーション、同期型と端末束縛型の違い、バックアップと復旧、企業ポリシーを原理から押さえ、保証レベルを設計できるようになります。
パスワードの安全な保存（ハッシュとソルト）
パスワードは「平文で保存しない」のが大前提。だが単純なハッシュ化だけでは破られる。ソルトで使い回しを潰し、bcrypt/Argon2 でわざと遅くするのが正解。
パスワードハッシュの内部（bcrypt/scrypt/Argon2 とメモリ困難性）
GPUやASICで毎秒数百億回も殴れる総当たりを、なぜ専用ハッシュは無力化できるのか。bcryptのコスト、scrypt/Argon2のメモリ困難性の内部を解き、設定根拠まで腹落ちさせます。
パスワードレス認証の原理：FIDO2 / WebAuthn と公開鍵チャレンジ
偽サイトに入力させても盗めない。公開鍵ペアとチャレンジ署名でフィッシングを原理から無効化する FIDO2/WebAuthn の登録・認証フローと、パスキー同期の設計判断を押さえられます。
パスワード認証鍵交換（PAKE）
推測されやすいパスワードだけで、盗聴も改ざんもある回線に安全な共有鍵を張り、辞書攻撃は1接続1推測に封じ込める。SPAKE2 と OPAQUE の内部構造から、サーバー漏洩に耐える設計まで押さえられます。
ハッシュとパスワードのオフライン攻撃(レインボーテーブル・GPU)
ハッシュさえ保存すれば安全、は誤解です。流出ハッシュを攻撃者がオフラインで殴る経済を、レインボーテーブルの時間/空間取引と、GPU/ASICの実効スループットから腹落ちさせます。
ハッシュ化と暗号化の違い
どっちを使うべきか即断できる。ハッシュ化は元に戻せない検証用、暗号化は鍵で戻せる秘匿用。目的の違いと、混同が招く事故を整理して取り違えを防ぐ。
ハッシュ関数の内部構造（Merkle–Damgård と SHA-3 のスポンジ構造）
SHA-256 と SHA-3 の作りの違いを、Merkle–Damgård とスポンジ構造から分解。長さ拡張攻撃への耐性差まで原理で理解できます。
ハッシュ衝突攻撃の系譜（MD5・SHA-1 はなぜ破られたか）
なぜ MD5 や SHA-1 を今すぐ捨てるべきかが腑に落ちます。誕生日攻撃の数理から差分解読、chosen-prefix 衝突、Flame と SHAttered までを時系列で整理します。
パディングオラクル攻撃の原理（CBC を1バイトずつ復号する）
鍵がなくても CBC 暗号文は復号できる。サーバーが返す「パディング検証エラー」という1ビットの漏れを梃子に、1バイトずつ平文を割り出す手順を原理から押さえ、対策まで一気通貫で理解する。
ファジングの原理（カバレッジ誘導とサニタイザ）
なぜランダム入力が深いバグを掘り当てるのか。カバレッジ誘導が探索を進化させ、ASan/UBSan が静かな破壊を例外に変える仕組みと、コーパス最小化・クラッシュトリアージまで原理で分かる。
フォーマット文字列攻撃の原理
printf に変数をそのまま渡すと、なぜメモリの読み書きまで奪われるのか。%n が任意アドレス書き込みに化ける仕組みと GOT 上書き、現代の緩和まで原理で押さえられる。
ブラウザサンドボックスとサイト分離の原理
悪意あるページを踏んでも端末が乗っ取られない理由が分かる。レンダラの権限剥奪と OS サンドボックス、そして Spectre すら防ぐサイト分離の信頼境界を原理から解説。
ブルームフィルタと確率的データ構造のセキュリティ応用
数億件の漏洩パスワードや悪性URLを、生データを丸ごと持たずメモリ数MBで照合できます。偽陽性率の数理から Cuckoo フィルタ、HIBP の k-匿名性まで、確率的構造がなぜ安全に効くかを原理で押さえられます。
ブロック暗号の内部構造（SPN と Feistel）と AES のラウンド関数
AES の中で何が起きているかを原理から掴める。4つの変換と GF(2^8) 演算、SPN/Feistel の設計思想、混乱と拡散、なぜ10/12/14ラウンドなのかまで一気通貫で理解できる。
プロトコルダウングレードとバージョン交渉攻撃の系譜
後方互換のために残した弱い選択肢が、まるごと攻撃の入口になる。FREAK・Logjam・DROWN・POODLE がなぜ成立したかを交渉の原理から押さえれば、TLS 1.3 のダウングレード防止が効く理由まで一気に腑に落ちます。
ペネトレーションテスト
机上の指摘で終わらせない。攻撃者の視点で実際に侵入を試み、悪用できる弱点と影響を実証する診断。穴を実際に突いて確かめる点が脆弱性スキャンとの違い。
ポスト量子暗号（PQC）の原理：格子問題と ML-KEM/ML-DSA
いま盗まれた暗号文が将来の量子計算機で復号される――その harvest-now-decrypt-later に、格子ベースの ML-KEM/ML-DSA とハイブリッド移行でどう備えるかを原理から理解できます。
マルウェアの動作原理と検知技術（静的・動的・挙動）
なぜ既知シグネチャだけでは新種を逃すのか。静的・動的・挙動の各検知が見るものと弱点、パッカーや難読化が回避を狙う仕組み、EDR が振る舞いを相関させる原理まで一気に分かる。
メモリ破壊攻撃の原理：スタックオーバーフローから ROP まで
バッファ1つの溢れがなぜプログラム乗っ取りに化けるのか。戻りアドレス書き換えからシェルコード、DEP を回避する ROP まで、メモリ図で攻撃と防御の構造が分かる。
ランサムウェアの暗号設計と防御の原理
なぜ身代金を払わないと復号できないのか。攻撃者が使うハイブリッド暗号と鍵配送の仕組みを分解し、シャドーコピー削除対策・不変バックアップ・早期検知という防御の勘所までまとめて掴める。
ルートキットと特権昇格の原理
なぜルートキットは見えなくなり、一般ユーザーが root を奪えるのか。フック・DKOM による隠蔽、setuid 悪用とカーネル脆弱性の昇格経路、整合性測定とブート検証による対抗を原理から押さえ、侵害の検知と防御設計の勘所をつかむ。
レート制限
総当たりや DoS、API の乱用を止める。一定時間あたりのリクエスト回数に上限を設けるレート制限の考え方と、トークンバケットなど代表的な実装方式を解説。
レート制限と総当たり対策のアルゴリズム原理
なぜ境界バーストが2倍通り、分散環境でカウンタがずれるのか。トークンバケットからスライディングウィンドウまでの挙動差と一貫性、クレデンシャルスタッフィングへの実効的な防御を原理から設計できるようになります。
暗号アジリティとプロトコルのバージョン交渉
あるアルゴリズムが破れても、差し替え一手で守りを保てる。暗号アジリティと安全なバージョン交渉の原理を押さえれば、FREAK や Logjam のようなダウングレード事故を避け、PQC 移行も滑らかに設計できます。
暗号アルゴリズムの系統樹（対称・公開鍵・ハッシュの派生と世代交代）
なぜ今その方式が標準なのかが系統で腑に落ちる。DES・RSA・MD5から現行・PQCまでの分岐と危殆化の流れを年代と表で俯瞰し、選定の判断軸を得る。
暗号の基礎（共通鍵・公開鍵・ハッシュ・署名）
暗号は「隠す」だけの道具ではない。秘匿(共通鍵/公開鍵)・改ざん検知(ハッシュ)・本人保証(署名)という別目的の道具を、用途で正しく使い分けるのが要点。
暗号の系統的失敗：歴史的に破られたプロトコル分析
破られた暗号は天才の解読ではなく、設計・実装・運用の定型的な失敗で崩れた。WEP・SSLv3・RC4・MD5 の破綻を類型化し、次に同じ轍を踏まないための判断軸を原理から押さえる。
暗号の量子耐性移行戦略(harvest-now-decrypt-later)
いま盗まれた暗号文が将来の量子計算機で復号される――その脅威に何から手を付ければよいか。暗号資産の棚卸しからハイブリッド鍵交換の段階導入まで、移行の優先順位を原理から判断できるようになります。
暗号利用モード（CBC/CTR/GCM）とビット単位の動作原理
なぜ AES だけでは暗号化できないのか腑に落ちる。ブロック暗号を任意長データに広げるモードの内部動作を、ECB の弱点から GCM の認証タグまでビット単位で読み解く。
格子暗号とLWE／RLWE
なぜ格子暗号が量子計算機でも破れないのか。SVP／CVPの困難さ、誤りを混ぜるLWE／RLWEの仕組み、KyberとDilithiumの設計思想までを原理から腑に落とせる。
完全準同型暗号（FHE）
暗号化したまま任意の計算ができれば、クラウドに鍵を渡さず処理を委託できる――FHE がどうやって復号なしの計算を実現し、なぜ遅いのかを、ノイズとブートストラップの原理から理解できます。
完全前方秘匿性が破れる経路と鍵漏洩の影響範囲
PFS を有効にしても過去通信が守られない落とし穴を体系的に把握できる。セッション鍵の記録、RSA 鍵交換の残存、ログ漏洩、0-RTT 再送という具体的な破れ方と、長期鍵・一時鍵それぞれの被害範囲を原理から押さえられる。
脅威モデリングの原理（STRIDE・攻撃木・信頼境界）
設計段階で攻撃面を体系的に洗い出せる。データフロー図と信頼境界で対象を可視化し、STRIDE で脅威を漏れなく分類、攻撃木とリスク評価で対策の優先順位まで決める枠組み。
検索可能暗号と暗号化データベースの原理
クラウドにデータを預けたいが中身は見せたくない――暗号化したまま検索する SSE や OPE/ORE、それを束ねる CryptDB の仕組みと、機能を増やすほど漏洩する根本トレードオフを原理から理解できます。
鍵管理ライフサイクルの原理（生成・ローテーション・失効）
鍵が漏れても被害を最小化できる運用設計が分かる。生成から破棄までの各段階、KEK/DEK の鍵階層とエンベロープ暗号化、暗号化バックアップと鍵分離の判断基準まで原理で押さえられる。
鍵共有プロトコル：Diffie-Hellman と楕円曲線 DH の動作原理
盗聴される回線でも二者が同じ秘密鍵を作れる仕組みが DH。離散対数の困難さ・中間者対策・前方秘匿性の原理を踏み込んで解説します。
鍵透明性（Key Transparency）
エンドツーエンド暗号化の相手の公開鍵が本物か、サーバーの言い分を信じずに検証できる。追記専用ログとマークル木で「なりすまし鍵」を全員が監視できる鍵透明性の原理を押さえられます。
鍵導出関数（KDF）の原理：HKDF の extract-and-expand
1本の共有鍵から用途別の鍵を量産する仕組みを原理から理解できます。HKDF の extract と expand を分けて押さえれば、salt と info の役割や TLS 1.3 の鍵スケジュールが腑に落ちます。
公開鍵基盤（PKI）と証明書
その公開鍵は本当に本人のものか。第三者の認証局が保証する仕組みが PKI。証明書チェーンと失効の管理で成り立ち、TLS による安全な通信の土台になる。
攻撃キルチェーンと MITRE ATTACK の体系
攻撃を点ではなく流れで捉えると検知が効く。侵入から目的達成までの段階と、戦術／技術の地図 ATTACK を押さえ、TTP に基づく防御と Red／Blue／Purple の連携を設計できる。
差分プライバシーの原理（ノイズ機構とプライバシー予算）
統計を公開すると個人が特定される――この再識別リスクを、ノイズを足すという一見乱暴な方法で数学的に保証する差分プライバシーの定義・機構・予算管理を原理から理解できます。
差分電力解析(DPA)と電磁解析の原理
スマートカードやIoTの鍵が波形だけで抜かれる仕組みが腑に落ちる。SPA/DPA/CPAが消費電力と中間値の相関をどう統計的に突くか、漏洩モデルの数理とマスキング・ハイディング対策までを原理から正確に解説。
再現可能ビルドとビルド来歴の検証
同じソースから誰がビルドしても同じバイナリになる状態を作れば、配布物がソースと一致するかを第三者が確かめられます。非決定性の除去と複数ビルダ照合で、ビルド改ざんを根から断てます。
最小権限の原則と多層防御
「とりあえず全権限」をやめ、必要な分だけ渡す。さらに防御を一枚ではなく何層も重ねて、どこか1つ破られても被害を止める設計の考え方。
準同型暗号と秘密計算（MPC）の原理
データを暗号化したまま計算し、複数者が入力を隠したまま協調処理する――医療・金融のデータ共有を阻む「見せたくないが計算したい」の矛盾を、準同型暗号と MPC がどう解くかを原理から理解できます。
証明可能安全性と暗号の安全性定義（IND-CPA / IND-CCA）
なぜ自作暗号は危険なのかを理論で裏づける。安全を攻撃者ゲームで数学的に定義し、帰着で「破れたら難問が解ける」と示す枠組みと、ランダムオラクルの限界までを原理から押さえる。
整数オーバーフローと型混同の脆弱性原理
なぜサイズ計算1つのミスがメモリ破壊に化けるのか。桁あふれが境界チェックをすり抜け、型混同が異なる型としてメモリを誤読する仕組みを、原理から追える。
静的解析と動的解析の原理（テイント解析・シンボリック実行）
なぜ SAST は実行せずに脆弱性を当て、なぜ誤検知が消えないのか。テイント解析のデータフロー、シンボリック実行の経路爆発、健全性と完全性のトレードオフを原理から理解し、ツールの限界を見抜けるようになる。
前方秘匿性（PFS）と Signal のダブルラチェットの原理
鍵が一度漏れても過去のメッセージは守られ、未来の安全も自動で回復する。Signal のダブルラチェットがどう前方秘匿性と post-compromise security を両立させるかを原理から押さえられます。
属性ベース暗号（ABE）
誰に渡すか決めずに暗号化し、属性を満たす人だけが復号できる――クラウドで暗号文を一度置けば「人事かつ課長以上」のような条件で共有先を制御できる ABE の仕組みを原理から理解できます。
多要素認証（MFA）
パスワードが漏れても突破されない。所持や生体など別の要素を組み合わせる多要素認証(MFA)の仕組みと、何を足せば守れるのかを整理。
楕円曲線暗号（ECC）の原理：点加算・スカラー倍と離散対数問題
なぜ ECC は短い鍵で RSA 並みに強いのか。有限体上の点加算とスカラー倍、そして逆算が困難な楕円曲線離散対数問題まで、内部動作を一気に腑に落とせる。
中間者攻撃と証明書ピンニングの原理
なぜ正規 CA が発行した証明書でも傍受されうるのか。MITM の成立条件、企業/検閲プロキシによる TLS 傍受、証明書/公開鍵ピンニングとその運用リスクまでを原理から押さえれば、傍受耐性の高い通信を設計できるようになる。
長さ拡張攻撃（Length Extension Attack）と HMAC が安全な理由
secret‖message の素朴な MAC が鍵なしで偽造される仕組みを、Merkle–Damgård の内部状態から解明。なぜ HMAC や SHA-3 なら防げるかまで原理で腑に落ちます。
定数時間プログラミングの原理と落とし穴
鍵やトークンを扱うコードが「動くのに漏れる」理由が腑に落ちる。秘密に依存した分岐とメモリアクセスを排する規律、コンパイラが定数時間性を壊す仕組み、dudectでの検証までを正確に解説。
投機的実行に基づくマイクロアーキ攻撃（Spectre / Meltdown）
CPU の高速化の仕組みそのものが秘密を漏らす。投機実行が残すキャッシュ痕跡からカーネルや他プロセスのメモリを読み出す原理と、KPTI など緩和策の代償が分かる。
認可モデルの体系（RBAC・ABAC・ReBAC と Policy Engine）
「誰が何をしてよいか」の決め方が体系で見える。RBAC・ABAC・ReBAC の使い分けと、PDP／PEP・OPA／Zanzibar の設計を原理から押さえ、最小権限を破綻なく実装できる。
認証と認可の違い
認証(AuthN)は「あなたは誰か」、認可(AuthZ)は「あなたは何をしてよいか」。順番も役割も別物で、混同すると「ログインさえすれば全部見える」事故になる。
認証プロトコルの内部：Kerberos のチケットと公開鍵認証
Windows ドメイン認証の正体がわかる。Kerberos のチケット発行3段階とリプレイ対策、Golden／Silver Ticket が成立する原理を順を追って理解できる。
認証付き鍵交換(AKE)の原理（PAKE・OPAQUE）
盗聴も中間者もいる回線で、パスワードだけを使って安全に共有鍵を作る仕組みが PAKE。生 DH が中間者に弱い理由から OPAQUE の辞書攻撃耐性まで解説します。
白箱暗号と難読化の原理・限界
鍵をソフトウェアだけで隠したい――DRM やモバイル決済が抱えるこの難題に、白箱暗号とコード難読化がどこまで応え、なぜ原理的に破られるのかが分かる。テーブル化・iO・鍵抽出攻撃まで正確に押さえられる。
秘匿情報検索（PIR）
どの本を借りたか・どの株を照会したかをサーバーに知られず検索したい――暗号化では隠せないクエリの中身を守る PIR を、情報理論型と計算量型、複数サーバーと単一サーバーの構成から原理で理解できます。
忘却 RAM(ORAM)とアクセスパターン秘匿
データを暗号化してもどこを読んだかという足跡から中身が漏れます。この見落とされがちなアクセスパターン漏洩と、それを消す ORAM の仕組みを Path ORAM の木構造から原理で理解できます。
忘却通信（Oblivious Transfer）
相手に選択を知られず欲しい片方だけを受け取る――秘密計算のほぼすべてを支える最小部品 OT を、1-out-of-2 の定義から公開鍵での構成、大量生成を可能にする OT 拡張まで原理から理解できます。
乱数生成器の障害と nonce 再利用の致命性
鍵も署名も、乱数が一度でも予測可能になれば代数的に解けて崩れる。ECDSA nonce 漏洩・Debian OpenSSL・PS3 の実例から、決定論的 nonce と再播種の設計までを原理で押さえ、乱数事故を確実に断てる。
連合学習のセキュア集約
各端末の勾配をサーバーに直接見せずにモデルを学習できるのがセキュア集約。ペアワイズ・マスクで個々の更新を秘匿したまま合計だけを復元し、脱落端末にも耐える仕組みを原理から理解できます。
閾値署名とマルチパーティ署名(MPC ウォレット)の原理
秘密鍵を一度も組み立てずに署名できれば、鍵を盗む単一の標的が消える。閾値 ECDSA/Schnorr・FROST・DKG の仕組みと、マルチシグやコールドウォレットとの違いを原理から解説します。