Modeling Data Security and Privacy Threats for VANET using STRIDE and LINDDUN | IEEE Conference Publication | IEEE Xplore