An Efficient and Anonymous Authentication Key Agreement Protocol for Smart Transportation System | IEEE Conference Publication | IEEE Xplore