<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Pseudoprime Numbers: Basic Concepts And The Problem Of Security</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Vladimir Pevnev</string-name>
          <email>V.Pevnev@csn.khai.edu</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="editor">
          <string-name>Key-Terms: FormalMethod, MathematicalModel, Research.</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>National Aerospace University „KhAI“</institution>
          ,
          <addr-line>Kharkiv</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>The analysis of existing methods of construction of prime numbers is carried out in the presented paper. New concepts related to pseudoprime numbers are introduced. Theorems are formulated and proved on the basis of which such numbers are constructed. Using pseudoprime numbers can significantly reduce the number of candidates viewed as primes. The proposed corollaries of the theorems allow to significantly increase the ranges of unambiguous determination of such candidates. The results of the conducted experiments are presented, their analysis is carried out. The most important result of applying pseudoprime numbers is the estimation of the number of numbers to be checked. For large numbers with a size of more than 200 decimal signs, they make up less than 8 percent of the numbers on a given interval, and as the size of the numbers increases, this percentage decreases. Based on experimental data, basic properties of pseudoprime numbers are formulated.</p>
      </abstract>
      <kwd-group>
        <kwd />
        <kwd>Prime</kwd>
        <kwd>pseudoprime</kwd>
        <kwd>theorems of the theory of pseudoprime numbers</kwd>
        <kwd>properties of pseudoprime numbers</kwd>
        <kwd>cardinality of a pseudoprime number</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        The development of infocommunication technologies has led to a decrease in the
protection of all high-tech systems. Particularly acute is the issue of ensuring
functional safety in such systems as the Internet of Things, Cloud storages, big data.
Any computer that performs the functions of managing, processing or storing data,
becomes available from anywhere in the world. Ensuring information security, as an
integral part of the functional safety, is extremely reluctant, because it costs a lot of
money, but there is no profit. Numerous materials in the press confirm the necessity
of such works, the most famous became an example of the virus Stuxnet, which
paralyzed the Iranian nuclear program [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ].
      </p>
      <p>
        One of the areas of information security is ensuring the confidentiality of
