Secure service discovery protocol for intelligent transport systems: proof of correctness.

Kaouther Abrougui, Azzedine Boukerche

Browse the full MSWIM paper archive.