El tipado de seguridad para control de ujos de información previene que información con- dencial sea liberada hacia canales públicos. La propiedad fundamental de control de ujos de información, conocida como ...