Mahrooghi, Hamid Reza, Jalili, Rasool. (1397). An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols. سامانه مدیریت نشریات علمی دانشگاه اصفهان, 6(1), 25-42. doi: 10.22108/jcs.2019.113429.1011
Hamid Reza Mahrooghi; Rasool Jalili. "An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols". سامانه مدیریت نشریات علمی دانشگاه اصفهان, 6, 1, 1397, 25-42. doi: 10.22108/jcs.2019.113429.1011
Mahrooghi, Hamid Reza, Jalili, Rasool. (1397). 'An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols', سامانه مدیریت نشریات علمی دانشگاه اصفهان, 6(1), pp. 25-42. doi: 10.22108/jcs.2019.113429.1011
Mahrooghi, Hamid Reza, Jalili, Rasool. An Extension of CryptoPAi to the Formal Analysis of E-voting Protocols. سامانه مدیریت نشریات علمی دانشگاه اصفهان, 1397; 6(1): 25-42. doi: 10.22108/jcs.2019.113429.1011


سامانه مدیریت نشریات علمی. قدرت گرفته از سیناوب