Computer software for providing cryptographic credentials derived from those in an identification smart card to be carried on a mobile device instead of a card