Lab work. Diffie-Hellman key exchange

Открыто с: Среда, 16 ноября 2022, 00:00
Срок сдачи: Среда, 23 ноября 2022, 00:00

A. The idea

Suppose two people, Alice and Bob [traditional names], want to use insecure email to agree on a secret "shared key" that they can use to do further encryption for a long message. How is that possible? The so-called Diffie-Hellman method provides a way. This method is one of the ingredients of SSL, the encryption package that is part of the Netscape browser.

These notes are a little more detailed than in class, for clarity, but on the exam you are responsible only for doing exercises like Problem 8.2.

B. The mod function

The main ingredient is the "remainder" or "modulo" or "mod" function, denoted % in Perl. For example, 25%10 is 5 (say "25 mod 10 is 5") and 25%16 is 9 ("25 mod 16 is 9"). For n%10, the result will always be one of 0,1,...,9.

As you can see, any positive integer modulo 10 is just the last digit in base 10:  1537%10 is 7, etc. You can think of "modulo 10" for positive integers as meaning "ignore all decimal digits except the last one".

Doing "modular arithmetic" with "modulus" 10 means doing addition, subtraction, and multiplication (including powers) where you only care about the remainder modulo 10. You can use some other modulus m instead of 10, as long as it's the same through the whole problem. It works very smoothly.

The "as often as you want" principle: If you are doing modular arithmetic to find an the answer modulo m, you can take the remainder modulo m as often as you want during the calculations, without changing the answer.

Example 1. To find 1537 x 4248 modulo 10, you could multiply out and take the last digit, but a better way would be to replace 1537 by 7 and 4248 by 8 to start, find 7 x 8 = 56, and then take 56 mod 10 to get 6 as the answer.

A handy standard notation is to write a tex2html_wrap_inline39 b (mod m) if a and b have the same remainder modulo m. This is read "a is congruent to b modulo m". In this notation the example just mentioned looks like this: 1537 x 4248 tex2html_wrap_inline39 7 x 8 = 56 tex2html_wrap_inline39 6 (mod 10).

Example 2. Find 2(mod 11).

One solution. 2= 256; 11 goes into 256 with quotient 23 and remainder 3.

Another solution. Find 22, 24, 2by squaring repeatedly, but take remainders mod 11 each chance you get: 2= 4, 2= 4= 16 tex2html_wrap_inline39 5, 28  tex2html_wrap_inline39 52  = 25 tex2html_wrap_inline39 3.

Example 3. Find all the powers of 2 up to 210 , each modulo 11.

Solution. Keep doubling, taking remainders modulo 11 whenever possible:

2, 4, 8, 16 tex2html_wrap_inline39 5, 10, 20 tex2html_wrap_inline39 9, 18 tex2html_wrap_inline39 7, 14 tex2html_wrap_inline39 3, 6, 12 tex2html_wrap_inline39 1 (mod 11). So the answer is 2, 4, 8, 5, 10, 9, 7, 3, 6, 1.

Notice that the powers of 2 run through all possible remainders modulo 11, except 0. We say 2 is a "generator" modulo 11. There is a theorem that if you take a prime modulus, then there is always some generator, and in fact 2 often works. If 2 doesn't, maybe 3 will.

C. The Diffie-Hellman method

