ارزيابي و اثبات الگوريتم مسيريابي شبكه گمنامي تُر

تُر يكي از محبوب‌ ترين شبكه‌هاي فراهم‌ كننده گمنامي و حفظ حريم خصوصي در سطح اينترنت است كه با استفاده از سيستم‌هاي داوطلبانه در سرتاسر جهان كار مي‌كند. كاركرد تُر با تأخير كم، آن را براي اموري هم چون گردش در وب مناسب مي‌سازد. نحوه‌ي انتخاب مسير در شبكه‌ي تُر از عوامل تأثيرگذار در كارايي و امنيت اين شبكه است. الگوريتم انتخاب مسير در شبكه‌ي تُر نسبت به طراحي اوليه آن، تا­كنون دست‌خوش تغييرات زيادي شده است. اين تغييرات به دلايلي چون افزايش كارايي، قابليت اطمينان و توازن بار صورت گرفته‌اند و يا حتي برخي اوقات در پاسخ به حملات معرفي‌شده، مجبور به تغيير الگوريتم انتخاب مسير شده‌اند. مقالات زيادي تا­كنون به بررسي شيوه‌ي انتخاب رله‌ها در تشكيل مدار پرداخته‌اند ولي هيچ‌كدام باوجود منبع باز بودن كد تُر، الگوريتم مسيريابي و نحوه وزن‌دهي رله‌ها را مورد تجزيه ‌و تحليل قرار نداده‌اند و روابط مورد استفاده در اين الگوريتم را از لحاظ منطقي و رياضي اثبات نكرده‌اند. در اين مقاله سعي شده است بعد از تجزيه‌ و تحليل كامل الگوريتم مسيريابي تُر، براي اولين بار به اثبات دقيق منطقي و رياضي روابط مورد استفاده در اين الگوريتم پرداخته شود.