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