The idea of Diffie and Hellman is that it's easy to compute powers modulo a prime but hard to reverse the process: If someone asks which power of 2 modulo 11 is 7, you'd have to experiment a bit to answer, even though 11 is a small prime. If you use a huge prime istead, then this becomes a very difficult problem even on a computer. Steps:

  1. Alice and Bob, using insecure communication, agree on a huge prime p and a generator g. They don't care if someone listens in.
  2. Alice chooses some large random integer x< p and keeps it secret. Likewise Bob chooses xB < p and keeps it secret. These are their "private keys".
  3. Alice computes her "public key" yA tex2html_wrap_inline39 gxA (mod p) and sends it to Bob using insecure communication. Bob computes his public key yB tex2html_wrap_inline39 gxB and sends it to Alice. Here 0 < yA < p, 0 < yB < p.

    As already mentioned, sending these public keys with insecure communication is safe because it would be too hard for someone to compute xA from yA or xB from yB, just like the powers of 2 above.

  4. Alice computes zA tex2html_wrap_inline39 yBxA (mod p) and Bob computes zB tex2html_wrap_inline39 yAx B  (mod p). Here zA < p, zB < p.

    But zA = zB, since zA tex2html_wrap_inline39 yBA  tex2html_wrap_inline39 (gxB )xA  = g(x A xB(mod p) and similarly zB tex2html_wrap_inline39 (gA )xB  = g(xA xB)  (mod p). So this value is their shared secret key. They can use it to encrypt and decrypt the rest of their communication by some faster method.

    In this calculation, notice that the step yBxA tex2html_wrap_inline39 (gxB )xA  involved replacing g xB  by its remainder yB, (in the reverse direction) so we were really using the "as often as you want" principle.

D. Notes (not on final exam)

  • It's easy to see why the "as often as you want" principle works for modular arithmetic with positive integers in base 10. In Example 1, imagine doing the multiplication with paper-and-pencil arithmetic, but ignoring everything except the last digit. You get
       ...7
     x ...8
    -------
       ...6
      ....
     ....
    ....
    -------
    ......6
    In other words, you can multiply and then take the last digit, or you can take remainders early, by saving just the 7 and 8, taking their product, and saving its last digit.
  • Congruences work fine for negative numbers if you always use a remainder that is positive or 0; for example, -13 tex2html_wrap_inline39 7 (mod 10) because -20 is a multiple of 10 and -13 is 7 larger. The % operation in Perl works this way but the same operation in C and C++ does not.
  • The notation tex2html_wrap_inline39 is meant to suggest =, because several properties of tex2html_wrap_inline39 are similar to those of =. For example, a tex2html_wrap_inline39 b and b tex2html_wrap_inline39 c give a tex2html_wrap_inline39 c (all mod m).
  • Another interesting fact is that modulo 11, we have 210  tex2html_wrap_inline39 1, 310  tex2html_wrap_inline39 1, 410  tex2html_wrap_inline39 1,...,1010  tex2html_wrap_inline39 1, and of course 110 =1 to start with. More generally, there is a theorem saying that for any prime p and for any a from 1 to p-1 we get ap-1 tex2html_wrap_inline39 1 (mod p).
  • The Diffie-Hellman method works best if p = 2q+1 where q is also a prime. (For example, 5 and 11 are prime and 11 = 2 x 5 + 1.) Then half the integers 1,2,...,p-1 are generators, and it is possible to check whether g is a generator just by seeing whether gq  tex2html_wrap_inline39 -1 (mod p).
  • Diffie-Hellman does have a weakness: If an intruder Charlie can intercept and resend email between Alice and Bob, then the intruder can pretend to be Bob for Alice and pretend to be Alice for Bob, substituting his own yC and tricking each of Alice and Bob into having a shared secret key with him. There are ways to fix this problem.
  • The Diffie-Hellman method illustrates the concept of "public-key cryptography", where people can give out public information that enables other people to send them encrypted information.

E. An example

For Diffie-Hellman to be secure, it is desirable to use a prime p with 1024 bits; in base 10 that would be about 308 digits. An example, expressed in hexadecimal, is

p= de9b707d 4c5a4633 c0290c95 ff30a605 aeb7ae86 4ff48370 f13cf01c 49adb9f2 3d19a439 f743ee77 03cf342d 87f43110 5c843c78 ca4df639 931f3458 fae8a94d 1687e99a 76ed99d0 ba87189f 42fd31ad 8262c54a 8cf5914a e6c28c54 0d714a5f 6087a172 fb74f481 4c6f968d 72386ef3 45a05180 c3b3c7dd d5ef6fe7 6b0531c3

z= 56c03667 f3b50335 ad532d0a dcaa2897 a02c0878 099d8e3a ab9d80b2 b5c83e2f 14c78cee 664bce7d 209e0fd8 b73f7f68 22fcdf6f fade5af2 ddbb38ff 3d2270ce bbed172d 7c399f47 ee9f1067 f1b85ccb ec8f43b7 21b4f980 2f3ea51a 8acd1f6f b526ecf4 a45ad62b 0ac17551 727b6a7c 7aadb936 2394b410 611a21a7 711dcde2

To compute with huge integers like these, you need a special "multiple precision" software package, because the built-in arithmetic on computer chips handles only 32 or 64 bits.

F. Problem
Implement Diffie-Hellman key exchange protocol. 

https://colab.research.google.com/drive/14TJWfdRQqNDS8PyjgcXxblPixqTtEsJv?usp=sharing