Formal model of certificate omission schemes in VANET

Michael Feiri, Jonathan Petit, Frank Kargl. Formal model of certificate omission schemes in VANET. In 2014 IEEE Vehicular Networking Conference, VNC 2014, Paderborn, Germany, December 3-5, 2014. pages 41-44, IEEE, 2014. [doi]

Abstract

Abstract is missing.