APA:
کپیملازاده گل محله، مهدی، سبزی نژادفراش، محمد، و رستاقی، روح اله. (1396). تحلیل و ارزیابی صوری پروتکل های امنیتی شبکه تترا با استفاده از ابزارهای تحلیل خودکار. پدافند الکترونیک و سایبری، 5(4 (پیاپی 20) )، 109-129. SID. https://sid.ir/paper/243120/fa
Vancouver:
کپیملازاده گل محله مهدی، سبزی نژادفراش محمد، رستاقی روح اله. تحلیل و ارزیابی صوری پروتکل های امنیتی شبکه تترا با استفاده از ابزارهای تحلیل خودکار. پدافند الکترونیک و سایبری[Internet]. 1396؛5(4 (پیاپی 20) ):109-129. Available from: https://sid.ir/paper/243120/fa
IEEE:
کپیمهدی ملازاده گل محله، محمد سبزی نژادفراش، و روح اله رستاقی، “تحلیل و ارزیابی صوری پروتکل های امنیتی شبکه تترا با استفاده از ابزارهای تحلیل خودکار،” پدافند الکترونیک و سایبری، vol. 5، no. 4 (پیاپی 20) ، pp. 109–129، 1396، [Online]. Available: https://sid.ir/paper/243120/fa