暗号通信シミュレーター.

Charlieが通信経路の中継機を操作できる状況を仮定しています。中継機を通るデータは自動で記録されます。Charlieは、AliceやBobの秘密鍵を盗めません。

暗号計算を省き、正しい鍵でのみ開けられる不透明な封筒として表現します。実用の暗号化ツールではありません。ビット操作による攻撃・長さの漏えいは扱いません。公開鍵暗号は共通鍵の配送に使い、本文は共通鍵で暗号化します。第1〜3ラウンドでは本文の送信者を確かめる仕組みを設けていません。

第3ラウンドでは、認証局の証明書とブラウザ内のCA公開鍵でAlice・Bobの鍵を確認します。Aliceの共通鍵は漏れなくなりますが、Charlieが自作の共通鍵と本文を送るなりすましは残ります。第4ラウンドでは、Aliceが暗号化した共通鍵とAlice・Bobの名前・通信IDに署名し、BobがCAで確認したAliceの公開鍵で検証します。本文はその共通鍵による認証付き暗号（AEAD）で保護します。署名は鍵配送を認証し、認証タグは本文の変更を検出します。

実際のTLSでは、共通鍵をそのまま署名して配送するのではなく、鍵交換を含む通信履歴を認証して鍵を共有します。このゲームは鍵配送の署名と本文の認証タグに役割を分けた教育用モデルです。通信IDや本文の番号も検証に含めますが、実用システムの全手順は再現していません。過去の正しいデータの再送を防ぐには、順序や重複の確認も必要です。実験データはこの画面のメモリー内だけに保持します。