information circulating in the system. As the most general way to solve this problem
is cryptographic protection. As is a well-known resistance of cryptosystems is
determined by the secrecy of the key. In asymmetric encryption systems, this secrecy
depends on the size of the key. One of the most general public key systems is the
RSA system, which is based on the factorization problem, which belongs to the class
of NP-complete tasks [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. At the time of writing of this paper, the size of the used
keys is 2048 or more bits. And here another problem of finding a prime number of
large dimension arises.
      </p>
      <p>In number theory, the problem of finding and proving the primality of a number is
one of the main. The complexity of finding prime numbers is due to the fact that there
is no function of their distribution on the number axis.</p>
      <p>
        To build large prime numbers the following method is used in many sources [
        <xref ref-type="bibr" rid="ref3 ref4 ref5">3-5</xref>
        ].
A sequence of primes p1 &lt; p2 &lt; p3 &lt; . . . is constructed until the prime number of the
required quantity will be found. The prime odd number p1 is selected randomly. After
the prime number pi−1 is constructed, a random number r, 1≤r≤pi−1 – 1 need to be
selected. Let r = 2s · t, t is odd. Then, as a candidate for the next prime number pi is
taken n = 2rpi−1 + 1 = 2s+1 *pi−1 · t + 1. Further, n is checked for primality by known
methods. The disadvantage of this approach is obvious - the probability of guessing at
large prime numbers (&gt; 200D) is too small.
      </p>
      <p>
        Another group of methods [
        <xref ref-type="bibr" rid="ref4 ref5">4,5</xref>
        ] is based on the choice of the arithmetic sequence
or the sum of products of primes with unity. The main disadvantage of all considered
methods is obtaining predictable prime numbers, which are easy enough to repeat. If
the thus obtained prime number is used as keys in encryption systems, then it
becomes possible to build a pool of keys most usually used by users [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. This leads to
a fairly quick compromise. This problem is already openly stated by specialists in the
field of information security [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ].
      </p>
      <p>
        In papers [
        <xref ref-type="bibr" rid="ref6 ref8 ref9">6, 8, 9</xref>
        ] the practical, theoretically grounded possibility of determining
the minimum distance between two adjacent prime numbers is shown. This is
achieved through pseudo-prime numbers that can be used to determine the possible
location of prime numbers. With the proposed approach, it is possible to sharply
reduce the number of checked numbers by the primality with no single prime number
being skipped.
      </p>
      <p>
        The next step in the search for a prime number is the definition of the primality of
the number being checked. As mentioned above, none of the existing exact algorithms
can solve this problem within an acceptable time. It should be noted that in [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] the
deterministic polynomial algorithm AKS of the definition of the primality of numbers
is given, but its complexity is O(log18n) [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. This fact makes this algorithm
inconvenient for practical application.
2
      </p>
    </sec>
    <sec id="sec-2">
      <title>Terminology</title>
      <p>Let us consider the concept of a pseudoprime number. This concept was introduced
for numbers successfully passing the Fermat test. Depending on the primality tests
that check numbers for primality, there are different types of pseudo-prime numbers.
These types include pseudoprime numbers of Fermat, Fibonacci, Lucas, Euler-Jacobi.
What is common to all these numbers? All these numbers, being composite,
successfully pass the corresponding tests for primality.</p>
      <p>Definition of the pseudoprime number. The pseudoprime is a number N whose
primality is not proved.</p>
      <p>Definition of a cardinality of the pseudoprime number. Let us introduce the
concept of the cardinality of the pseudoprime number. The cardinality P of a
pseudoprime number N is the guaranteed number of prime numbers that is not
divisible by a given number. Obviously, the greater cardinality of such number, the
greater the probability that this number will be prime.</p>
      <p>Definition of a prime number. Based on the cardinality of the pseudoprime
number, we can formulate the concept of the prime number. The pseudoprime number
N will be proved as prime if and only if its cardinality is equal to P = (N1/2) on the
interval of natural numbers from 1 to N1/2. In this definition, a (N) refers, as in the
theory of numbers, the number of primes on the interval of natural numbers from 1 to
N.</p>
      <p>
        Definition of a factorial of the prime number. Let us introduce the concept of the
«factorial of the prime numbers» and denote it as follows π(n)!. This entry denotes the
product of all primes not greater than n. For example, π(7)!= π(8)!= π(9)!=
π(10)!=2*3*5*7=210. In fact, the π(n)! means the number of prime numbers in the
product. This term in its meaning coincides with a term primorial, introduced by H
Harvey Dubner in 1987 and received pn# designation [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. In the author's opinion, the
proposed designation π(n)! is more obvious, therefore in this paper, such designation
form is used.
3
      </p>
    </sec>
    <sec id="sec-3">
      <title>Basic Theorems Of The Theory Of Pseudoprime Numbers</title>
      <p>Theorem 1. The sum (difference) of products of two disjoint sets of prime numbers is
a prime number with each of the elements of these sets.</p>
      <p>  k l  
gcd    ai   b j  , x X  A  B   1,</p>
      <p>  i 1 j1  
where a  A; A  k;
b  B; B  l;
A  P;
B  P;
A  B  0;</p>
      <p>P – a set of prime numbers.</p>
      <p>Proof of the theorem 1.</p>
      <p>Consider any element а belonging to the set А (а А). It is obvious that for any a,
the following expressions are true:</p>
      <p> k 
gcd   ai ,  a  A   a,</p>
      <p>
 i 1 
 l 
gcd   b j ,  a  A   1.</p>
      <p> j 1 
Therefore, based on the above arguments,</p>
      <p>  k l  
gcd    ai   b j  , a A  1 .</p>
      <p>  i 1 j1  
  k l  
gcd    ai   b j  ,  b B   1 .</p>
      <p>  i 1 j1  </p>
      <p>A similar proof can be given for any element b belonging to the set В (b  В) and,
as a result, we get that</p>
      <p>Since the element х belongs to the union of two disjoint sets of primes A and B,
then it can be stated that</p>
      <p>  k l  
gcd    ai   b j  , x X  A  B   1.</p>
      <p>  i 1 j1  </p>
      <sec id="sec-3-1">
        <title>The theorem is proved.</title>
        <p>A corollary of Theorem 1. If we take π(n)! and add 1 to it, the resulting number will
be relatively prime with all prime numbers not greater than n. As a matter of fact, this
formulation almost completely repeats Euclid's theorem on the infinity of primes. On
the basis of the Theorem 1, the next relatively prime is the number obtained as the
sum of π(n)! and the first prime number that is greater n. If to π(n)! Add the next
prime number, and then we get a number that is relatively prime to numbers, taking
part in this action.</p>
        <p>Repeating this procedure, we can get a set of relatively prime numbers. Given that
the obtained numbers are not guaranteed to be divisible by the first π(n) prime
numbers, it can be argued that these numbers are pseudoprime with the cardinality
π(n) +1.</p>
        <p>Theorem 2. On the interval between π(n)! +1 and added to π(n)! prime numbers All
numbers will be composite, except for those that have turned out as a result of
addition, And the maximum added prime number must be less than the square of the
first prime number to be added.</p>
        <p>Proof of the theorem 2.</p>
        <p>We begin the proof by considering the restrictive part of the theorem. Let us
consider a prime number аi, that belongs to the set of primes А.</p>
        <p>ai A;</p>
        <p>A  B; B  (n),
where В – the cardinality of the set А.</p>
        <p>If we consider a number equal to the sum of π(n)! and the product of two primes
greater than n, then, according to Theorem 1, it will be a pseudoprime number. The
resulting number can be a prime number. Suppose that the minimal prime number,
greater than n, is equal to a. Then the minimum product of two prime numbers,
greater than the n, the number will be greater а2. Thus, the maximum prime number
that can be used to uniquely define a pseudo-prime number must be less than а2. The
restrictive part of the theorem is proved.</p>
        <p>Consider the interval between numbers π(n)!+1 and π(n)!+а, where а is the nearest
to n prime number. The smallest number on this interval is π(n)!+2. It is quite
obvious that this number is divided by 2. Similarly with the following number π(n)!+3
that is divided by 3. In the general case, all numbers that are not greater than π(n)!+ n
have at least one common divisor with π(n)!. If we consider the following number
π(n)!+n+1, then it will always be even, like all the others, which result from the
addition of two odd numbers n and k. If we consider numbers of the form π(n)!+n+2k,
then they can be either prime or composite.</p>
        <p>If the number is composite, then it can be represented, in accordance with the main
theorem of arithmetic, in the form of a product of primes, and at least one of the
factors is not greater than the number n. If the number π(n)!+n+2k is prime, then it
will correspond to the number а. This means that on the interval between the numbers
π(n)!+1 are π(n)!+а all numbers are composite.</p>
        <p>Let us consider the whole interval indicated in the Theorem 2. Since we consider
we consider numbers less than а2, then similar arguments can be applied to all the
numbers of the interval under consideration. Thus we can conclude That on the
interval between the numbers π(n)!+1 and π(n)!+а2 All numbers will be guaranteed
composite, except for those obtained as the sum between π(n)! and prime numbers in
the interval from а to а2.</p>
        <p>The theorem is proved.</p>
        <p>It should be noted that the Theorem 2 can be formulated as follows: «On the
interval between π(n)!-1 and subtracted from π(n)! prime numbers, all numbers will
be composite except those obtained as a result of subtraction, and the maximum
deductible prime number must be less than the square of the first subtrahend prime
number». The proof is similar to the above.</p>
        <p>A corollary of Theorem 2. The above range concerns the unique definition of
pseudoprime numbers. If the added prime number аj is greater than а2, part of
numbers which will be within the range between π(n)! + аj and π(n)! + аj+1 can be
prime numbers. In order not to miss such locations of prime numbers, It is necessary
to construct all possible combinations of primes greater than n, including the value of
their degrees. At the same time, these combinations should not be included among
which are the factors of π(n)!.</p>
        <p>As it is proved in the Theorem 2, to uniquely define a pseudoprime number, the
value of the prime number to be added must not exceed the square of the first prime
number greater than n. Is this large or small? When considering large numbers n &gt;
200 D this will be a relatively small number. For example, π(1000)! will correspond
to the number 416 D. The interval of numbers on which it will be necessary to search
for a prime number will be 1018081. There are 79682 pseudoprime numbers on it,
which is less than 8 percent of all numbers in this interval. It should be noted the
possibility of increasing the checked interval. According to the Theorem 1, by
subtracting a prime number from π(n)! it is possible to increase its size to 2036162,
and the number of checked numbers to 159364. It is obvious that with the increase of
n, the interval will increase rapidly.</p>
        <p>Any number can be represented as a sum of two numbers. Proceeding from the fact
that all pseudoprime numbers are odd, any of them can be represented as a sum of
even and odd numbers. Obviously, there are a lot of variants of representation and the
larger the number are, the more such options are.</p>
        <p>Each of the terms, according to the main theorem of arithmetic, can be represented
as the product of primes.</p>
        <p>Theorem 3. If at least in one of the variants of representing a pseudoprime number in
the form of two terms, these terms turn out to be not mutually prime numbers, then
the considered number is a composite.</p>
        <p>Proof of the theorem 2. Let us take two disjoint sets of prime numbers A and B.
А ={ai}, B = {bj}.</p>
        <p>ai, bj ϵ N.</p>
        <p>A∩B = Ø.</p>
        <p>gcd (∏ai, ∏ bj) = 1.</p>
        <p>Let us consider the products of the set A and B. Obviously, these are two relatively
prime numbers.</p>
        <p>To ensure that the numbers are not relatively prime, they must have a common
divisor. Введем в каждое из произведений по множителю С. In this case
gcd (С*∏ai, С*∏ bj) = С.</p>
      </sec>
      <sec id="sec-3-2">
        <title>The sum of these two numbers can be represented in the form</title>
        <p>С*∏ai + С*∏ bj = С (∏ai + ∏ bj).</p>
        <p>In this case, the number under investigation will be the composite. As it should be
proved.
4</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Using Pseudoprime Numbers</title>
      <p>
        When using primes, two problems usually occur: finding a prime number and
checking the selected number for primality. The main disadvantage of the known
algorithms for finding prime numbers is a simple search of candidates. In the best
case, the numbers multiples of two are discarded. Using pseudoprime numbers, only
the numbers that are obtained as a result of applying theorems 1 and 2 are checked.
Organizing the checking of a number for primality, both deterministic and
probabilistic methods are used. Both groups are well known and described in many
sources [
        <xref ref-type="bibr" rid="ref13 ref14 ref3">3, 13, 14</xref>
        ].
      </p>
      <p>The range of single-valued definition of pseudo-simple numbers will be denoted
as the step of the definition (SD). An SD size can be easily calculated using the
theorem 2. Table 1 presents a data that allows evaluating the performance of the
proposed method for finding pseudoprime numbers. The table contains the following
data:
 the π(n)! size – Number of decimals in the product;
 the highest factor (HF) – the greatest prime number in π(n)!;
 the number of primes (NP) – number of primes on SD;
 the percentage of the checked numbers (% checked) – ratio of the number of prime
numbers in SD to the total number of numbers on the SD.</p>
      <p>As can be seen from Table 1, the growth rate of a quantity of the size π(n)!
Exceeds the growth rate of the factorial dependence that once again emphasizes the
complexity of the problem of finding prime numbers of large dimensions. The most
interesting data, which are given in the table, in the opinion of the author, is the
percentage of the numbers being checked. For large numbers (D&gt; 200), this index is
less than 9% of the total number of numbers on the interval being checked. If you take
any algorithm that will only check for numbers ending in 1,3,7,9, then the percentage
of the checked numbers will be 40. When the cardinality of a pseudoprime number
increases, the percentage of the numbers being checked decreases.</p>
      <p>To increase the SD size, it is necessary to multiply the obtained product of prime
numbers before their summation with the corresponding prime numbers by all the
numbers less than the next prime number for π(n). The obtained results for π(11) are
presented in Table 2.
Based on the theorem 3, a method of checking numbers for simplicity is proposed.
1. From the given number, the square root is calculated and the result is rounded
down.</p>
      <p>2. Calculates the difference between the target number and the number obtained.
3. These numbers are decomposed into factors.
4. If the factors have at least one the same number, then go to step 8.
5. From a smaller number, one is subtracted.
6. If the result is bigger than 1, then go to step 2.
7. The number is prime.
8. The number is composite.</p>
      <p>By its idea, the presented method is similar to a quadratic sieve. The difference is
that the number obtained as a result of the extraction of the square root in the
proposed method decreases. This is due to the fact that more than one square root can
have a maximum of one efficient, while the remaining ones will be less than the
resulting root.</p>
      <p>As an example, consider the number 996533. The square root of this number
rounded down will be equal to 998. In Table 3t there are numbers equal and less than
998 and their decomposition, according to the main theorem of arithmetic, in columns
one and two are. There are the numbers obtained as the difference between the
checked number for primality and the numbers in the first column, in the third
column. There is the decomposition of numbers from the third column in the fourth
column. There is the greatest common divisor in the fifth column.</p>
      <p>How effective is this way of confirming the number primality? Obviously, a
sufficiently long time will be spent on decomposing a large number into multipliers.
Proceeding from the stated problem of finding a common factor, it makes sense to use
the well-known Euclidean algorithm for finding the greatest common divisor.</p>
      <p>Before proceeding to the use of the Euclidean algorithm, it is necessary to note one
more regularity. Most of the pairs under consideration have in their composition the
first ten primes from 2 to 29. If we multiply these numbers, the result is 6469693230.</p>
      <p>Define gcd of numbers 6469693230 and 996533. gcd (6469693230, 996533) is 1.
This means that our investigated number is not divisible without a remainder by any
prime number less than or equal to 29, that cardinality of a number 996533 is proved
(Р= 10). This means that as soon as the remainder of the division in any iteration
becomes equal to or less than the number 29, it is possible to assert unequivocally,
that gcd of this numbers will be equal 1. Using the product of the following 10 prime
numbers from 31 to 71, it is possible to calculate the gcd of this pair of numbers.</p>
      <p>If we consider table 3, then gcd should be searched between the I and II numbers
represented in the first and third columns respectively. The result is presented in the
fifth column.</p>
      <p>
        The possibility of applying gcd detection methods is quite productive. Although
this is nothing more than a method of trial division, but the speed of the proposed
method is much higher. This can be achieved by first calculating the products of
prime numbers, and their number in the product can be quite large. For example, if we
multiply all the prime numbers that are less than 1000, and there are 169 such
numbers, and gcd = 1, then the probability that the test number is composite, will be
equal 2-169[
        <xref ref-type="bibr" rid="ref15 ref16">15,16</xref>
        ]. It should be noted the fact that the results of the preliminary
calculation can be stored in a database that will be constantly updated.
      </p>
      <p>Quite interesting results, from the point of view of parallelization of the calculation
process, is presented in Table 4. If you take the same number 996533 and repeat the
process, the results of which are presented in Table 3, having previously increased the
number several times. Table. 4 shows the number steps NS on which the desired
result is obtained, depending on the multiplication factor MF.</p>
      <p>Obviously, the obtained result will depend on the ratio of the two terms and the
greatest common divisor.
5</p>
    </sec>
    <sec id="sec-5">
      <title>Properties Of Pseudoprime Numbers</title>
      <p>At this moment, the complexity of constructing prime numbers is due to the absence
of the distribution laws of this numbers. Unlike prime numbers for pseudoprime
numbers, based on the considered examples, it is possible to reveal some regularities
conditioned by the properties of these numbers and the method for their construction.</p>
      <p>The first property is repeatability of pseudoprime numbers. This is because it is
possible to reuse prime numbers in the product of prime numbers. The cardinality of
the pseudoprime number remains unchanged, and its size increases. This property is
clearly seen from Table. 2.</p>
      <p>The second property is specularity or symmetry. This property follows from the
theorem 1. Pseudoprime numbers are symmetric with respect to kπ(n)!.
6</p>
    </sec>
    <sec id="sec-6">
      <title>Conclusions</title>
      <p>The presented paper is the result of three years works on creating the theory of
pseudoprime numbers. In this paper for the first time a definition of some terms is
given, some theorems on pseudoprime numbers are formulated or slightly modified, a
correct proof is given. All the above theoretical calculations are confirmed by the
carried out experiments, which confirm their correctness.</p>
      <p>The use of pseudoprime numbers significantly reduces labor costs searching for
prime numbers by specifying a location on the numeric axis where they can be
located. As the size of the generated number increases, the relative number of the
considered options decreases.</p>
      <p>Based on the above theorems, it is possible to state quite reliably the possible
numbers of twins, although this requires additional studies.</p>
      <p>The use of a variety of combinatorial methods for the use of pseudoprime numbers
makes it possible to assert a high potential for their use in finding prime numbers.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          <article-title>1. The Real Story of Stuxnet - IEEE Spectrum, www</article-title>
          .spectrum.ieee.org/telecom/security/thereal-story-of-stuxnet
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Gary</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Johnson</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <article-title>Computers intractability: a guide to the theory of NP-completeness</article-title>
          . San Francisco: W.H.Freeman, (
          <year>1979</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>Emily</given-names>
            <surname>Riemer</surname>
          </string-name>
          . Pseudoprimes and
          <string-name>
            <given-names>Carmichael</given-names>
            <surname>Numbers</surname>
          </string-name>
          .
          <source>MATH0420</source>
          (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Couvreur</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Quisquater</surname>
            <given-names>J. J.</given-names>
          </string-name>
          <article-title>An introduction to fast generation of large primes</article-title>
          .
          <source>Philips J. Res 37</source>
          , pp.
          <fpage>231</fpage>
          -
          <lpage>264</lpage>
          (
          <year>1982</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Mihailescu</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          <article-title>Fast generation of provable primes using search in arithmetic progressions</article-title>
          .
          <source>Advances in cryptology-CRYPTO</source>
          '
          <fpage>94</fpage>
          -Santa Barbara, CA, pp.
          <fpage>282</fpage>
          -
          <lpage>293</lpage>
          , (
          <year>1994</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Pevnev</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          <string-name>
            <surname>Ja</surname>
          </string-name>
          .
          <article-title>Metodika postroenija psevdoprostyh chisel (In Russian)</article-title>
          . In:
          <article-title>Sistemi obrobki іnformacії. Kharkov, HUPS іm</article-title>
          .
          <source>І</source>
          . Kozheduba Publ.,
          <volume>3</volume>
          (
          <issue>140</issue>
          ), pp.
          <fpage>30</fpage>
          -
          <lpage>32</lpage>
          . (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Mimoso</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <article-title>Prime Diffie-Hellman Weakness May Be Key to Breaking Crypto, threatpost.com/primediffie-hellman-weakness-may-be-key-</article-title>
          <string-name>
            <surname>to-</surname>
          </string-name>
          breaking-crypt/115069/#sthash.
          <source>wnLEv2 zR.dpuf.</source>
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Pevnev</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          <string-name>
            <surname>Ja</surname>
          </string-name>
          .
          <article-title>Generator prostyh chisel (In Russian)</article-title>
          .
          <article-title>Kafedra sistem іnformacії</article-title>
          .
          <source>Zbirnik naukovih prac'</source>
          , Kharkov,
          <string-name>
            <surname>TOV</surname>
          </string-name>
          «Shhedra sadiba pljus» Publ.,
          <volume>140</volume>
          -
          <fpage>146</fpage>
          (
          <year>2014</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Pevnev</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          <string-name>
            <surname>Ja</surname>
          </string-name>
          .
          <article-title>The theoretical justification for methodology of constructing pseudo-primes (In Russian)</article-title>
          .
          <source>In.J. Radioelektronni i komp'uterni sistemi</source>
          ,
          <volume>6</volume>
          (
          <issue>80</issue>
          ),
          <fpage>210</fpage>
          -
          <lpage>213</lpage>
          (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Agrawal</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kayal</surname>
            <given-names>N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Saxena</surname>
            <given-names>N.</given-names>
          </string-name>
          <article-title>PRIMES is in P J</article-title>
          .
          <source>Annals of Mathematics</source>
          .,
          <volume>160</volume>
          , pp.
          <fpage>781</fpage>
          -
          <lpage>793</lpage>
          (
          <year>2004</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Venturi</surname>
            <given-names>D</given-names>
          </string-name>
          .
          <source>Lecture Notes on Algorithmic Number Theory</source>
          . Springer-Verlag, New-York, Berlin, (
          <year>2009</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <given-names>Harvey</given-names>
            <surname>Dubner</surname>
          </string-name>
          .
          <article-title>Factorial and primorial primes</article-title>
          <source>In: Journal of Recreational Mathematics.19</source>
          , pp.
          <fpage>197</fpage>
          -
          <lpage>203</lpage>
          . (
          <year>1987</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Prahar</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          <string-name>
            <surname>Primzahlverteilung</surname>
          </string-name>
          . Springer. Berlin, (
          <year>1957</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Crandall</surname>
            <given-names>R.</given-names>
          </string-name>
          , Pomerance C.
          <article-title>Prime nambers</article-title>
          .
          <source>A computational perspective Second</source>
          edition Springer (
          <year>2005</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Solovay</surname>
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Strassen</surname>
          </string-name>
          .
          <article-title>A fast Monte-carlo test for primality</article-title>
          .
          <source>In: SIAM J. Comput.</source>
          , V.
          <volume>6</volume>
          ,
          <fpage>84</fpage>
          -
          <lpage>85</lpage>
          . (
          <year>1977</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <given-names>Jean</given-names>
            <surname>Gallier</surname>
          </string-name>
          .
          <source>Notes on Public Key Cryptography And Primality.Testing Part</source>
          <volume>1</volume>
          :
          <string-name>
            <given-names>Randomized</given-names>
            <surname>Algorithms</surname>
          </string-name>
          Miller-Rabin and
          <article-title>Solovay-Strassen Tests</article-title>
          . Department of Computer and Information Science University of Pennsylvania. Philadelphia (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>