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