List of Articles Model-Checker Open Access Article Abstract Page Full-Text 1 - SMAK-IOV: Secure Mutual Authentication Scheme and Key Exchange Protocol in Fog Based IoV Yashar Salami Vahid Khajehvand