Es el módulo del Validador que proporciona el servicio de validación semántica. Lleva a término las operaciones relacionadas con la validación de certificados i firmas.