Data Verification and Misbehavior Detection in Vehicular Ad-hoc Networks. Jurnal Teknologi (Sciences & Engineering), v. 73, n. 2, 9 Mar.2015.