Secure Service Composition with Quantitative Information Flow Evaluation in Mobile Computing Environments

. 2019 Aug 1;21(8):753. doi: 10.3390/e21080753

Algorithm 1

I n t r a_E v a l ()

Input:

s_{i}

, K

Output:True or False,

C e_{i}

1:
generate the $s_{i}$ ’s PDG and obtain $F_{i}$
2:
for each $X \in H I n_{i}$ do
3:
for each $Y \in L O u t_{i}$ do
4:
for each $δ (X, Y) \in F_{i}$ do
5:
compute $F_{L I n_{i}} (δ (X, Y))$ based on QR 2 and QR 3
6:
$F_{L I n_{i}} (X ⇝ Y)$ = $F_{L I n_{i}} (X ⇝ Y)$ + $F_{L I n_{i}} (δ (X, Y))$
7:
end for
8:
record the $F_{L I n_{i}} (X ⇝ Y)$ into service certificate $C e_{i}$
9:
$L {(X)}_{i}$ = $L {(X)}_{i}$ + $F_{L I n_{i}} (X ⇝ Y)$
10:
end for
11:
if $L {(X)}_{i} \geq K$ then
12:
return False
13:
end if
14:
record the $L {(X)}_{i}$ into service certificate $C e_{i}$
15:
for each $Y \in H O u t_{i}$ do
16:
if $\exists δ (X, Y) \in F_{i}$ then
17:
record the flow from X to Y into service certificate $C e_{i}$
18:
end if
19:
end for
20:
end for
21:
signature( $C e_{i}$ , $S A$ )
22:
return True