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