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