ارزیابی و اثبات الگوریتم مسیریابی شبکه گمنامی تُر
نویسندگان
1 کارشناسی ارشد، دانشگاه شهید بهشتی، تهران، ایران.
2 کارشناسی ارشد، دانشگاه علم و صنعت، تهران، ایران.
doi
چکیده
ُتر یکی از محبوبترین شبکههای فراهمکننده گمنامی و حفظ حریم خصوصی در سطح اینترنت است که با استفاده از سیستمهای داوطلبانه در سرتاسر جهان کار میکند. کارکرد تُر با تأخیر کم، آن را برای اموری هم چون گردش در وب مناسب میسازد. نحوهی انتخاب مسیر در شبکهی تُر از عوامل تأثیرگذار در کارایی و امنیت این شبکه است. الگوریتم انتخاب مسیر در شبکهی تُر نسبت به طراحی اولیه آن، تاکنون دستخوش تغییرات زیادی شده است. این تغییرات به دلایلی چون افزایش کارایی، قابلیت اطمینان و توازن بار صورت گرفتهاند و یا حتی برخی اوقات در پاسخ به حملات معرفیشده، مجبور به تغییر الگوریتم انتخاب مسیر شدهاند. مقالات زیادی تاکنون به بررسی شیوهی انتخاب رلهها در تشکیل مدار پرداختهاند ولی هیچکدام باوجود منبع باز بودن کد تُر، الگوریتم مسیریابی و نحوه وزندهی رلهها را مورد تجزیه و تحلیل قرار ندادهاند و روابط مورد استفاده در این الگوریتم را از لحاظ منطقی و ریاضی اثبات نکردهاند. در این مقاله سعی شده است بعد از تجزیه و تحلیل کامل الگوریتم مسیریابی تُر، برای اولین بار به اثبات دقیق منطقی و ریاضی روابط مورد استفاده در این الگوریتم پرداخته شود.
