タグ

2013年12月25日のブックマーク (2件)

  • ディフィー・ヘルマン鍵共有の仕組み - 小人さんの妄想

    2人の間で秘密の暗号通信を行うには、まず最初に2人だけが知っている共通のキーワード〜鍵を取り交わす必要がある。 しかし、2人が遠く離れていて、盗聴の危険性のあるインターネットでしか通信できないとしたら、 どうやって最初の鍵を取り交わすことができるか? この難問を解決するアルゴリズムとして「ディフィー・ヘルマン鍵共有」が知られています。 >> wikipedia:ディフィー・ヘルマン鍵共有 あからさまに盗聴されている通信路だけを使って、2人だけの秘密を共有する・・・ そんな一見不可能に思える離れ業を、どのようにして実現するのでしょうか? ディフィー・ヘルマン鍵共有(以下、DH法と略)の基となる考え方は、以下の図から出発します。 いま、アリスとボブの2人が、2人だけの秘密の数字を共有したかったとしましょう。 まず、アリスが数字Aを、ボブが数字Bを決めて、お互いに交換します。 そして、お互いに

    ディフィー・ヘルマン鍵共有の仕組み - 小人さんの妄想
  • 型システム入門 プログラミング言語と型の理論 | オーム社eStore(β)

    型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”(TAPL)を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。