Security Analysis and Improvement of Railway Vehicle-to-ground Authentication and Key Negotiation Protocol | IEEE Conference Publication | IEEE Xplore