Rivest evaluation of SecurID smart card