Semi-Assisted Signal Authentication based on Galileo ACAS