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