CB-PS: An Efficient Short-Certificate-Based Proxy Signature Scheme for UAVs | Synapse