Key Updatable Cross-Domain-Message Anonymous Authentication Scheme Based on Dual-Chain for VANET | Synapse