Kaouther Abrougui, Azzedine Boukerche. Secure service discovery protocol for intelligent transport systems: proof of correctness. In Regina Borges de Araujo, Azzedine Boukerche, Richard W. Pazzi, editors, Proceedings of the first ACM international symposium on Design and analysis of intelligent vehicular networks and applications, DIVANet@MSWiM 2011, Miami, FL, USA, October 31, 2011. pages 101-108, ACM, 2011. [doi]
Abstract is missing.