درحال بارگذاري...
جستجو
ایمیل دوست | |
نام شما | |
ایمیل شما | |
کد مقابل را وارد نمایید | |
این صفحه برای دوست شما با موفقیت ارسال شد.
1979 مرتبه مشاهده شده
روشی صوری برای تشخیص نفوذ در پروتکل های کنترل صنعتی
عبدی، حمید رضا Abdi, Hamid Reza
- شماره پایان نامه:46309
- کد دانشکده:19
- پديدآور: عبدی، حمید رضا
- عنوان:روشی صوری برای تشخیص نفوذ در پروتکل های کنترل صنعتی.
- نام دانشگاه/پژوهشگاه:صنعتی شریف
- سال اخذ مدرك:1393.
- نام دانشکده:مهندسی کامپیوتر
- مقطع:کارشناسی ارشد
- گرایش:نرم افزار
- توصیفگر: زنجیره مارکف Markov Chain
- توصیفگر: کنترل کننده منطقی برنامه پذیر Programmable Logic Controller (PLC)
- توصیفگر: روش های صوری Formal Methods
- توصیفگر: سیستم تشخیص تهاجم Intrusion Detection System
- توصیفگر: سیستم مبتنی بر کنترل نظارتی و اکتساب داده ها Supervisory Contorol and Data Acquision (SCADA)
- توصیفگر: خودکارافزار حالت متناهی قطعی Deterministic Finite Automaton (DFA)
- استاد راهنما. ایزدی، محمد
-
محتواي کتاب
- مشاهده