ABAKA: Ein anonymes Batch-authentifiziertes und Schlüsselaustauschverfahren für wertschöpfende Dienste in fahrzeuginternen Ad-hoc-Netzwerken | Synapse