Algorithm 6: ForbiddenInformationFlow Function

Require: CD${}_{\mathsf{1}}$$,\mathrm{C}$D${}_{\mathsf{2}}$  Ensure: $TrueorFalse$   if AllowedDirectCommunication(C${}_{{\mathsf{D}}_{\mathsf{1}}}$, C${}_{{\mathsf{D}}_{\mathsf{2}}}$) $=False$ then    return $False$   end if   for $\forall {\mathrm{R}}_{★}$ $\in \mathrm{C}$D${}_{\mathsf{1}}$ do    for $\forall {\mathrm{R}}_{\circ }$ $\in \mathrm{C}$D${}_{\mathsf{2}}$ do    if R★$\left[\mathrm{D}\mathrm{O}\mathrm{M}\right]$ $\cap {\mathrm{R}}_{\circ }$$\left[\mathrm{D}\mathrm{O}\mathrm{M}\right]$     and R★$\left[\mathrm{S}\mathrm{H}\mathrm{A}\mathrm{R}\mathrm{E}\mathrm{S}\right] \subseteq {\mathrm{R}}_{\circ }$$\left[\mathrm{S}\mathrm{H}\mathrm{A}\mathrm{R}\mathrm{E}\mathrm{S}\right]$     and R★$\left[\mathrm{R}\mathrm{E}\mathrm{Q}\mathrm{U}\mathrm{I}\mathrm{R}\mathrm{E}\mathrm{S}\right] \cap {\mathrm{R}}_{\circ }$$\left[\mathrm{P}\mathrm{R}\mathrm{O}\mathrm{V}\mathrm{I}\mathrm{D}\mathrm{E}\mathrm{S}\right] \ne \varnothing$ then       return $True$     end if    end for   end for   return $False$