Estimating the Probability of Galileo I/Nav Navigation With Osnma: “If You Can Navigate, Can You Authenticate?” | IEEE Conference Publication | IEEE Xplore