APA:
کپیپورپونه، محسن، و رمضانیان، رسول. (1395). مقدمه ای کوتاه بر دو روش صوری سازی پروتکل های امنیتی: وارسی مدل و اثبات قضیه. مجله بین المللی امنیت اطلاعات، 8(1 )، 3-24. SID. https://sid.ir/paper/241795/fa
Vancouver:
کپیپورپونه محسن، رمضانیان رسول. مقدمه ای کوتاه بر دو روش صوری سازی پروتکل های امنیتی: وارسی مدل و اثبات قضیه. مجله بین المللی امنیت اطلاعات[Internet]. 1395؛8(1 ):3-24. Available from: https://sid.ir/paper/241795/fa
IEEE:
کپیمحسن پورپونه، و رسول رمضانیان، “مقدمه ای کوتاه بر دو روش صوری سازی پروتکل های امنیتی: وارسی مدل و اثبات قضیه،” مجله بین المللی امنیت اطلاعات، vol. 8، no. 1 ، pp. 3–24، 1395، [Online]. Available: https://sid.ir/paper/241795/fa