توصیف رسمی یک سیستم تشخیص نفوذ مبتنی بر شبکه با استفاده از زبان توصیف Z

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