Toward an Operational Navigation Message Authentication Service: Proposal and Justification of Additional OSNMA Protocol Features | IEEE Conference Publication | IEEE Xplore