ارزیابی و اثبات الگوریتم مسیریابی شبکه گمنامی تر

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