Internet Firewalls

O mecanismo de type enforcement permite que se controle o fluxo de informação através do sistema, criando uma espécie de pipeline entre os programas denominado assured pipeline (FIG. abaixo)[THO 96]. Muitas aplicações fazem parte de um sistema maior; para garantir que a informação flua seguramente, há um controle dos dados que cada programa pode ler e escrever. Cada programa pode somente ler de um determinado lugar e escrever no próximo estágio do pipeline. Nenhum estágio do pipeline pode ser pulado, e a forma como os dados fluem através do sistema é altamente controlado.

FIGURA - Assured Pipeline