Cryptographic Authentication of Navigation Protocols - Sam Bretheim (CoRR, 2005)