Using a Stored-Value Card to Provide an Added-Value Service of Payment Protocol in VANET | IEEE Conference Publication | IEEE Xplore