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

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