Joy، S. P.، و Chوran، P. (2019). A Formal Framework For Verifying IKA Property Of Protocols. مجلة جامعة الملك سعود - علوم الحاسب والمعلومات، مج31, ع3 ، 318 - 326. مسترجع من http://search.mandumah.com/Record/974668
Joy، Shyam P.، و Priya Chوran. "A Formal Framework For Verifying IKA Property Of Protocols." مجلة جامعة الملك سعود - علوم الحاسب والمعلومات مج31, ع3 (2019): 318 - 326. مسترجع من http://search.mandumah.com/Record/974668