Algorithm 7: IllegalInformationExchange Function

Require:  CD${}_{\mathsf{1}}$$,\mathrm{P}$F  Ensure: $TrueorFalse$   for $\forall \mathrm{C}$D${}_{\mathsf{2}}$ $\in \mathrm{P}$F do    if ForbiddenInformationFlow(C${}_{{\mathsf{D}}_{\mathsf{1}}}$, C${}_{{\mathsf{D}}_{\mathsf{2}}}$) or    ForbiddenInformationFlow(C${}_{{\mathsf{D}}_{\mathsf{2}}}$, C${}_{{\mathsf{D}}_{\mathsf{1}}}$) then     return $True$    end if   end for   return $False$