Equations: Cooperative GNSS Authentication - Inside GNSS