قلاش م.; السالم ع. ا.; بدوية ع. ا. التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية. Tishreen University Journal -Engineering Sciences Series, [S. l.], v. 39, n. 3, 2018. Disponível em: https://journal.tishreen.edu.sy/index.php/engscnc/article/view/3777. Acesso em: 23 jun. 2024.