توصیف رسمی یک سیستم تشخیص نفوذ مبتنی بر شبکه با استفاده از زبان توصیف Z
Publish place: 8th Annual Conference of Computer Society of Iran
Publish Year: 1381
Type: Conference paper
Language: Persian
View: 2,484
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
ACCSI08_015
Index date: 7 February 2008
توصیف رسمی یک سیستم تشخیص نفوذ مبتنی بر شبکه با استفاده از زبان توصیف Z abstract
به منظور شناسایی نفوذکنندگان به سیستم ها و شبکه های کامپیوتری، سیستم های تشخیص نفوذ متعددی ساخته شدهاست. سیستم های تشخیص نفوذ موجود فاقدهرگونه توصیف رسمی می باشند. چنانچه معماری یک سیستم تشخیص نفوذ بهصورت دقیق بیان نشود، امکان وارسی و ارزیابی آن فراهم نمی شود و نمی توان در مورد عملکرد سیستم با اطمینان اظهار نظر نمود و یا ویژگی خاصی رادر مورد آن اثبات نمود.
در این مقاله، معماری یک سیستم تشخیص نفوذ مبتنی بر شبکه با استفاده از زبان توصیف z بهصورت رسمی بیان میشود و برخی از ویژگی های آن اثبات میشود. بر اساس توصیف بیان شده می توان یک سیستم تشخیص نفوذ مبتنی بر شبکه را پیاده سازی و در مورد عملکرد سیستم استدلال نمود.
توصیف رسمی یک سیستم تشخیص نفوذ مبتنی بر شبکه با استفاده از زبان توصیف Z Keywords:
توصیف رسمی یک سیستم تشخیص نفوذ مبتنی بر شبکه با استفاده از زبان توصیف Z authors
مهدی آبادی
دانشگاه تربیت مدرس دانشکده فنی و مهندسی - گروه کامپیوتر
سیدحسن میریان حسین آبادی
دانشگاه صنعتی شریف دانشکده مهندسی کامپیوتر
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :