アリスとボブの間の通信がマロリーによって傍受されるシナリオ例 アリスとボブは、 暗号 システムやプロトコル に関する議論[ 1 ] 、および思考実験 に複数の参加者がいる他の科学および工学文献において、プレースホルダー としてよく使用される架空のキャラクターです。アリスとボブのキャラクターは、ロン・リヴェスト 、アディ・シャミア 、レナード・アドレマン が1978年の論文「デジタル署名と公開鍵暗号システムを取得する方法」[ 2 ] で作成しました。その後、量子暗号 、ゲーム理論 、物理学 など、多くの科学および工学分野で一般的な原型 となりました。[ 3 ] アリスとボブの使用が広まるにつれて、特定の意味を持つ追加のキャラクターが追加されました。これらのキャラクターは必ずしも人を指す必要はなく、異なるコンピュータや、単一のコンピュータ上で実行されている異なるプログラムである可能性のある汎用エージェントを指します。
概要 暗号学で用いられる「アリスとボブ」の例 アリスとボブは、便宜上、また理解を助けるために用いられる架空の人物の名前です。例えば、「公開鍵暗号方式で、ボブはアリスに秘密メッセージMをどのように送信できますか?」という質問は、架空の人物を単にA とB という名前で表した場合の「公開鍵暗号方式で、BはAに秘密メッセージMをどのように送信できますか?」という質問よりも、説明しやすく理解しやすいと考えられます。
名前は慣習的なもので、必要に応じて「malicious」を「Mallory」のように頭韻を踏んだ覚えやすい語呂合わせを用いて、その人物の典型的な役割と名前を結びつける場合がある。
歴史 複数の参加者による思考実験に関する科学論文では、参加者を識別するためにA 、B 、C などの文字がよく使われた。
暗号学の文脈でアリスとボブが初めて言及されたのは、リベスト 、シャミア 、アドレマンによる1978年の論文「デジタル署名と公開鍵暗号システムを取得する方法」[ 2 ] である。彼らは、「我々のシナリオでは、AとB(アリスとボブとも呼ばれる)は公開鍵暗号システムの2人のユーザーであると想定する」と書いている。[ 2 ] : 121 この論文以前は、暗号学者はメッセージの送信者と受信者を通常AとB、またはその他の単純な記号で呼んでいた。実際、RSA暗号システム を紹介したリベスト、シャミア、アドレマンによる以前の2つの論文では、アリスとボブについては言及されていない。[ 4 ] [ 5 ] 最初の3つの名前の選択は、映画「ボブとキャロルとテッドとアリス」 から来ている可能性がある。[ 6 ]
しかし、数年のうちに、暗号学の文献でアリスとボブに言及することは一般的な表現 となった。暗号学者はしばしばアリスとボブに言及して学術論文を始めた。例えば、マイケル・ラビンは 1981年の論文を「ボブとアリスはそれぞれ秘密SBとSAを持っており、それを交換したい」で始めている。[ 7 ] アリスとボブは、初期の頃から他の分野にも登場し始めており、例えばマヌエル・ブルム の1981年の論文「電話によるコイン投げ:不可能な問題を解決するためのプロトコル」では、「アリスとボブは電話でコインを投げたい」で始まっている。[ 8 ]
アリスとボブは当初、彼らの性格を全く考慮せずに創作されたキャラクターでしたが、作家たちはすぐに色鮮やかな描写を加え始めました。1983年、ブラムはアリスとボブの間の問題のある関係についてのバックストーリーを創作し、「アリスとボブは最近離婚し、互いに不信感を抱いているが、それでも一緒にビジネスをしている。彼らは反対側の海岸に住んでおり、主に電話で連絡を取り合い、電話でビジネスをするためにコンピューターを使用している」と書いています。[ 9 ] 1984年、ジョン・ゴードンはアリスとボブについての有名な[ 10 ] 「夕食後のスピーチ」を発表しました。彼はこれを「アリスとボブの決定的な伝記」だと考えていました。[ 11 ]
アリスとボブにバックストーリーや個性を加えることに加えて、作者たちはすぐに独自の個性を持つ他のキャラクターも追加しました。最初に追加されたのは「盗聴者」のイブです。イブは1988年にチャールズ・ベネット、ジル・ブラッサール、ジャン=マルク・ロベールによって論文「公開討論によるプライバシー増幅」の中で考案されました。[ 12 ] ブルース・シュナイアー の著書『応用暗号学』 には、他のキャラクターがリストされています。[ 13 ]
登場人物一覧
暗号システム 最も一般的なキャラクターはアリスとボブです。イブ、マロリー、トレントも一般的な名前で、かなり確立された「個性」(または役割)を持っています。名前はしばしば頭韻による記憶術(例えば、イブは「盗聴者」、マロリーは「悪意のある」)を使用しており、異なるプレイヤーは異なる動機を持っています。他の名前ははるかに一般的ではなく、使用の柔軟性があります。性別が交互に使用されることもあります:アリス、ボブ、キャロル、デイブ、イブなど。[ 14 ]
参考文献 ↑ R. Shirey (2007 年 8 月).インターネット セキュリティ用語集、バージョン 2. ネットワーク ワーキング グループ. doi : 10.17487/RFC4949 . RFC 4949 . 参考情報。 1 2 3 Rivest, Ron L. ; Shamir, Adi ; Adleman, Len (1978 年 2 月 1 日). "デジタル署名と公開鍵暗号システムを取得する方法". Communications of the ACM . 21 (2): 120– 126. CiteSeerX 10.1.1.607.2677 . doi : 10.1145/359340.359342 . ISSN 0001-0782 . S2CID 2873616 . ↑ ニュートン、デイビッド E. (1997). 暗号学百科事典 . サンタバーバラ、カリフォルニア: インストラクショナル ホライズンズ社、p. 10. ↑ Rivest, Ron L. ; Shamir, Adi ; Adleman, Len (1977 年 4 月). デジタル署名と公開鍵暗号システムについて . マサチューセッツ州ケンブリッジ: マサチューセッツ工科大学. ↑ Rivest, Ron L. ; Shamir, Adi ; Adleman, Len (1983年9月20日) [1977]. Cryptographic Communications System and Method . Cambridge MA. 4405829. {{cite book}}: CS1メンテナンス: 場所の発行元が見つかりません (リンク)↑ Brown, Bob (2005年2月7日). 「セキュリティの切っても切れないカップル:アリスとボブ」 . NetworkWorld . ↑ Rabin, Michael O. (1981). 秘匿転送による秘密情報の交換方法 . ハーバード大学エイケン計算研究所. 技術報告書 TR-81. ↑ Blum, Manuel (1981年11月10日). 「電話によるコイン投げ:不可能な問題を解決するためのプロトコル」 . ACM SIGACT News . 15 (1): 23– 27. doi : 10.1145/1008908.1008911 . S2CID 19928725 . ↑ Blum, Manuel (1983). "How to exchange (Secret) keys" . ACM Transactions on Computer Systems . 1 (2): 175–193 . doi : 10.1145/357360.357368 . S2CID 16304470 . ↑ Cattaneoa, Giuseppe; De Santisa, Alfredo; Ferraro Petrillo, Umberto (2008 年 4 月). "GRACE による暗号プロトコルの可視化". Journal of Visual Languages & Computing . 19 (2): 258– 290. doi : 10.1016/j.jvlc.2007.05.001 . ↑ ゴードン、ジョン(1984年4月)。 「アリスとボブの夕食後のスピーチ」 。チューリッヒ。 ↑ Bennett, Charles H.; Brassard, Gilles; Robert, Jean-Marc (1988). "Privacy Amplification by Public Discussion". SIAM Journal on Computing . 17 (2): 210–229 . doi : 10.1137/0217014 . S2CID 5956782 . ↑ シュナイアー、ブルース (2015). 応用暗号学:プロトコル、アルゴリズム、C言語によるソースコード . ホーボーケン、ニュージャージー州:ジョン・ワイリー・アンド・サンズ. ISBN 978-0-471-59756-8 。↑ Xue, Peng; Wang, Kunkun; Wang, Xiaoping (2017). "エンタングルメントに基づく効率的なマルチユーザー量子暗号ネットワーク" . Scientific Reports . 7 (1) 45928. Bibcode : 2017NatSR...745928X . doi : 10.1038/srep45928 . ISSN 2045-2322 . PMC 5379677 . PMID 28374854 . アリス、ボブ、キャロル、デイビッドが登場する量子暗号の例。↑ Tanenbaum, Andrew S. (2007). 分散システム:原理とパラダイム . Pearson Prentice Hall . p. 171;399 – 402. ISBN 978-0-13-239227-3 。↑ Cho, Hyunghoon; Ippolito, Daphne; Yun William Yu (2020). "COVID-19の接触追跡モバイルアプリ:プライバシーに関する考慮事項と関連するトレードオフ". arXiv : 2003.11511 [ cs.CR ]. ↑ Fried, Joshua; Gaudry, Pierrick; Heninger, Nadia ; Thomé, Emmanuel (2017). "A Kilobit Hidden SNFS Discrete Logarithm Computation". Advances in Cryptology – EUROCRYPT 2017 (PDF) . Lecture Notes in Computer Science. Vol. 10, 210. University of Pennsylvania and INRIA, CNRS, University of Lorraine. pp. 202– 231. arXiv : 1610.02874 . doi : 10.1007/978-3-319-56620-7_8 . ISBN 978-3-319-56619-1 . S2CID 12341745 . 2016年 10月12日 取得. ↑ グリッグ、イアン(2002年11 月24日)。 「名誉あるイヴァン」 。iang.org 。 1 2 Schneier, Bruce (1996). 応用暗号学:プロトコル、アルゴリズム、C言語によるソースコード ( 第2 版)。Wiley。p . 23。ISBN 978-0-471-11709-4 。表 2.1: ドラマティス ペルソナ。↑ Szabo, Nick (1997 年 9 月) 「パブリック ネットワーク上の関係の形式化とセキュリティ確保」 . First Monday . 2 (9). doi : 10.5210/fm.v2i9.548 . S2CID 33773111 . ↑ シュナイアー、ブルース (2010年9月23日)、 「アリスとボブって誰?」 、 YouTube 、 2021年12月22日にオリジナルから アーカイブ 、 2017年 5月2日に取得 ↑ シュナイアー、ブルース (1994). 応用暗号学:プロトコル、アルゴリズム、およびC言語によるソースコード . Wiley. p. 44. ISBN 978-0-471-59756-8 マレットはアリスのデータベース照会を傍受し、アリスの公開鍵を自分の公開鍵に置き換えることができる。ボブに対しても同様のことができる 。↑ パーキンス、チャールズ L. 他 (2000). ファイアウォール: 24seven . ネットワークプレス. p. 130. ISBN 978-0-7821-2529-0 マレットは、アリスとボブが自分ではなく互いに話しているという錯覚を維持するために、メッセージを傍受して再送信する。 ↑ LaMacchia, Brian (2002). .NET Framework Security . Addison-Wesley. p. 616. ISBN 978-0-672-32184-9 マレットは、アリスとボブ間のすべての通信を傍受するだけでなく、通信が送信されている最中にその内容を改変することもできる、能動的な敵対者を表しています 。↑ Dolev, Shlomi 編 (2009). ワイヤレスセンサーネットワークのアルゴリズム的側面 . Springer. p. 67. ISBN 978-3-642-05433-4 アリス、ボブ、そして敵対者マレットの重要な選択を、それぞれ独立した確率変数A、B、Mとしてモデル化する 。 [...]↑ スタリングス、ウィリアム (1998). 暗号とネットワークセキュリティ:原理と実践 . ピアソン. p. 317. ISBN 978-0-13-335469-0 アリスとボブが鍵を交換したいと仮定し、ダースが敵対者だとしよう 。↑ 「オンラインソーシャルネットワークのための協調型アクセス制御フレームワーク」 (PDF) 。 2020年9月30日に オリジナル (PDF) からアーカイブ。 2020年 11月23日 に取得 。 ↑ Lund, Carsten ; et al. (1992). "対話型証明システムのための代数的方法". Journal of the ACM . 39 (4): 859– 868. CiteSeerX 10.1.1.41.9477 . doi : 10.1145/146585.146605 . S2CID 207170996 . ↑ Babai, László; Moran, Shlomo (1988 年 4 月) 「アーサー・マーリン ゲーム: ランダム化証明システムと複雑性クラスの階層」 Journal of Computer and System Sciences . 36 (2): 254–276 . doi : 10.1016/0022-0000(88)90028-1 . ↑ スペンサー、ジョエル ; ウィンクラー、ピーター (1992)、 「嘘つきの3つの閾値」 、 組み合わせ論、確率と計算 、 1 (1): 81–93 、 doi : 10.1017/S0963548300000080 、 S2CID 45707043 ↑ Muthukrishnan, S. (2005). Data Streams: Algorithms and Applications . Now Publishers. p. 3. ISBN 978-1-933019-14-7 。↑ コンウェイ、ジョン・ホートン(2000)。 『数とゲームについて 』CRC Press、 71、175、176 ページ 。ISBN 978-1-56881-127-7 。↑ 「アリスとボブは光子を1つも転送せずに通信する」 physicsworld.com 。 2013年4月16日。 2017年 6月19日 取得 。 ↑ Frazier, Matthew; Taddese, Biniyam; Antonsen, Thomas; Anlage, Steven M. (2013年2月7日). "波動カオス系における非線形時間反転". Physical Review Letters . 110 (6) 063902. arXiv : 1207.1667 . Bibcode : 2013PhRvL.110f3902F . doi : 10.1103 / physrevlett.110.063902 . PMID 23432243. S2CID 35907279 . ↑ David Mermin, N. (2000年3月5日). "209: 特殊相対性理論に関するノート" (PDF) . 複数の名前を使った例。↑ Farbod Khoshnoud、Lucas Lamata、Clarence W. De Silva、Marco B. Quadrelli、「動的システムの制御と自律性のための量子テレポーテーション」、 Journal of Mechatronic Systems and Control、第49巻、第3号、pp. 124-131、2021年。 ↑ Lamata, Lucas; Quadrelli, Marco B.; de Silva, Clarence W.; Kumar, Prem; Kanter, Gregory S.; Ghazinejad, Maziar; Khoshnoud, Farbod (2021年10月12日). "Quantum Mechatronics" . Electronics . 10 (20): 2483. doi : 10.3390/electronics10202483 . hdl : 2429/80217 . ↑ Farbod Khoshnoud、Maziar Ghazinejad、「ロボットシステムのネットワークのための自動量子もつれと暗号化」、IEEE/ASME国際メカトロニクスおよび組み込みシステムおよびアプリケーション会議(MESA)、IDETC-CIE 2021、仮想会議:8月17日~20日、DETC2021-71653、2021年。 ↑ Khoshnoud, Farbod; Aiello, Clarice; Quadrelli, Bruno; Ghazinejad, Maziar; De Silva, Clarence; Khoshnoud, Farbod; Bahr, Behnam; Lamata, Lucas (2021年4月23日). 量子工学によるメカトロニクスコースの近代化 . 2021 ASEE Pacific Southwest Conference - "パンデミック教育の先へ:混乱から学ぶ". ASEE Conferences. doi : 10.18260/1-2--38241 . PDF↑ Khoshnoud, Farbod; Esat, Ibrahim I.; de Silva, Clarence W.; Quadrelli, Marco B. (2019年4月) 「協調型無人自律システムの量子ネットワーク」 Unmanned Systems . 07 (2): 137–145 . doi : 10.1142/S2301385019500055 . ISSN 2301-3850 . S2CID 149842737. 2023年 9月 7日 取得 。 ↑ Farbod Khoshnoud、Marco B. Quadrelli、Enrique Galvez、Clarence W. de Silva、Shayan Javaherian、B. Bahr、M. Ghazinejad、AS Eddin、M. El-Hadedy、Quantum Brain-Computer Interface、ASEE PSW、2023 年、印刷中。
外部リンク アリスとボブの歴史 デジタル署名と公開鍵暗号システムを取得する方法(2008年12月17日、 Wayback Machineに アーカイブ済み) アリスとボブの食後スピーチ(1984年4月、チューリッヒセミナーにてジョン・ゴードンが発表) オタクソング:「アリスとボブ」 アリスとボブのジョーク(主に量子コンピューティング 関連) コンピューター業界におけるボブたちの短い歴史(物語とスライドショー):アリスとボブからマイクロソフトのボブ、そしてイーサネットの父ボブ・メトカーフまで XKCD #177: アリスとボブ