<!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>
      <journal-title-group>
        <journal-title>II: Cybersecurity Providing in Information and Telecommunication Systems, October</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Families of Stream Ciphers based on Non-Bijective Multivariate Encryption Maps of High Degree</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Vasyl Ustimenko</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Oleksandr Pustovit</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Institute of Telecommunications and the Global Information Space of the National Academy of Sciences of Ukraine</institution>
          ,
          <addr-line>13 Chokolivsky Boulevard, Kyiv, 02000</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>University of Royal Holloway in London</institution>
          ,
          <addr-line>Egham Hill, Egham TW20 0EX</addr-line>
          ,
          <country country="UK">United Kingdom</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2023</year>
      </pub-date>
      <volume>26</volume>
      <issue>2023</issue>
      <fpage>0000</fpage>
      <lpage>0002</lpage>
      <abstract>
        <p>The discovery of q-regular forest description in terms of an infinite system of quadratic equations over a finite field Fq had an impact on the development of Graph-Based Cryptography and constructions of robust stream ciphers. The family of algebraic graphs D(n, K) defined over arbitrary commutative ring K with unity already was used for the description of some graph-based ciphers. We introduce new ciphers constructed in terms of D(n, K). Let K be arithmetical ring Zq, q = 2l, l≥3. We will use natural bijection between elements of multiplicative group K* and elements of Zp, p = 2l-1. The space of plaintexts is (Zp)n-s the space of ciphertexts is (Zq)n-s where s of size O(1) can be arbitrary parameter &lt;[(n+2)/5]. The password can be selected as an arbitrary pair of tuples of kind (a1, a2, …, ak) ϵ (K*)k, (d1, d2, …, ds) ϵ (K*)s where even k, k&lt;[(n+5)/2] has size O(1). We prove that different passwords produce distinct ciphertext from the selected plaintext. So the cost of a direct attack by an adversary is qspk. The encryption map has a multivariate nature, it is induced by non-bijective polynomial transformation Fn_of Kn-s to itself of prescribed degree d. Users can select d, d ≥3 as an arbitrary parameter of the size O(n). Appropriate selection of large d makes linearisation attacks on the cipher of multivariate nature unfeasible. The speed of encryption/ decryption is O(n). Additionally, we introduce similar ciphers based on the bijective transformation of the space of plaintexts Kn-s where K is an arbitrary commutative ring with unity with nontrivial multiplicative group K*.</p>
      </abstract>
      <kwd-group>
        <kwd>1 Post Quantum Cryptography</kwd>
        <kwd>linguistic graphs over commutative rings</kwd>
        <kwd>Stream Ciphers</kwd>
        <kwd>Graph-Based Multivariate Cryptography</kwd>
        <kwd>Extremal Graph Theory</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        Graph-Based Cryptography (GBC) area is
moving with great speed into the mainstream
of computer design, Information sciences,
Information and Computer programming,
Artificial Intelligence, and design. Applications
of GBC are in diverse areas such as Data
structures, Communication networks, and
their security. A Graph-based approach centers
on conserving the environment of security
events by breaking down factors of observable
data into a graph representation of all cyber
vestiges, from all data aqueducts, counting for
all once and present data. For secret
communication, GBC is used for the key
exchange, development of Multivariate Public
Keys, key-dependent message authentication
codes, and algorithms of Noncommutative
Cryptography [
        <xref ref-type="bibr" rid="ref18 ref19">16–30</xref>
        ].
      </p>
      <p>
        Graph theory is commonly used as a tool for
symmetric encryption. The first
cryptographical applications of Graph Theory
appeared in the areas of Symmetric
Cryptography and Network Security. This
paper [
        <xref ref-type="bibr" rid="ref23">35</xref>
        ] and monograph [
        <xref ref-type="bibr" rid="ref17">15</xref>
        ] reflect various
results in the area of applications of families of
algebraic graphs of the large girth of Extremal
Graph Theory to the development of fast and
secure encryption tools to process Big Data
files. The girth is the length of the minimal
cycle in the graph. This parameter defines the
size of the key space of the corresponding
cipher.
      </p>
      <p>
        Observed and presented new ciphers have
a multivariate nature. The space of plaintexts is
an affine variety Kn defined over finite
commutative ring K. Bijective encryption map
F can be given by nonlinear multivariate
polynomials f1, f2,…, fn from the multivariate
commutative ring K[x1, x2,…, xn]. It acts on the
affine space according to the rule (x1, x2,…, xn)→
(f1(x1, x2,…, xn), f2(x1, x2,…, xn),…, fn(x1, x2,…, xn)),
where fi are given via corresponding list of
monomial terms. The trapdoor accelerator
(see [
        <xref ref-type="bibr" rid="ref16">14</xref>
        ]) is a piece of information A such that
the knowledge of A allows us to compute the
reimage of F in time O(n2).
      </p>
      <p>In presented ciphers based on bijective
maps correspondents Alice and Bob share file
A (the password) and encrypt according to the
robust procedure in time O(n) or O(n1+ᾳ) where
ᾳ is from the interval [0,1]. The adversary does
not have a password he/she can intercept a
large amount of pairs of
plaintext/corresponding ciphertext and try to
approximate maps F-1 and F. So the degree of F
is an important parameter for cryptanalytical
studies. The most important (active) part of
the password is the information about the walk
in the algebraic graph.</p>
      <p>
        The first description of selected
graphbased stream cipher based on approximations
of the q-regular tree where q is a prime power
was presented in [4] or [
        <xref ref-type="bibr" rid="ref17">15</xref>
        ]. The first
implementation of these algorithms appeared
at the beginning of 2001 [1]. During the last
twenty years, many new results on the
construction of new encryption tools and their
cryptanalysis were obtained. They lead to an
understanding of the multivariate nature of
these algorithms and the necessity of usage of
infinite algebraic graphs defined over infinite
commutative rings of kind Fq [x1, x2, …, xn] or
more general K[x1, x2,…, xn] where K is a finite
commutative ring. Implemented in [1]
encryption map is a polynomial map of degree
3 such that their inverse is also a cubical
transformation. So, the adversary can use
linearisation attacks, and after the interception
of O(n3) pairs of kind plaintexts/corresponding
ciphertext he/she can approximate the
encryption map in time O(n10).
      </p>
      <p>
        In [
        <xref ref-type="bibr" rid="ref23">35</xref>
        ] first graph-based encryption scheme
with a nonbijective encryption map was
presented.
      </p>
      <p>Section 2 is dedicated to the general schemes
of flexible encryption algorithms based on a
special family of algebraic graphs defined over
a commutative ring. The used class of algebraic
graphs is known as the class of linguistic
graphs of type (1,1, n-1). Some of these
schemes do not use descriptions of connected
components of graphs. other schemes are
based on the knowledge of connectivity
invariants of the graphs. Some of them allow us
to define bijective maps of corresponding
affine space, and others are used for the
creation of an injective map of (K*)n into Kn
where K is a commutative ring with the unity
and K* is its multiplicative group.</p>
      <p>The remarkable well-known family of
linguistic graphs D(n, K) defined over K is
introduced in Section 3. The connected
components of these graphs and their
properties and applications are discussed. In
particular, we consider the theory of
approximations of regular trees and forests
with the example q-regular forest
approximation D(n, Fq) = D(n, q), n→∞ [2] and
tree approximation via linguistic graphs
CD(n, q) [3].</p>
      <p>The precise description of some
graphbased algorithms of Section 2 in the case of
D(n, K) is given in Section 4 together with an
evaluation of the degrees of the encryption
map and its inverse. We select algorithms
constructed without the usage of connectivity
invariants of graphs.</p>
      <p>Section 5 is dedicated to the family of
bijective and non-bijective ciphers described
in terms of connectivity invariants. We discuss
implementations of some of these ciphers in
the case of arithmetical rings Zq, q=2l there.</p>
      <p>Section 6 contains conclusive remarks.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Linguistic Graphs of Type (1, 1, n-1) and Encryption Schemes</title>
      <p>
        The families of graphs D(n, K) defined over
arbitrary commutative ring K are linguistic
bipartite graphs of type (1, 1, n-1) with
partition sets which are two copies of Kn (see
[
        <xref ref-type="bibr" rid="ref9">7</xref>
        ] or [
        <xref ref-type="bibr" rid="ref17">15</xref>
        ]), i.e. graphs with the incidence
I = I(K) = nI(K) between points (x1, x2,…, xn) and
lines [y1, y2,…, yn] given by the system of
equations a2x2-b2y2 = f2(x1, y1), a3x3-b3y3 = f2(x1,
x2, y1, y2 ),…, anxn-bnyn = f2(x1, x2,…, xn-1, y1, y2,…, yn-1)
where parameters a2, a3,…, an-1 and b2, b3,…, bn-1
are taken from the multiplicative group
K* of the commutative ring K. Parameters
ρ((x1, x2,…, xn)) = x1 and ρ([y1, y2,…, yn]) = y1
serve as colors of the point and the line. The
following linguistic property holds. Each
vertex of the graph has a unique neighbor of
the chosen color.
      </p>
      <p>Graph CD(n, K) after the elimination of
computed recurrently parameters also can be
written as linguistic graphs of type (1, 1, m-1)
where m=[3/4n]+c.</p>
      <p>Parameters n and m are equal to some
selected constant. the length of the password is
another even constant that has an impact on
the speed of encryption. Another option to
increase the speed of execution is the increase
the cardinality of the ground field or ring. Let
us consider the general scheme of creating the
cipher based on the family of linguistic graphs
nI(K), n=2, 3, ….</p>
      <p>Noteworthy that we can expand the defined
