AMA: Anonymous mutual authentication with traceability in carpooling systems | IEEE Conference Publication | IEEE Xplore