فهرس المقالات تحلیل ایمنیوارسی مدلبن¬ حرية الوصول المقاله صفحة الملخص نص كامل 1 - یک هیوریستیک جدید برای تشخیص بن بست در تحلیل ایمنی سیستم های نرم افزاری عین الله پیرا