This paper studies the design and performance analysis of relay-assisted satellite freespace optics (FSO) quantum key distribution (QKD) systems for secure vehicular networks. High-altitude platforms (HAPs) equipped with optical amplify-and-forward nodes are used as relay stations. Secrecy performances in terms of quantum bit error rate and ergodic secret-key rate are analytically investigated under the effects of transceiver misalignment, receiver's velocity variation, receiver noises, and atmospheric turbulence conditions. Based on the analyzed results, the design criteria for the legitimate user are determined so that the security of the considered system could be guaranteed. INDEX TERMS Atmospheric turbulence, high-altitude platform (HAP), free-space optics (FSO), pointing error, quantum key distribution (QKD), reciever's velocity variation.