در بسیاری از کاربرد¬ها مهاجم، با کمک یا بدون کمک یک برچسب rfid که در فاصله مجاز قرار ندارد، قرائتگر را متقاعد می¬کند که او را تصدیق اصالت کند، برای مقابله با این حملات پروتکل¬هایی مرسوم به محدودیت فاصله ارائه شده¬اند. در این پروژه امنیت دو پروتکل محدودیت فاصله که اخیراً توسط جنتی و فلاحتی (پروتکل jf) و گورل و همکاران (پروتکل gaa) پیشنهاد شده¬اند را بررسی می¬کنیم و اثبات می¬کنیم که این دو پروتکل نسبت به حمله افشای کلید مخفی آسیب¬پذیر هستند. سپس پروتکل بهبود یافته¬ای را نسبت به پروتکل jf پیشنهاد می¬کنیم و اثبات می¬کنیم که پروتکل بهبود یافته نسبت به حملات کلاهبرداری مافیا، کلاهبرداری فاصله و افشای کلید ایمن است. همچنین یک پروتکل محدودیت فاصله مبتنی بر تکنیک cdma را پیشنهاد خواهیم کرد که در آن قرائتگر می¬تواند به طور همزمان با چندین برچسب ارتباط برقرار کند. سپس سه پروتکل تصدیق اصالت ss، dzsyg و chs را معرفی خواهیم کرد و اثبات می¬کنیم که هر کدام نسبت به حملاتی مثل ردیابی، جعل اصالت آسیب¬پذیر هستند و برای هر یک پروتکل بهبود یافته¬ای را پیشنهاد می¬کنیم که نسبت به آسیب¬پذیری¬های ذکر شده ایمن است.