Reconstructing security types for automated policy enforcement in FABLE