Algorithm 8: IsConsistentPolicy Function

Require: PF  Ensure: $TrueorFalse$   for $\forall R$ $\in P$F do    if IsWellFormedRule(R) $=False$ then     return $False$    end if   end for   for $\forall R$ $\in P$F do    if IsCoreRule(R, P${}_{{\mathsf{F}}_{}}$) $=False$ then     return $False$    end if   end for   for $\forall \mathrm{C}$D $\in P$F do    if IllegalInformationExchange(C${}_{{\mathsf{D}}_{}}$, P${}_{{\mathsf{F}}_{}}$) then     return $False$    end if   end for   for $\forall$ C${}_{{\mathsf{D}}_{}}^{{\mathsf{A}}_{}}$ $\in P$F do    if IllegalInformationExchange(C${}_{{\mathsf{D}}_{}}^{{\mathsf{A}}_{}}$, P${}_{{\mathsf{F}}_{}}$) then     return $False$    end if   end for   return $True$