Table - PMC

Skip to main content

View full-text article in PMC

. 2021 Oct 14;21(20):6821. doi: 10.3390/s21206821

Algorithm 4 Procedure of Verification

1:
functionVerify( $σ_{y}$ , $S K_{2}$ )
2:
$f l a g \leftarrow t r u e$
3:
if any verification of Equations (5)–(7) is invalid then
4:
$f l a g \leftarrow ⊥;$ return $f l a g$ .
5:
end if
6:
for $i = 1 \to n$ do
7:
Pick $j, k$ in $[i, n]$ randomly.
8:
if $Y_{1} (i, j) \neq l_{1} (i, -) \cdot u_{1} {(-, j)}^{T}$ or
$Y_{3} (i, k) \neq l_{3} (i, -) \cdot u_{3} {(-, k)}^{T}$ then
9:
$f l a g \leftarrow ⊥$ ; return $f l a g$ .
10:
end if
11:
end for
12:
for $j = 1 \to n$ do
13:
Pick $i, k$ in $[1, j]$ randomly.
14:
if $Y_{1} (i, j) \neq l_{1} (i, -) \cdot {u_{1} (-, j)}^{T}$ or
$Y_{3} (k, j) \neq l_{3} (k, -) \cdot {u_{3} (-, j)}^{T}$ then
15:
$f l a g \leftarrow ⊥$ ; return $f l a g$ .
16:
end if
17:
end for
18:
return $f l a g$
19:
end function