3 phép nhân với một số nhỏ (nhân với p) Nh− vậy thờ
3.2.1 Khái niệm số nguyên tố mạnh và gần mạnh
Mục đích của đề tài là tìm những số nguyên tố dạng p=2q+1 với q cũng là số nguyên tố, những số nguyên tố này với t− cách là tham số modulo cho
ch−ơng iii. ch−ơng trìnhsinh số nguyên tố mạnh cho hệ mật elgamal..
các hệ mật mà độ mật dựa vào tính khó giải của bài toán logarit trên tr−ờng GF(p) sẽ làm cho hệ mật đạt đ−ợc tính an toàn cao nhất và cũng chính vì vậy mà chúng đ−ợc gọi là các số nguyên tố mạnh. Cũng đạt đ−ợc tính năng không thua kém mấy về độ an toàn là các số dạng p=Rq+1 với R<<p cụ thể ở đây R≤logp, cụ thể là nếu nh− bài toán logarit chỉ để lộ duy nhất 1 bit có ý nghĩa thấp nhất nếu dùng các số nguyên tố mạnh thì nó cũng sẽ chỉ để lộ logR bit thấp nhất nếu dùng các số dạng p=Rq+1, cho nên việc sử dụng các số nguyên tố dạng này cũng có thể đ−ợc chấp nhận trong các hệ mật nói trên. Định nghĩa d−ới đây là một sự thống nhất tr−ớc về mặt khái niệm các đối t−ợng chúng ta quan tâm trong đề tài này.
Định nghĩa 3.4. Số nguyên tố p=Rq+1 với q cũng là nguyên tố đ−ợc gọi là số nguyên tố gần mạnh nếu R≤logq, tr−ờng hợp R=2 thì p đ−ợc gọi là số nguyên tố mạnh.
Số nguyên tố q nêu trong trên đ−ợc gọi là nhân nguyên tố của số
nguyên tố p.
Việc kiểm tra tính gần mạnh của một số đ−ợc dựa vào kết quả sau đây.
Định lý 3.5. Cho p=Rq+1 với q nguyên tố và R≤log q (3-6). Khi đó p là nguyên tố khi và chỉ khi thoả mãn các điều kiện sau
(a). 2p-1=1 (mod p) (3-7).
(b). gcd(2R-1,p)=1 (3-8).
Chứng minh.
Điều kiện cần là hiển nhiên.
Ng−ợc lại từ điều kiện (3-6) là R≤log q ta có 2(p-1)/q=2R<p vì vậy hiển nhiên 2(p-1)/q≠1 (mod p), cùng với điều kiện (3-8) thì giá trị 2 chính là bằng chứng để p thoả mãn điều kiện của định lý Pocklington do đó p là số nguyên tố và theo định nghĩa 3.4 nó là số nguyên tố gần mạnh.
ch−ơng iii. ch−ơng trìnhsinh số nguyên tố mạnh cho hệ mật elgamal..