above I(K) to the infinite linguistic graph I(K[x1,
x2,…, xn]) defined over the ring K[x1, x2,…, xn] of
all multivariate polynomials with coefficients
from K and the variables xi, I = 1,2,…, n. So
points and lines of this graph are X = (X1(x1,
x2,…, xn), X2(x1, x2,…, xn),…, Xn(x1, x2,…, xn) and
Y = [Y1(x1, x2,…, xn), Y2(x1, x2,…, xn),…, Yn(x1, x2,…,
xn)]. The incidence of this bipartite graph is
given by equations a2X2-b2Y2 = f2(X1, Y1),
a3X3b3Y3 = f2(X1, X2, Y1, Y2),…, anXn-bnYn = f2(X1, X2,…,
Xn1, Y1, Y2,…, Yn-1), where parameters a2, a3,…, an-1, b2,
b3,…, bn-1 and polynomials fi, I = 2, 3,…, n with
coefficients from K are taken from the
equations in the definition of the linguistic
graph I(K).</p>
      <p>
        We define the polynomial map F from Kn to
K n via the following scheme (see [
        <xref ref-type="bibr" rid="ref17">15</xref>
        ]). Take
the special point X = (x1, x2,…, xn) of I(K[x1,
x2,…xn]) and consider the list of colours g1(x1),
g2(x1), …, gt(x1). We compute the path
v0Iv1Iv2…Ivt where v0 = X and vi+1 is the
neighbour of vi with the colour gi(x1), I = 1,2, …,
t and I = I(K[x1, x2,…, xn]). Then the destination
point vt of this path can be written as (gt(x1),
F2(x1, x2), …, Fn(x1, x2,…, xn)). The map F is given
by the rule x1→gt(x1), x2→F(x1, x2),…, xn→F(x1,
x2,…, xn). It is easy to see that F = F(g1, g2,…, gt)
is a bijective map if and only if the equations of
kind gt(x1) = b have unique solutions for
unknown x1 for each b from K.
      </p>
      <p>So family of linguistic graphs nI(K), n = 2, 3,…
together with family of affine transformations
TnϵAGLn(K) can be used as a cipher with the
space of plaintexts Kn and the password g1(x),
g2(x),…, gt(x) and the encryption map Tn(F(g1,
g2,…, gt)(Tn)-1.</p>
      <p>Correspondents Alice and Bob share the
password given by g1, g2,…, gt and the sequence
of transformations Tn, n = 2, 3,… We assume
that inverse maps (Tn)-1 are computed and
presented explicitly. For the encryption of
potentially infinite plaintext (p) = (p1, p2,…, pn)
they will use transformation TnF(g1, g2,…,
gt)(Tn)-1. One of them creates the plaintext (p)
and computes the ciphertext Tn(F(g1, g2,…,
gt)(Tn)-1(p) = c recurrently. The procedure is
the sequence of the following steps.</p>
      <p>S1. He/she computes (Tn)-1(p1, p2,…, pn) = (r(1),
r(2),…, r(n)) = (r)</p>
      <p>S2. He/she computes a(1) = g1(r1),
a(2) = g2(r1),…, a(t) = g(r1)</p>
      <p>S3. Let Na(x1, x2,…, xn) be the operator of
taking the neighbor of point (x1, x2,…, xn) with
the color a in the linguistic graph nI(K) and
aN(y1, y2,…, yn) be an operator of taking the
neighbor of the line [y1, y2,…, yn] with the color
a. He/she executes the following operation.
Computation of v1 = Na(1)(r), v2 = a(2)N(v1),
v3 = Na(3)(v2), v4 = a(4)N(v3),…, vt-1 = Na(t-1)(vt-2),
vt = a(t)N(vt-1) = u = (u1, u2,…, un)</p>
      <p>S4 He/she computes ciphertext as T(u)=c
DECRYPTION PROCEDURE.</p>
      <p>Assume that one of the correspondents
received the ciphertext c. He/she decrypts via
the following steps.</p>
      <p>D1. Computation of u as (Tn)-1(c) = u and
getting the solution x = r(1) of equation
g(x) = u1</p>
      <p>D2. Computation of parameters
a(1) = g1(r(1)), a(2) = g2(r(1)),…, a(t-1) =
gt1(r(1)) and the completion of the recurrent
procedure vt-1 = Na(t-1)(u), vt-2 = a(t-2)N(vt-1),
vt3 = Na(t-3)(vt-2), vt-4 = a(4)N(vt-3),…, v1 = Na(1)(vt-2),
r(1)N(v4t-1) = r.</p>
      <p>D3. Computation of the plaintext (p) as T(r).
OBFUSCATIONS OF THE ALGORITHM.</p>
      <p>O1. Let us consider the colour jump operator
Ja which transforms point (p1, p2,…, pn) of the
graph I(K) to the point (a, p2, p3,…, pn).</p>
      <p>We can change the encryption map TnF(g1,
g2,…, gt)(Tn)-1 for the TnF(g1, g2,…, gt)Jg(Tn)-1,
where Jg is a color jump operator acting on
points of I(K[x1, x2,…xn] with the color
g(x1)ϵK(x1) such that the equation of kind
g(x1) = b has a unique solution for each
parameter b from K.
After this change assumption of the bijection of
gt on K is immaterial. Encryption procedure
requires computation of (Tn)-1(p1, p2, …,
pn) = (r(1), r(2),…, r(n)) = (r), the computation
of u accordingly step S2. The computation of
Jg(u) = u’ and application of affine
transformation Tn to the tuple u’.</p>
      <p>For the decryption of ciphertext c the user
has to compute u’ = (u’1, u’2,…, u’n) as (Tn)-1(c ),
solve for x the equation g(x) = u’1, use the
solution x = r(1) of this equation for the
computation of a(1) = g1(r(1)), a(2) = g2(r(1)),…,
a(t) = gt(r(1)), compute Ja(t)(u’) = (u) = (u1, u2,…,
un) in the graph I(K) and execute procedure D2
and D3 to get the original plaintext.</p>
      <p>O2. We can use “multiplicative equations” of
kind g(x1) = b where g:K*→K* which has a
unique solution if bϵK*. In this case, we can use
the previous scheme O1 with Tn such that
Tn1 = (r(1), r(2),…, r(n)) and r(1) is an element of
multiplicative group K*.</p>
      <p>
        O3. Let I(K) be a linguistic graph of type (1,
1, n-1). We say that multivariate function f, f
ϵK[x1, x2,…, xn] is a connectivity invariant of I(K)
if f(x1, x2,…, xn) = f(y1,y2,…yn) for each pair of
points (x1, x2,…, xn), (y1, y2, …, yn) from the same
connected component of the graph I(K).
Assume that f1, f2,…, ft are connectivity
invariants. We can use functions of kind
gi(x1)+fi(x1, x2,…, xn), I = 1.2,…, t instead of gi in
the cases of encryption schemes of type O2.
This idea was proposed in [
        <xref ref-type="bibr" rid="ref9">7</xref>
        ] and [
        <xref ref-type="bibr" rid="ref21">33</xref>
        ]. We can
change points for lines in the definition of
connectivity invariant.
      </p>
      <p>O4. We can take T1 and T2 from the group
AGLn(K) and use T1GT2 where G is a
graphbased transformation.</p>
      <p>O5. Let us assume that K = Zq, q = 2m. We can
use graph based transformation G introduced
in O2_given by polynomials g1(x1), g2(x1),…,
gt(x1) and function g(x1) of the “multiplicative
equations”. Assume the graph In(K) has
connectivity invariants f1, f2,…, fk+1 from K[x1,
x2,…, xn]. We change the colors gi and g for
hi = gi(x1)+fi(x1, x2,…, xn) and. Let H be the
graphbased transformation in terms of In(K) and
colors hi and g. Correspondents can work with
the graph-based stream cipher defined in
terms of the family of graphs In(K) and colors
hi(x) and h(x) which has the space of plaintexts
(K*)n, encryption function E = T1HT2 where T1,
T2 are elements of GLn(K) and T1(x1)ϵK*.
Noteworthy that the matrix of the linear
transformation T1 can be constructed as a
composition of low triangular matrix L = (l(i,j))
(l(i,j) = 0 for j&gt;i) and an upper triangular matrix
u = (u(i,j)) (u(i,j = 0 for i &gt; j) such that
u(1,1) ϵ K*.</p>
      <p>The space of plaintexts can be identified
with the (Zp) n, p = 2 m-1. The map ϻ:
x→2x+1estabishes the bijection between
elements Zp and (Zq)*.</p>
      <p>Let us assume that Bob creates the plaintext
(p1, p2,…, pn) = v. He computes v* as (ϻ(p1),
ϻ(p2),…, ϻ(pn)) and creates the ciphertext
E(v*) = c.</p>
      <p>Alice computes (T2)-1 (c ) = (b1. b2….,bm).
Secondly, she solves for x the equation
g(x) = b1.. Let x = x* be the solution.</p>
      <p>Alice takes the path in the graph with the
starting point d = (x*, b2, b3,…, bn) = d and
consecutive colors ht(x*), ht-1(x*), ht-2(x*),…,
h1(x*), x*. Notice that for the computation of
colors, Alice uses the identity fi(x1, x2,…,
xn) = f1(x*, b2, b3,…, bn).</p>
      <p>The last vertex of the path is (ϻ(p1), ϻ(p2),…,
ϻ(pn)). Alice applies ϻ-1, and gets the plaintext.</p>
    </sec>
    <sec id="sec-3">
      <title>3. On Families of Algebraic Graphs</title>
      <p>of Large Girth</p>
      <sec id="sec-3-1">
        <title>3.1. General Remarks</title>
        <p>The girth and diameter of a graph are the
minimal length of its cycle and the maximal
distance of the graph. The construction of finite
or infinite graphs with prescribed girth and
diameter is an important and difficult task of
Graph Theory.</p>
        <p>Noteworthy that the incidence of classical
projective geometry over various fields is a
graph of girth 6 and diameter 3. J. Tits defined
generalized m-gons as bipartite graphs of girth
2m and diameter m. Feit and Higman proved
that finite generalized m-gons with bi-degrees
&gt;2 exist only in the cases of m = 3, 4, 6, 8, and
12. Geometries of finite simple groups of rank
2 are natural examples of generalized m-gons
for m = 3, 4, 6, 8. Classification of flag transitive
generalized m-gons of Moufang type was
obtained by J. Tits and R. Weiss.</p>
        <p>Infinite families of graphs of large girth of
bounded degree are important objects of
Extremal Graph Theory which were
introduced by P. Erdős. He proved the
existence of such families via his well-known
probabilistic method. Nowadays few explicit
constructions of such families are known. The
concept of an infinite family of small world
graphs of bounded degree turns out to be very
important for various applications of graph
theory.</p>
        <p>
          Noteworthy that only one family of
smallworld graphs of large girth is known. This is the
family X(p, q) of Ramanujan graphs introduced
by Gregory Margulis [
          <xref ref-type="bibr" rid="ref10">8</xref>
          ] and investigated via
the computation of their girth, diameter, and
the second largest eigenvalue by A. Lubotsky,
R.Phillips and P.Sarnak [
          <xref ref-type="bibr" rid="ref11">9</xref>
          ].
        </p>
        <p>We have to admit that studies of families of
graphs Γi with well-defined projective limit Γ,
which is isomorphic to an infinite tree, are
well-motivated.</p>
        <p>We refer to such family as tree
approximation. There is only one
approximation by finite graphs which is a
family of large girth. This is the mentioned
above family of CD(n, q) defined by F. Lazebnik,
V. Ustimenko, and A. Woldar [3].</p>
        <p>The question of whether or not CD(n, q)
forms a family of small world graphs has been
still open since 1995.
is the independent of i constant and diam
(Γi) is the diameter of Γi, is called a family
of small world graphs.
2. Recall that infinite families of simple
regular graphs Γi of constant degree k
and order vi such that g(Γi)≥clogk-1(vi),
where c is the independent of i constant
and g(Γi) is a girth of Γi are called families
of graphs of large girth. Tree (q-regular
simple graph without cycles) in terms of
algebraic geometry over finite field Fq.
3. The projective limit of graphs Γi is well
defined and coincides with the q-regulate
tree Tq.</p>
        <p>We refer to a family of graphs Γi satisfying
condition (iii) as tree approximation. We know
examples of the family satisfying conditions 1,
2, and 3.</p>
        <p>
          The family X(p, q) formed Cayley graphs for
PSL2(p), where p and q are primes, had been
defined by G. Margulis [
          <xref ref-type="bibr" rid="ref10">8</xref>
          ] and investigated by
A. Lubotzky, Sarnak, and Phillips [
          <xref ref-type="bibr" rid="ref11">9</xref>
          ]. As it is
easy to see the projective limit of X(p, q) does
not exist.
3.2. On Graphs D(n, q),
        </p>
      </sec>
      <sec id="sec-3-2">
        <title>Properties and Generalisations</title>
      </sec>
      <sec id="sec-3-3">
        <title>Their 3.3.</title>
        <p>Graphs D(n, K)
All graphs we consider are simple, i.e.
undirected without loops and multiple edges.
Let V(Γ ) and E(Γ ) denote the set of vertices and
the set of edges of Γ, respectively. The
parameter |V(Γ )| is called the order of Γ, and
|E(G)| is called the size of Γ. A path in Γ is called
simple if all its vertices are distinct. When it is
convenient we shall identify Γ with the
corresponding anti-reflexive binary relation
on V(Γ), i.e. E(Γ) is a subset of V(Γ)×V(Γ). The
length of a path is the number of its edges. The
girth of a graph Γ, denoted by g = g(Γ), is the
length of the shortest cycle in Γ. Let k≥3 and
g≥3 be integers. The distance between vertices
v and u of the graph Γ is a minimal length of the
path between them. The diameter of the graph
is the maximal distance between its vertices.</p>
        <p>The graph is connected if its diameter is
finite. The graph is k-regular if each vertex of
the graph is incident exactly to k other
vertexes. A tree is a connected graph which
does not contain cycles.</p>
        <p>1. An infinite family of simple regular
graphs Γi of constant degree k and order
vi such that diam (Γi)≤clogk-1(vi), where c
Graphs D(n, q) introduced in [2] defines
projective limit D(q) which is an infinite
bipartite graph with partition sets formed by
two infinite vector spaces over the finite field
Fq_formed by points (p) = (p01, p11, p12, p21, p22,
p’22, …, p’ii, pi i+1, pi+1,i, p+i+1,i+1 …) and lines [l] = [l10,
l11, l12, l21, l22, l’22, …, l’ii, li i+1, li+1,i, l+i+1,i+1 …] and
incidence relation given by equations
lii-pii = l10 pi-1,i;
l’ii-p’ii = li,i-1 p01;
li,i+1-pi, i+1 = lii p01;
li+1i-pi+1,I = l10p’ii .</p>
        <p>These four relations are defined for i≥1,
(p’11 = p11, l’11 = l11).</p>
        <p>Remark. You can see that indexes of vectors
correspond to coordinates of positive roots of
root system A1 with a wave.</p>
        <p>Graph D(n, q) are bipartite graphs with the
partition sets (Fq)n formed by the projections of
points and lines of D(q) onto their first n
coordinates and incidence given by first n-1
equations in the definition of D(q).</p>
        <p>
          Historically graph D(q) is not the first example
of a description of q-regular forest in terms of
Algebraic Geometry. Geometries of buildings
(see [
          <xref ref-type="bibr" rid="ref12 ref2 ref4">10</xref>
          ] and further references) correspond
to extended Dynkin diagram A1 as incidence
structures are q+1-regular trees or q+1-regular
forests. As a result, we get a description of a
tree in group theoretical terms.
        </p>
        <p>
          In [
          <xref ref-type="bibr" rid="ref13">11</xref>
          ] it was noticed that the restriction of
this incidence relation on orbits of Borel
subgroup B- acting on maximal parabolic
subgroups are q-regular bipartite graphs. So
we get a description of a q-regular tree in terms
of positive roots of A1 with a wave.
        </p>
        <p>In [2] authors proved that D(n, q) defined
via first n-1equations of D(q) form a family of
graphs of large girth. The general point and line
of these graphs are projections of (p) and [l]
onto the tuples of their first n coordinates.</p>
        <p>Unexpectedly it was discovered that these
graphs are disconnected if n≥6. So forest D(q)
contains infinitely many trees and the
diameter is an infinity. F. Lazebnik conjectured
that connected components of graphs D(n, q),
n = 3, 4, … form a family of small world graphs.
This conjecture is still open.</p>
        <p>
          In 1994 it was found out how to describe
connected components CD(n, q) of graphs
D(n, q) in terms of equations (see [
          <xref ref-type="bibr" rid="ref8">6</xref>
          ], [3]). In
the case of families of graphs of large girth, we
would like to have “speed of growth” c of the
girth “as large as it is possible”. P. Erdos proved
the existence of such a family with arbitrary
large but bounded degree k with c = 1/4 by his
probabilistic method.
        </p>
        <p>In the case of families X(p, q) and CD(n, q)
the constant c is 4/3. So exact computation of
the girth is the area of future research. There
are essential differences between the family of
graphs X(p, q) and tree approximations. Recall
that the projective limit of X(p, q) does not
exist.</p>
        <p>
          Families X(p, q) and CD(n, q) can be used for
the construction of LDPC codes for noise
protection in satellite communications. D.
MacKay and M. Postol [
          <xref ref-type="bibr" rid="ref14">12</xref>
          ] proved that CD(n, q)
based LDPC codes have better properties than
those from X(p, q) for the constructions of
LDPC codes.
        </p>
        <p>Cayley nature of X(p, q) does not allow to
use of these graphs in multivariate
cryptography. Various applications of graphs
D(n, q) and CD(n, q) have been known since
1998.</p>
      </sec>
      <sec id="sec-3-4">
        <title>3.4. On the Equations for Graphs</title>
        <p>CD(n, K)
We can see that graphs D(n, q) are defined as
bipartite graphs with the partition sets (Fq)n via
the system of homogeneous polynomial
equations with nonzero coefficients 1 and -1.</p>
        <p>Let K stand for an arbitrary commutative
ring. We can introduce graphs D(n, K) via a
simple change of vector space (Fq)n on free
modules Kn and the use of the same equations
(see [4]–[5]).</p>
        <p>To facilitate notation in the future results
on “connectivity invariants” of D(n, K), it will
be convenient for us to define
p-1,0 = l0,- 1 = p1,0 = l0,1 = 0, p0,0 = l00= -1, p’0,0 = l’0,0 = -1,
p1,1= p’1,1, l1,1= l’1,1 and to assume that our
equations are defined for i≥0.</p>
        <p>Graphs CD(k, K) with k≥6 were introduced
in [4]–[5] for as induced subgraphs of D(k, K)
with vertices u satisfying special equations
a2(u) = 0, a3(u) = 0,…, at(u) = 0, t = [(k+2)/4],
where u = (uα, u11, u12, u21, …, ur,r, u’r,r, ut t+1 ur,r+1,
ur+1,r, …), 2≤r≤t, α ϵ{(1, 0), (0,1)} is a vertex of
D(k, K) and ar = ar(u) = Σi=0,r(uii u’r-i, r-i-ui,i+1 ur-i,r-i-1)
for every r from the interval [2, t].</p>
        <p>We set a = a(u) = (a2, a3, …, at) and assume
that D(k, K) = CD(k, K) if k = 2, 3, 4, 5. As it was
proven in [5] graphs D(n, K) are edge
transitive. So their connected components are
isomorphic graphs. Let vCD(k, K) be a solution
set of a system of equations a(u) = (v2, v3, …,
vt) = v for certain v ϵKt-1. It is proven that each
vCD(k, K) is the disjoint union of some
connected components of graph D(n, K).</p>
        <p>It is easy to see that sets of vertices of
vCD(k, K), v ϵKt-1 form partitions of the vertex set
of D(n, K). We consider more general graphs
vCD_J(k, K) defined via subset J={i(1),i(2),…, i(s)},
1≤s≤t-1 of {2, 3,…, t} and tuple (vi(1), vi(2), …, vi(s))
formed by vertices uϵKn such that ai(1)(u) = vi(1),
ai(2)(u) = vi(2),…, ai(s)(u) = vi(s).</p>
        <p>We refer to vCDJ(k, K) as the J-component of
D(n, K). We assume that equations ai(1) = vi(1),
ai(2) = vi(2),…,ai(s) = vi(s) define J-component vCDJ(K)
of D(K). Noteworthy that in the case of a finite
commutative ring vCDJ(K) is a regular forest.</p>
        <p>
          The concept of quasiprojective variety over
commutative ring K can be introduced via
simple substitution of K instead of field F. It
leads to concepts of homogeneous algebraic
graphs over K, forest and tree approximations,
and families of graphs of large girth over K. It
was proven that for the case of commutative
ring K with unity of odd characteristic graphs
CD(n, K) are connected (see [
          <xref ref-type="bibr" rid="ref15">13</xref>
          ]). So graph
CD(n, q) = CD(n, Fq) for odd q is a connected
component of D(n, q).
        </p>
        <p>Theorem [5]. For each commutative
integrity ring K with at least 3 elements the
families of graphs D(n, K), n = 2,3, … are forest
approximations and families of graphs of large
girth.</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4. On the Description of Selected</title>
    </sec>
    <sec id="sec-5">
      <title>Bijective Multivariate Maps of</title>
    </sec>
    <sec id="sec-6">
      <title>Some Ciphers Based on</title>
    </sec>
    <sec id="sec-7">
      <title>Algebraic Graphs of Large Girth</title>
      <p>To achieve linear speed O(n) of the encryption
described in Section 1 functions gi, I = 1, 2,..., t
are selected in the form x1+c(i), c(i)ϵK and the
parameter t will be selected within the interval
[2, [(n+5)/2]) when I(K) = D(n, K) or
I(K) = CD(n, K).</p>
      <p>Additionally we take parameters b(1), b(2),
…,b(k), a(1), a(2),...,a(k), k = t/2 from K* to
construct c(i) recurrently via the following
rules c(1) = b(1), c(2) = a(1), c(i) = c(i-2)+b(i) if
i, i≥3 is odd n and c(i) = c(i-2) = a(i) if i, i≥4 is
even.</p>
      <p>We refer to the tuple (b(1), b(2),…, b(k), a(1),
a(2), …, a(k)) as active password and affine
transformation T as passive password.</p>
      <p>Our choice ensures that in the case of a
constant passive password, the single change
of a single character of an active password
leads to a change of the ciphertext produced
from the selected plaintext. We choose an
affine transformation T in the form of a linear
map given by the following rule</p>
      <p>T(x1) = x1+m(1)x2+…+m(n-1)xn-1 where m(i),
i = 1, 2,…, n-1 are elements of K*. T(xi) = xi for
i = 2, 3,…, n. So T-1 (x1) =
x1-m(1)x2-m(2)x3-…m(n-1)xn. T-1 (xi) = xi for i=2, 3,…, n.</p>
      <p>Recall that an explicit description of
linguistic graphs D(n, K) is given in the
previous section and the general encryption
algorithm is described in section 2. So, ciphers
T E(n, K) T-1 have a full description. In the case
of graph CD(n, K) we will use in fact the
induced subgraph hCD(n, K), h = (h2, h3,…, ht),
t = [(n+2)/4] of D(n, K) of all points and lines
u = (uα, u11, u12, u21, …, ur,r, u’r,r, ut t+1 ur,r+1, ur+1,r,…)
satisfying conditions ai(u) = hi.</p>
      <p>Linguistic graph hCD(n, K) can be thought as
bipartite graph with points (p) = (p01, p11, p12,
p21, …, pi i+1, pi+1,i , p+i+1,i+1 …), I = 2,3,…, t-1 and
lines [l] = [l10, l11, l12, l21, l22, …, li i+1, li+1,i , l+i+1,i +1 …],
I = 2,3,…, t-1 of length n-t.</p>
      <p>Their incidence is given by the following
system of equations
lii-pii=l10 pi-1,i;
li,i+1-pi,i+1 = lii p01;
li+1i-pi+1,I = l10p’ii.</p>
      <p>where p’22 is defined by the equation a2(p01,
p11, p12, p21, p22, p’22) = h2 and can be written as
p’22 = a2(p01, p11, p12, p21, p22, p’22)-h1+p’22 = b2(p01
, p11, p12, p21, p22), other parameters are
p’33 = a3(p01, p11, p12, p21, p22, p’22, p2,3, p3,2, p3,3
p’3,3)-h3+p’33 = b3(p01, p11, p12, p21, p22, p’22, p2,3, p 3,
2, p, 33), …, p’tt=a_t(p01, p11, p12, p21, p22, p'22, …,
p’t1,t-1, pt-1, t, pt, t-1, pt, t, p’t, t)-ht+p’t,t = bt(p01, p11, p12,
p21, p22, p’22, …, p’t-1,t-1, pt-1, t, pt, t-1, pt, t).</p>
      <p>The computation of symbolic expressions
p’i,i recurrently and their explicit substitution in
the system of equations give us the equations
of the linguistic graph.</p>
      <p>We assume that the corresponding cipher
has the space of plaintexts Kn-t. We use active
passwords (b(1), b(2),…, b(k), a(1), a(2), …,
a(k)) and linear transformations T of Kn-t
constructed via described above rules. We
assume that parameters h2, h3, …, ht will be
considered as part of the active password and
denote the cipher as TCE(n, K)T-1 = TnF(g1, g2,…,
gt)Jg(Tn)-1.</p>
      <p>We will use the presented in Section 2
obfuscation scheme for each cipher TE(n, K)T-1
and TCE(n, K)T-1 in the case K = Fq, q&gt;2. We use
special disturbance function g of Ig selected as
x→xe+b where bϵFq, eϵZd, d = q-1, and (e, d) = 1.
So, the notations DE(n, K) = TE(n, K)IgT-1 and
DC(n, K) = TCE(n, K)IgT-1 will be used for these
encryption schemes with the disturbance.</p>
      <p>Algorithms with the encryption map
TE(n, K)T-1 independently on the choice of
active and passive passwords have
multivariate encryption and decryption
functions of degree 3. In [31] the linearisation
attacks on these ciphers with the interception
of O(n3) pairs plaintext/ciphertext are
presented. They can be executed in polynomial
time O(n10).</p>
      <p>The ciphers DE(n, K) use cubical encryption
maps as well but the usage of disturbance map
D: x→xe leads to the increase of the degree r of
inverse maps. Parameter r can be evaluated
from below by the polynomial degree of
transformation D-1 acting on the elements of
multiplicative group K*. So, if K = Fq, q = 232
then the order of the polynomial decryption
map is at least 231. It justifies that direct
linearisation attacks are not feasible.</p>
      <p>
        Case TCE(n, K)T-1 is principally different. As
it follows from the results of [
        <xref ref-type="bibr" rid="ref20">32</xref>
        ] (ust
wroblevskska) the encryption function
corresponding to the selected active password
has a degree [(n+2)/4]+2. So the generation of
a standard form for the encryption function
can not be done in polynomial time.
      </p>
      <p>So the directed linearisation attacks are
theoretically impossible. The principal
difference between DC(n, K) and TCE(n, K)T-1 is
the fact that the usage of disturbance implies
the fact that the degree of the inverse function
is essentially higher than that for the
encryption function.</p>
      <p>We can use induced graphs vCDJ(k, K) of
graphs D(n, K) which are J-components of them
where J = J(n) = {i(1), i(2), …, i(t(n))} is the
subset of {2, 3,…, [(n+2)/4]} = M(n) and tuples
(vi(1), vi(2),…, vj(t(n)) are elements of Kt(n).</p>
      <p>Similarly to the case of CD(n, K) when
J(n) = M(n) we can find the equations for
vCDJ(n, K) via the elimination of special
symbolic coordinates of general vertex
&lt;x&gt; = &lt;x1, x1,1, x12, x2,1, x2,2, x2,2, x2,3, x32, x3,3, x’33,…,
xi,i, xi,i+1, xi+1,i+1, x’i+1,i+1, …&gt;, 3≤i≤[(n+2)/4-1]
(point or line) of D(n, K) given by the list x’i(k),i(k),
k = 2, 3,…, t(n). The variable x’i(k], i(k) can be
found from the equation ai(k)(&lt;x&gt;) = vi(k). The
substitution of symbolic expressions of x’i(k), i(k)
into the incidence conditions of D(n, K) gives us
the linguistic interpretation of vCDJ(n, K). This
bipartite graph has sets of points and lines
isomorphic to the affine space Kl where
l = n-t(n).</p>
      <p>We associate with the family of graphs
vCDJ(n, K) the sequence of encryption maps
obtained by the following rules. We assume
that symbolic vertex &lt;x&gt; = (x) from Kn-t(n) is a
point and the graph is given in its linguistic
interpretation. Let us rename the indexes of
points and lines of vCDJ(k, K) by 1, 2,…, n-k. So
x = (x1, x2,…, xn-t(n)).</p>
      <p>The nonlinear graph-based transformation
N is the following one.</p>
      <p>We select parameter k and form tuples
ka = (ᾳ(1), a(2),…, a(k)) and kb = (β(1), β(2),…,
β(k)) with the coordinates from the
multiplicative group K* of the commutative
ring K.</p>
      <p>Let ᾳN(u) be the operator of taking the
neighbor of u = (u1, u2,…, un-t) from the graph
vCDJ(k, K) with the color of u1+ᾳ. We consider
the sequence 1u = β(1)N(x), 2u = ᾳ(1)N(1u),
3u = β(2)N(2u), 4u = ᾳ(2)N(3u), …,2k-1u = β(k)N(2k-2u),
2ku = ᾳ(k)N(2k-1u) = (w1, w2,…,wn-t). We set N(x1,
x2,…, xn-t) = (w1, w2,…, wn-t).</p>
      <p>We also will use the obfuscation gN((x1, x2,…,
xn-t) = (g(x1), w2,…, wn-t), where g(x) is selected
bijective polynomial function on K of degree at
most t(n)+2.</p>
      <p>Let us investigate the multivariate nature of
the map N. We may assume that the
coordinates of a general point (x) are variables
x1, x2,…, xn-t. We consider the multivariate ring K[
x1, x2,…, xn-t ] and the graph vCDJ(K[x1, x2,…, xn-t ])
with points and lines of kind &lt;g1, g2,…, gn-t&gt;, giϵ
K[x1, x2,…, xn-t].</p>
      <p>We already select parameter k and form
tuples ka = (ᾳ(1), a(2),…, a(k)) and kb = (β(1),
β(2),…, β(k)) with the coordinates from the
multiplicative group K* of the commutative
ring K.</p>
      <p>We consider the walk in the graph with the
starting point u0 = (x), u1, u2,…., u2k where colors of
u1 = x1+ β(1), u2 = x1+ ᾳ(1), ui = ui-2+β(i), I = 3, 5,…,
2k-1, ui = ui-2+ᾳ(i)), I = 4, 6,…, 2k.</p>
      <p>Let u2k = (x1+ᾳ(1)+ᾳ(2)+…+ᾳ(k)), F2(x1, x2,…,
xn-t), F3(x1, x2,…, xn-t), …, Fn-t(x1, x2,…, xn-t). So we
may treat N as the multivariate
transformation of Kn-t to itself given by the rule
x1→x1+ᾳ(1)+ᾳ(2)+…+ ᾳ(k), x2→ F2(x1, x2,…, xn-t),
x3→F3(x1, x2,…, xn-t),…, xn-t→ Fn-t(x1, x2,…, xn-t).</p>
      <p>
        As it follows from [
        <xref ref-type="bibr" rid="ref20">32</xref>
        ] the maximal degree
of Fi is t(n)+2.
      </p>
      <p>As in the cases of ciphers based on graphs
D(n, K) and CD(n, K) the encryption map will be
conjugated with the special linear
transformation T given by the following rule.
T(x1) = x1+m(1)x2+…+m(n-t-1)xn-t-1 where m(i),
i = 1,2,…, n-1 are elements of K*, .T(xi) = xi for
i = 2,3,…, n.</p>
      <p>We denoted the described below cipher as
kED1 (n-t, K). The map TNT-1 has active
password (ᾳ(1), a(2),…, a(k), β(1), β(2),…, β(k)),
vi(1), vi(2),…, vj(t(n)).</p>
      <p>Parameters m(1), m(2)…, m(n-t-1) together
with J = {i(1), i(2),…, i((t(n)) form the passive
password. We assume that constants k and
t(n) = t can be agreed by correspondents via an
open channel. Under the described above
assumptions cipher has a linear speed v(n) of
size O(n). The slope of the v(n) is defined by the
value of the weight parameter
w = i(1)+i(2)+…+i(m).</p>
      <p>The following important property holds.</p>
      <p>The change of the active password leads to the
change of the ciphertext for the selected
plaintext. It means that a brute force attack on
the cipher requires p2kqt elementary
operations where p is the order of K* and q is
the size of the commutative ring K.</p>
    </sec>
    <sec id="sec-8">
      <title>5. The Implemented Case of Non</title>
    </sec>
    <sec id="sec-9">
      <title>Bijective Multivariate Graph</title>
    </sec>
    <sec id="sec-10">
      <title>Based Maps</title>
      <p>In this section, we concentrate on the case of
commutative ring K = Zq, q = 2l, l≥8.</p>
      <p>We modify the ciphers kEDt(m, K), m = n-t
with the active password (ᾳ(1), a(2),…, a(k),
β(1), β(2),…, β(k)), vi(1), vi(2),…, vj(d(n)) and the
passive password defined by nonzero
parameters m(1), m(2)…, m(n-d(n)-1) together
with the set J = {i(1), i(2),…, i((d(n))}
accordingly the special case of the scheme O5
given in the Section 2.</p>
      <p>Recall that the description of the generic
connectivity invariants of D(n, K) is given via
expressions ar = ar(u) = Σi=0,r(uii u’r-i, r-i-ui,i+1 ur-i,r-i-1)
considered for every r from the interval [2, k]
where k = [(n+2)/4].</p>
      <p>It means that we can take arbitrary element
F from K[y2, y3,…., yk], consider a symbolic
vertex (x) = &lt;x1, x1,1, x12, x2,1, x2,2, x2,2, x2,3, x32, x3,3,
x’33,…, xi,i, xi,i+1, xi+1,i+1, x’i+1,i+1, …&gt; and gets the
connectivity invariant F(a2(x), a3(x),…, ak(x)).</p>
      <p>Recall that the induced graph vCDJ(n, K) was
obtained via the restriction of the incidence
relation of the bipartite graph D(n, K) onto the
solutions set of equations ai(k)(&lt;x&gt;) = vi(k). We
can get recursively the variables x’i(s),i(s), s = 1,
2,…, d(n) from these equations as quadratic
expressions bi in variables of {x1, x1,1, x12, x2,1,
x2,2, x2,2, x2,3, x32, x3,3, x’33,…, xi,i, xi,i+1, xi+1,i+1, x’i+1,i+1,
…}-{x’(1),i(1), xi(2),i(2),…, xd(n),d(n)}.</p>
      <p>It means that generic connectivity
invariants of the graph vCDJ(n, K) can be
obtained via consideration of J* = {2, 3,…, m}-J
as the specialization Aj of aj, jϵJ* via the
substitutions x’ii = bi, iϵJ.</p>
      <p>Let J* = {j(1), j(2),…, j(s)}, s = m-d(n). The
general connectivity invariant is F(Aj(1), Aj(2),…,
Aj(s)) where F is a polynomial function in s
variables z1, z2,…, zs. Notice that F can be an
expression of any even degree in variables x1,
x1,1, x12, x2,1, x2,2, x2,2, x2,3, x32, x3,3, x’33,…, xi,i, xi,i+1,
xi+1,i+1, x’i+1,i+1, ….</p>
      <p>We use forms F(z1, z2,…, zs) of connectivity
invariants with density O(1) and degree O(n).
In this case, the connectivity invariant can be
computed in time O(n).</p>
      <sec id="sec-10-1">
        <title>Algorithm 1</title>
        <p>Assume that one of the correspondents
(Alice) creates the map. She selects the
parameters n, m, the commutative ring K with
at least 2 regular elements, the set J = {i(1),
i(2),…, i((d(n))} and the tuple of parameters
(vi(1), vi(2), …, vi(d(n))). These parameters allow us
to write down the linguistic equations of
graphs vCDJ(n, K).</p>
        <p>Alice uses the scheme O5 with the following
changes of the symbolic path in the graph
vCDJ(n, K[x1, x1,1, x1,2, x2,1, x22, ….] to make a
difference with the case of cipher kEDt(m, K),
m = n-t.</p>
        <p>She takes two expressions F1, F2 = K[z1, z2, …,
zs], s = m-d(m) of density O(1) and linear degree
O(n). Alice works with J* = {j(1), j(2),…, j(s)},
she forms the connectivity invariants F1(Aj(1),
Aj(2),…, Aj(s)) = G1(x) and F2(Aj(1), Aj(2),…, Aj(s)) = G2(x).
Similarly to the case of the cipher kEDt(m, K),
m = n-t. Alice takes tuples of odd residues b(1),
b(2), …,b(k), a(1), a(2),...,a(k), k = t/2 from K* to
construct c(i) recurrently via the following
rules c(1) = b(1), c(2) = a(1), c(i) = c(i-2)+b(i) if
i, i≥3 is odd and c(i) = c(i-2)=a(i) if i, i≥4 is even.
She constructs gi, I = 1, 2,…, t of the scheme O5
as gi = xi+G1(x)+ci for odd i, gi = x1+G2(x)+ci for
even I and takes linear g(x) of kind ax+b, where
aϵK*’.</p>
      </sec>
      <sec id="sec-10-2">
        <title>Algorithm 2</title>
        <p>Correspondents select the commutative
ring K = Zq, q = 2l, l≥8. They modify the previous
algorithm via a selection of g in terms of O5 in
the form x3+b for some b from K.</p>
        <p>Noteworthy that x3 = d has a unique solution
if dϵK* because 3 is mutually prime with φ(2l)
where φ is the Euler function.</p>
        <p>For the encryption and decryption Alice
uses the standard procedures of O5.</p>
        <p>Let N = N(b(1), b(2), …, b(k), a(1), a(2), ...,
a(k), J, vi(1), vi(2), …, vi(d(n)). F1, F2) stands for the
described above encryption function. We use
linear transformation T1 and T2 of kind
Ti(x1) = x1+ im(2)x2+im(3)x3+…+im(n)xn, I = 1, 2
such that im(2)+im(3)+…+iim(n) is an even
parameter to form the encryption map
3E(n, Zq) = T1 N T2.</p>
        <p>We assume that tuples (b(1), b(2), …, b(k),
a(1), a(2),..., a(k)) and vi(1), vi(2), …, vi(d(n)) form
active password of 3E(n, Zq).
2k together with the tuple of elements from
Z256 of length 128 to form both passwords.</p>
      </sec>
      <sec id="sec-10-3">
        <title>Experimental Measurements</title>
        <p>To evaluate the performance of our
algorithm, we use different sizes of files. We
denote by t (k, L) the time (in milliseconds)
that is needed to encrypt or decrypt (because
of symmetry). The file size is in kilobytes for
passwords of length L. Then the value of t(k, L)
can be represented by the following matrices
(Fig. 1 and Fig. 2).
Forms Fi, I = 1, 2 together with parameters n, q,
im(2), im(3),…,im(n) form a passive part of the
password.</p>
        <p>Alice selects passive and active passwords
and delivers them to his correspondent Bob via
a secure channel.</p>
      </sec>
      <sec id="sec-10-4">
        <title>Remark 1</title>
        <p>One of the option to use connectivity
invariants Fi., I = 1, 2 is to use of the forms
Fi(z1, z2,…, zs) of kind (zk(1))t(1) (zk(2))t(2)…(zk(r))t(r)
for which t(1)+k(2)+…+k(r), r≥1 has linear size
ᾳn, ᾳ&gt;0 and r=O(1).</p>
      </sec>
      <sec id="sec-10-5">
        <title>Remark 2</title>
        <p>Selection of forms Fi of linear degree
ensures that the multivariate standard form of
the encryption map has a degree at least ᾳn, ᾳ&gt;0.
The use of cubical map g guarantees that the
degree of decryption is higher than the degree
of encryption transformation.</p>
        <p>Similarly to the algorithm described in the
previous section described above assumptions
ensure that the cipher has a linear speed v(n)
of size O(n). The slope of the v(n) is defined by
the value of weight parameter
w = i(1)+i(2)+…+i(d(n)) and selection of forms
Fi, I = 1, 2.</p>
        <p>As in the case of kEDt(m, K) the change of the
active password leads to the change of the
ciphertext for the selected plaintext. It means
that a brute force attack on the cipher requires
p2kqd(n) elementary operations where p = 2l-1
and q = 2l.</p>
      </sec>
      <sec id="sec-10-6">
        <title>Implementation</title>
        <p>We implement the cipher 3E(n, Zq) with
q = 256. So the space of plaintexts is an affine
space over Z128 and d(n) = 128 with weights
w = 213 and 216. In both cases, the degree of
encryption map will be at least 256. So the
linearisation attacks by adversaries are
unfeasible.</p>
        <p>
          CRYPTALL 7 software is written in C++
programming language and therefore it is
portable and runs on many platforms such as
Unix/Windows. The context diagram is
depicted in Fig. 1. The friendly interface allows
users to enter active and passive passwords of
selected length. The program is supported by a
key exchange protocol based on Eulerian
transformations of Z*256 [
          <xref ref-type="bibr" rid="ref24">36</xref>
          ]. This is one of the
protocols of Noncommutative cryptography
([
          <xref ref-type="bibr" rid="ref25 ref26 ref27 ref28">37–51</xref>
          ] for the description of the area and
[52–57] for the cryptanalytical studies).
        </p>
        <p>The protocol allows the elaboration of the
tuple of nonzero field elements of Z128 of length
In both cases, algorithms have nice mixing
properties. change of a single character leads
to the change of at least 98% of the characters
in the ciphertext.</p>
      </sec>
    </sec>
    <sec id="sec-11">
      <title>6. Conclusion</title>
      <p>We implement Algorithm 2 in the
practically important case of K = Zq, q = 2l. In
this case, the space of plaintexts is isomorphic
to (Zp)n-s, p = 2l-1.</p>
      <p>We use loaded multiplication tables for K*.
These tables increase the speed of
computations and make immaterial the
computational difference between cases of
fields Fq and arithmetical rings Zq. Suggested
ciphers have good mixing properties, the
change of a single character of the active
password leads to the change of 98% of
characters of ciphertext produced from the
selected plaintext.</p>
      <p>We hope that new flexible algorithms with
resistance to linearization attacks and linear
speed of encryption will be successfully used
for the protection of Information systems and
Big Data Processing.</p>
      <p>The first result of the paper (Algorithm 1) is the
explicit construction of the family of
multivariate maps of affine maps Fn of linear
degree s(n) = cn, c&gt;0 based on the graphs
D(n, K) with the trapdoor accelerator. Fn acts
on the affine space Kn defined over an arbitrary
commutative ring K with at least 3 elements.
The execution speed of the algorithm with
encryption function is O(n). It depends on
active password A = (a(1), a(2),…, a(k), b(1),
b(2),…, b(k), v1, v2, ..., vs) from (K*)2kKs where
parameters k and s can be selected by users.
Let p = |K*|, q = |K|.</p>
      <p>Different active passwords produce distinct
ciphertexts from the same plaintext. It means
that the adversary’s direct attack costs p2kqs
attempts. Correspondents can govern the
security via a choice of parameters k and s.</p>
      <p>The map Fn is multivariate. Its degree d
depends from the choice of degrees d(1) and
d(2) of F1 and F2 from K[z1, z2, …, zl],
l = [(n+2)/4]-s and parameter s. We can justify
that d = 4d(1)+2d(2)+s is a degree of
encryption and decryption maps. It means that
users can select F1 and F2 of prescribed degrees
and control the parameter d. Constructed
trapdoor accelerator consists of active
password A, maps F1, F2, g(x)ϵK[x], g(x) = ax+b,
aϵK* and two affine transformations Ti, I = 1, 2.</p>
      <p>If d is sufficiently large then the [1]
computation of the standard form of Fn is an
unfeasible task. So this cipher is resistant to
linearisation attacks by adversaries.</p>
      <p>The important feature of this algorithm is
the linear execution speed of size O(n). So this [2]
method of encryption can be used for the
processing of Big Data.</p>
      <p>Another cipher described as Algorithm 2 is
an obfuscation of Algorithm 1 obtained via the
change of linear g(x) of scheme O5 for g(x) of
kind xt+b such that (t, p) = 1, t≤4d(1)+2d(2)+s. [3]
This modification can be implemented in the
case of commutative ring K with at least 3
regular elements. The active password,
transformations F1, F2, and T2 are unchanged,
but T1 has to satisfy the condition T(x1)ϵK*. The [4]
space of plaintexts of the new algorithm is
(K*)n-s but the space of ciphertexts is Kn-s as in
the case of Algorithm 1. [5]</p>
      <p>Algorithms 1 and 2 have the same degree of
encryption map, but the nonlinear nature of
g(x) increases the degree of the decryption
map.</p>
    </sec>
    <sec id="sec-12">
      <title>7. Acknowledgments</title>
      <p>This research is partially supported by the
Fellowship of the British Academy for RaR
2022.
[54] V. Romankov, Two General Schemes of
Algebraic Cryptography, Groups
Complex. Cryptol. 10(2) (2018) 83–98.
doi: 10.1515/gcc-2018-0009.
[55] V. Roman’kov, An Improved Version of
the AAG Cryptographic Protocol, Groups
Complex. Cryptol. 11(1) (2019). doi:
10.1515/gcc-2019-2003.
[56] B. Tsaban, Polynomial Time Solutions of
Computational Problems in
Noncommutative Algebraic Cryptography, J. Cryptol.
28(3) (2015) 601–622. doi:
10.1007/s00145-013-9170-9.
[57] A. Ben-Zvi, A. Kalka, B. Tsaban,
Cryptanalysis via Algebraic Spans,
Cryptology—CRYPTO (2018) 1–20.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          , CRYPTIM:
          <article-title>Graphs as tools for symmetric encryption, Applied Algebra, Algebraic Algorithms</article-title>
          and
          <string-name>
            <surname>Error-Correcting Codes</surname>
          </string-name>
          (
          <year>2001</year>
          )
          <fpage>278</fpage>
          -
          <lpage>286</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          <source>doi:10</source>
          .1007/3-540-45624-4_
          <fpage>29</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          <string-name>
            <given-names>F.</given-names>
            <surname>Lazebnik</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          (
          <year>1993</year>
          ).
          <article-title>Some Algebraic Constractions of Dense Graphs of Large Girth and of Large Size</article-title>
          ,
          <source>DIMACS Series Discrete Math. Theoretical Comput. Sci</source>
          .
          <volume>10</volume>
          (
          <year>1993</year>
          )
          <fpage>75</fpage>
          -
          <lpage>93</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          <source>doi:10</source>
          .1090/dimacs/010/07.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          <string-name>
            <given-names>F.</given-names>
            <surname>Lazebnik</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Woldar</surname>
          </string-name>
          ,
          <article-title>A New Series of Dense Graphs of High Girth</article-title>
          ,
          <source>Bull. Amer. Math. Soc</source>
          .
          <volume>32</volume>
          (
          <issue>1</issue>
          ) (
          <year>1995</year>
          )
          <fpage>73</fpage>
          -
          <lpage>79</lpage>
          . doi:
          <volume>10</volume>
          .1090/S0273- 0979-1995-00569-0.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          ,
          <source>Coordinatisation of Trees and their Quotients</source>
          ,
          <source>Voronoj's Impact on Modern Science</source>
          <volume>2</volume>
          (
          <year>1998</year>
          )
          <fpage>125</fpage>
          -
          <lpage>152</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          ,
          <source>Linguistic Dynamical Systems, Graphs of Large Girth and Cryptography, J. Math. Sci</source>
          .
          <volume>140</volume>
          (
          <issue>3</issue>
          ) (
          <year>2007</year>
          )
          <fpage>412</fpage>
          -
          <lpage>434</lpage>
          . doi:
          <volume>10</volume>
          .1007/s10958-007- 0453-2.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Woldar</surname>
          </string-name>
          ,
          <string-name>
            <surname>A</surname>
          </string-name>
          [18]
          <string-name>
            <given-names>P.</given-names>
            <surname>Priyadarsini</surname>
          </string-name>
          ,
          <string-name>
            <surname>A</surname>
          </string-name>
          <article-title>Survey on some Characterisation of the Components of Applications of Graph Theory in the Graphs D(k,q</article-title>
          ),
          <source>Discret. Math</source>
          .
          <volume>157</volume>
          (
          <issue>1</issue>
          -
          <string-name>
            <surname>Cryptography</surname>
          </string-name>
          , J.
          <source>Discret. Math. Sci. 3)</source>
          (
          <year>1996</year>
          )
          <fpage>271</fpage>
          -
          <lpage>283</lpage>
          . doi:
          <volume>10</volume>
          .1016/S0012- Cryptogr. doi:
          <volume>10</volume>
          .1080/09720529.
          <year>2013</year>
          .
          <volume>365X</volume>
          (
          <issue>96</issue>
          )
          <fpage>83019</fpage>
          -
          <lpage>6</lpage>
          .
          <fpage>878819</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          , Maximality of Affine [19]
          <string-name>
            <given-names>W.</given-names>
            <surname>Etaiwi</surname>
          </string-name>
          , Encryption Algorithm Using Group,
          <source>Hidden Graph Cryptosystem and Graph Theory, J. Sci. Res. Rep</source>
          .
          <volume>3</volume>
          (
          <issue>19</issue>
          )
          <string-name>
            <surname>Graph's Stream</surname>
            <given-names>Ciphers</given-names>
          </string-name>
          , J.
          <string-name>
            <surname>Algebra</surname>
          </string-name>
          (
          <year>2014</year>
          )
          <fpage>2519</fpage>
          -
          <lpage>2527</lpage>
          . doi:
          <volume>10</volume>
          .9734/jsrr/ Discret. Math.
          <volume>1</volume>
          (
          <year>2005</year>
          )
          <fpage>51</fpage>
          -
          <lpage>65</lpage>
          .
          <year>2014</year>
          /11804.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>G.</given-names>
            <surname>Margulis</surname>
          </string-name>
          , Explicit Group-Theoretical [20]
          <string-name>
            <given-names>S.</given-names>
            <surname>Gideon</surname>
          </string-name>
          ,
          <article-title>Denial Cryptography based on Constructions of Combinatorial Schemes Graph Theory</article-title>
          . URL: http://www.paten and
          <article-title>Their Application to Design of tstorm</article-title>
          .us/patents/6823068.html Expanders and Concentrators, Probl. Inf. [21]
          <string-name>
            <given-names>L.</given-names>
            <surname>Mittenthal</surname>
          </string-name>
          , Sequencings and
          <string-name>
            <given-names>Directed</given-names>
            <surname>Transm</surname>
          </string-name>
          .
          <volume>24</volume>
          (
          <issue>1</issue>
          ) (
          <year>1988</year>
          )
          <fpage>51</fpage>
          -
          <lpage>60</lpage>
          . Graphs with Applications to Cryptog-
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>A.</given-names>
            <surname>Lubotsky</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Philips</surname>
          </string-name>
          , P. Sarnak, raphy, Sequ. Subseq. Consequences Ramanujan Graphs,
          <string-name>
            <given-names>J.</given-names>
            <surname>Comb. Theory</surname>
          </string-name>
          (
          <year>2007</year>
          )
          <fpage>70</fpage>
          -
          <lpage>81</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>540</fpage>
          -
          <issue>115</issue>
          (
          <issue>2</issue>
          ) (
          <year>1989</year>
          )
          <fpage>62</fpage>
          -
          <lpage>89</lpage>
          . doi: 77404-
          <fpage>4</fpage>
          _
          <fpage>7</fpage>
          .
          <fpage>10</fpage>
          .1007/BF02126799. [22]
          <string-name>
            <given-names>M.</given-names>
            <surname>Naor</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Shamir</surname>
          </string-name>
          , Visual Cryptography.
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>F.</given-names>
            <surname>Buekenhout</surname>
          </string-name>
          , Handbook in Incidence In Advances in Cryptology-EUROGeometry, North Holland, Amsterdam CRYPT'
          <volume>94</volume>
          (
          <year>1994</year>
          )
          <fpage>1</fpage>
          -
          <lpage>12</lpage>
          . doi: (
          <year>1995</year>
          ).
          <volume>10</volume>
          .1007/BFb0053419.
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          ,
          <article-title>Affine system of roots</article-title>
          and [23]
          <string-name>
            <given-names>S.</given-names>
            <surname>Lu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Manchala</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Ostrovsky</surname>
          </string-name>
          , Visual Tits geometries,
          <source>Voprosy Teorii Grupp i Cryptography on Graphs, COCOON Gomologicheskoy Algebry</source>
          ,
          <string-name>
            <surname>Yaroslavl</surname>
          </string-name>
          (
          <year>2008</year>
          )
          <fpage>225</fpage>
          -
          <lpage>234</lpage>
          . (
          <year>1989</year>
          )
          <fpage>155</fpage>
          -
          <lpage>157</lpage>
          . [24]
          <string-name>
            <given-names>W.</given-names>
            <surname>Stallings</surname>
          </string-name>
          , Cryptography and Network
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [12]
          <string-name>
            <surname>D. MacKay</surname>
          </string-name>
          , M. Postol, Weakness of Security Principles and Practices, Margulis and
          <string-name>
            <surname>Ramanujan-Margulis Prentice Hall India</surname>
          </string-name>
          (
          <year>2006</year>
          ).
          <article-title>Low Dencity Parity Check Codes</article-title>
          , [25]
          <string-name>
            <given-names>D.</given-names>
            <surname>Song</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Zuckerman</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Tygar</surname>
          </string-name>
          ,
          <source>Electronic Notes Theor. Comput. Sci. 74 Expander Graphs for Digital Stream</source>
          (
          <year>2003</year>
          )
          <fpage>97</fpage>
          -
          <lpage>104</lpage>
          . doi:
          <volume>10</volume>
          .1016/S1571- Authentication
          <source>and Robust Overlay</source>
          <volume>0661</volume>
          (
          <issue>04</issue>
          )
          <fpage>80768</fpage>
          -
          <lpage>0</lpage>
          . Networks, IEEE Symposium on Security
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          ,
          <article-title>Algebraic Groups and</article-title>
          and
          <string-name>
            <surname>Privacy</surname>
          </string-name>
          (
          <year>2002</year>
          ). doi:
          <volume>10</volume>
          .1109/ Small World Graphs of High Girth, SECPRI.
          <year>2002</year>
          .
          <volume>1004376</volume>
          .
          <string-name>
            <surname>Albanian</surname>
            <given-names>J</given-names>
          </string-name>
          . Math.
          <volume>3</volume>
          (
          <issue>1</issue>
          ) (
          <year>2009</year>
          )
          <fpage>25</fpage>
          -
          <lpage>33</lpage>
          . doi: [26]
          <string-name>
            <given-names>M</given-names>
            <surname>Yamuna</surname>
          </string-name>
          , et al.,
          <source>Encryption Using 10</source>
          .51286/albjm/1236885681. Graph Theory and
          <string-name>
            <given-names>Linear</given-names>
            <surname>Algebra</surname>
          </string-name>
          , Int. J.
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          ,
          <source>On Extremal Algebraic Comput. Appl</source>
          .
          <volume>5</volume>
          (
          <issue>2</issue>
          ) (
          <year>2012</year>
          )
          <fpage>102</fpage>
          -
          <lpage>107</lpage>
          . Graphs and Multivariate Cryptosystems, [27]
          <string-name>
            <given-names>A</given-names>
            <surname>Paszkiewicz</surname>
          </string-name>
          et al.,
          <source>Proposals of Graph Cryptol. ePrint Arch</source>
          . reprint (
          <year>2022</year>
          ).
          <source>Based Ciphers Theory and</source>
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          , Graphs in Terms of Implementations, Research Gate, (
          <year>2001</year>
          ). Algebraic Geometry, Symbolic Compu- [28]
          <string-name>
            <given-names>B.</given-names>
            <surname>Cusack</surname>
          </string-name>
          , E. Chapman,
          <article-title>Using Graphic tations and Secure Communications in Methods to Challenge Cryptographic Post-Quantum World, Editorial House of Performance, 14th Australian Inf</article-title>
          . Secur. University of Maria Curie,
          <string-name>
            <surname>Lublin</surname>
          </string-name>
          (
          <year>2022</year>
          ). Manag. Conf., (
          <year>2016</year>
          )
          <fpage>30</fpage>
          -
          <lpage>36</lpage>
          . doi:
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [16]
          <string-name>
            <given-names>N.</given-names>
            <surname>Geetha</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Ragavi</surname>
          </string-name>
          ,
          <source>Graph Theory 10</source>
          .4225/75/58a6991e71023. Matrix Approach in Cryptography and [29]
          <string-name>
            <given-names>E.</given-names>
            <surname>Chapman</surname>
          </string-name>
          ,
          <article-title>Using Graphic Based Network Security, Algorithms</article-title>
          , Comput.
          <source>Systems to Improve Cryptographic Math. Conf. (ACM)</source>
          , (
          <year>2022</year>
          ). doi: Algorithms.
          <source>Ph.D. Thesis, Auckland</source>
          <volume>10</volume>
          .1109/acm57404.
          <year>2022</year>
          .00025. University of Technology (
          <year>2016</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [17]
          <string-name>
            <given-names>A.</given-names>
            <surname>Costache</surname>
          </string-name>
          , et al., Ramanujan Graphs in [30]
          <string-name>
            <given-names>E.</given-names>
            <surname>Kinani</surname>
          </string-name>
          ,
          <source>Fast Mapping Method Based Cryptography. Research Directions in on Matrix Approach For Elliptic Curve Number Theory</source>
          ,
          <article-title>Association for Women Cryptography</article-title>
          .
          <source>Int. J. Inf. Netw. Secur. 1 in Mathematics Series</source>
          <volume>19</volume>
          (
          <year>2019</year>
          )
          <fpage>1</fpage>
          -
          <lpage>40</lpage>
          . (
          <year>2012</year>
          )
          <fpage>54</fpage>
          -
          <lpage>59</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>030</fpage>
          -19478-
          <issue>9</issue>
          _
          <fpage>1</fpage>
          . [31]
          <string-name>
            <given-names>M.</given-names>
            <surname>Klisowski</surname>
          </string-name>
          , Zwiększenie Bezpieczeń- stwa
          <source>Kryptograficznych Algorytmów Wielu Zmiennych Bazujących</source>
          <volume>na</volume>
          [41]
          <string-name>
            <given-names>A.</given-names>
            <surname>Myasnikov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Shpilrain</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Ushakov</surname>
          </string-name>
          , Algebraicznej Teorii Grafów, Rozprawa Group-based
          <string-name>
            <surname>Cryptography</surname>
          </string-name>
          , Berlin: Doktorska, Politechnika Częstochowska, Birkhäuser Verlag (
          <year>2008</year>
          ).
          <source>Częstochowa</source>
          (
          <year>2014</year>
          ). [42]
          <string-name>
            <given-names>Z.</given-names>
            <surname>Cao</surname>
          </string-name>
          , New Directions of Modern
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          [32]
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Wroblewska</surname>
          </string-name>
          , On the Cryptography, Boca Raton: CRC Press, Key Exchange and
          <string-name>
            <given-names>Multivariate</given-names>
            <surname>Taylor</surname>
          </string-name>
          &amp; Francis Group (
          <year>2012</year>
          ).
          <source>Encryption with Nonlinear Polynomial</source>
          [43]
          <string-name>
            <given-names>B.</given-names>
            <surname>Fine</surname>
          </string-name>
          , et al.
          <source>Aspects of Non Abelian Maps of Stable Degree</source>
          , Ann. UMCS, Inf.
          <source>Group Based Cryptography: A Survey</source>
          <volume>13</volume>
          (
          <issue>1</issue>
          ) (
          <year>2013</year>
          )
          <fpage>63</fpage>
          -
          <lpage>80</lpage>
          . doi:
          <volume>10</volume>
          .2478/v100 and Open Problems, arXiv.
          <fpage>65</fpage>
          -012-0047-6. [44]
          <string-name>
            <given-names>A.</given-names>
            <surname>Myasnikov</surname>
          </string-name>
          ;
          <string-name>
            <given-names>V.</given-names>
            <surname>Shpilrain</surname>
          </string-name>
          ,
          <string-name>
            <surname>A</surname>
          </string-name>
          . Ushakov,
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          [33]
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          ,
          <article-title>Graphs with Special Arcs Non-commutative Cryptography and</article-title>
          and
          <string-name>
            <surname>Cryptography</surname>
          </string-name>
          , Acta Applicandae Complexity of Group-theoretic Problems, Math.
          <volume>74</volume>
          (
          <year>2002</year>
          )
          <fpage>117</fpage>
          -
          <lpage>153</lpage>
          . doi:
          <volume>10</volume>
          .1023/ Math. Surveys Monographs
          <volume>177</volume>
          (
          <year>2011</year>
          ). a:
          <volume>1020686216463</volume>
          . doi:
          <volume>10</volume>
          .1090/surv/177.
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          [34]
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          , Random Walks on graphs [45]
          <string-name>
            <given-names>I.</given-names>
            <surname>Anshel</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Anshel</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Goldfeld</surname>
          </string-name>
          ,
          <article-title>An and Cryptography, Extended Abstracts, Algebraic Method for Public-Key AMS Meeting (</article-title>
          <year>1998</year>
          ).
          <source>Cryptography, Math. Res. Lett</source>
          .
          <volume>6</volume>
          (
          <issue>3</issue>
          -4)
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          [35]
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          , et al.,
          <article-title>On the (</article-title>
          <year>1999</year>
          )
          <fpage>287</fpage>
          -
          <lpage>291</lpage>
          . doi:
          <volume>10</volume>
          .4310/mrl.
          <source>1999. Constructions of New Symmetric v6.n3.a3. Ciphers Based on Non-Bijective Maps of</source>
          [46]
          <string-name>
            <given-names>S.</given-names>
            <surname>Blackburn</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Galbraith</surname>
          </string-name>
          , Cryptanalysis Prescribed Degree,
          <source>Secur. Commun. of Two Cryptosystems Based on Group Netw</source>
          . (
          <year>2019</year>
          ). doi:
          <volume>10</volume>
          .1155/2019/ Actions. Cryptology-ASIACRYPT'
          <volume>99</volume>
          <fpage>2137561</fpage>
          . (
          <year>1999</year>
          )
          <fpage>52</fpage>
          -
          <lpage>61</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          [36]
          <string-name>
            <given-names>V.</given-names>
            <surname>Ustimenko</surname>
          </string-name>
          , On Eulerian Semigroups [47]
          <string-name>
            <given-names>K.</given-names>
            <surname>Ko</surname>
          </string-name>
          , et al.,
          <article-title>New Public-Key of Multivariate Transformations and Cryptosystem Using Braid Groups</article-title>
          .
          <source>Their Cryptographic Applications</source>
          ,
          <string-name>
            <surname>Cryptology-CRYPTO</surname>
          </string-name>
          (
          <year>2000</year>
          )
          <fpage>166</fpage>
          -
          <lpage>183</lpage>
          . European J. Math. (
          <year>2023</year>
          ). doi: [48]
          <string-name>
            <given-names>G.</given-names>
            <surname>Maze</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Monico</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Rosenthal</surname>
          </string-name>
          ,
          <source>Public 10.1007/s40879-023-00685-2. Key Cryptography Based on Semigroup</source>
        </mixed-citation>
      </ref>
      <ref id="ref25">
        <mixed-citation>
          [37]
          <string-name>
            <given-names>D.</given-names>
            <surname>Moldovyan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Moldovyan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A New</given-names>
            <surname>Actions</surname>
          </string-name>
          , Adv. Math. Commun.
          <volume>1</volume>
          (
          <issue>4</issue>
          )
          <article-title>Hard Problem over Non-commutative (</article-title>
          <year>2007</year>
          )
          <fpage>489</fpage>
          -
          <lpage>507</lpage>
          . doi:
          <volume>10</volume>
          .3934/amc.
          <source>Finite Groups for Cryptographic</source>
          <year>2007</year>
          .
          <volume>1</volume>
          .489.
          <string-name>
            <surname>Protocols</surname>
            , Int. Conf. Math. Method. [49]
            <given-names>P.</given-names>
          </string-name>
          <string-name>
            <surname>Kropholler</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          <string-name>
            <surname>Pride</surname>
          </string-name>
          , et al.,
          <source>Properties Model. Archit. Comput. Netw. Secur. of Certain Semigroups and Their</source>
          (
          <year>2010</year>
          )
          <fpage>183</fpage>
          -
          <lpage>194</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3
          <article-title>- Potential as Platforms for Crypto642-14706-</article-title>
          <issue>7</issue>
          _
          <fpage>14</fpage>
          . systems,
          <source>Semigroup Forum</source>
          <volume>81</volume>
          (
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref26">
        <mixed-citation>
          [38]
          <string-name>
            <given-names>L.</given-names>
            <surname>Sakalauskas</surname>
          </string-name>
          , P. Tvarijonas,
          <volume>172</volume>
          -
          <fpage>186</fpage>
          . doi:
          <volume>10</volume>
          .1007/s00233-010
          <string-name>
            <surname>- A. Raulynaitis</surname>
          </string-name>
          ,
          <source>Key Agreement Protocol 9248-8</source>
          . (KAP)
          <article-title>Using Conjugacy</article-title>
          and Discrete [50]
          <string-name>
            <given-names>J.</given-names>
            <surname>Lopez-Ramos</surname>
          </string-name>
          , et al.,
          <source>Group Key Logarithm Problem in Group Management Based on Semigroup Representation Level, INFORMATICA Actions, J. Algebra Appl</source>
          .
          <volume>16</volume>
          (
          <issue>08</issue>
          ) (
          <year>2017</year>
          ).
          <volume>18</volume>
          (
          <issue>1</issue>
          ) (
          <year>2007</year>
          )
          <fpage>115</fpage>
          -
          <lpage>124</lpage>
          . doi:
          <volume>10</volume>
          .15388/ doi: 10.1142/s0219498817501481. informatica.
          <year>2007</year>
          .
          <volume>167</volume>
          . [51]
          <string-name>
            <given-names>G.</given-names>
            <surname>Kumar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Saini</surname>
          </string-name>
          , Novel Noncommu-
        </mixed-citation>
      </ref>
      <ref id="ref27">
        <mixed-citation>
          [39]
          <string-name>
            <given-names>V.</given-names>
            <surname>Shpilrain</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Ushakov</surname>
          </string-name>
          ,
          <article-title>The Conjugacy tative Cryptography Scheme Using Extra Search Problem</article-title>
          in Public Key Special Group, Secur. Commun. Netw. Cryptography: Unnecessary and
          <article-title>(</article-title>
          <year>2017</year>
          ). doi:
          <volume>10</volume>
          .1155/
          <year>2017</year>
          /9036382. Insufficient, Appl. Algebra Eng. Commun. [52]
          <string-name>
            <given-names>A.</given-names>
            <surname>Myasnikov</surname>
          </string-name>
          ,
          <string-name>
            <surname>V.</surname>
          </string-name>
          <article-title>Roman'kov, A Linear Comput</article-title>
          .
          <volume>17</volume>
          (
          <issue>3-4</issue>
          ) (
          <year>2006</year>
          )
          <fpage>285</fpage>
          -
          <lpage>289</lpage>
          . doi: Decomposition Attack, Groups Complex.
          <volume>10</volume>
          .1007/s00200-006-0009-6. Cryptol.
          <volume>7</volume>
          (
          <year>2015</year>
          )
          <fpage>81</fpage>
          -
          <lpage>94</lpage>
          . doi:
          <volume>10</volume>
          .1515/
        </mixed-citation>
      </ref>
      <ref id="ref28">
        <mixed-citation>
          [40]
          <string-name>
            <given-names>D.</given-names>
            <surname>Kahrobaei</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Khan</surname>
          </string-name>
          , A Non- gcc
          <string-name>
            <surname>-</surname>
            2015-0007. Commutative Generalization of ElGamal [53]
            <given-names>V.</given-names>
          </string-name>
          <string-name>
            <surname>Roman</surname>
          </string-name>
          <article-title>'kov, A Nonlinear DecomKey Exchange Using Polycyclic Groups, position Attack, Groups Complex</article-title>
          .
          <source>IEEE GLOBECOM 2006-2006 Global Cryptol</source>
          .
          <volume>8</volume>
          (
          <issue>2</issue>
          ) (
          <year>2017</year>
          )
          <fpage>197</fpage>
          -
          <lpage>207</lpage>
          . doi: Telecommunications Conference. doi:
          <volume>10</volume>
          .1515/gcc-2016
          <source>-0017. 10</source>
          .1109/GLOCOM.
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>