LIMA: Local and Lightweight Mutual Authentication for VANETs | Synapse