فهرست مقالات Model-Checker دسترسی آزاد مقاله صفحه چکیده متن کامل 1 - SMAK-IOV: Secure Mutual Authentication Scheme and Key Exchange Protocol in Fog Based IoV Yashar Salami Vahid Khajehvand