Safe primes construction algorithm based on Laime primes judgment theorem