اليازجين، راية كامل علي، و صبري، خير الدين معاوية. (2022). Verification of Access Control Policies Using Model Checking (رسالة ماجستير غير منشورة). الجامعة الاردنية، عمان. مسترجع من http://search.mandumah.com/Record/1520097
اليازجين، راية كامل علي، و خير الدين معاوية صبري. "Verification of Access Control Policies Using Model Checking" رسالة ماجستير. الجامعة الاردنية، عمان، 2022. مسترجع من http://search.mandumah.com/Record/1520097