[صفحه اصلی ]   [ English ]  
بخش‌های اصلی
درباره دانشکده::
مدیریت دانشکده::
اعضای هیات علمی ::
معرفی افراد::
امور آموزش::
امور پژوهشی::
آموزش الکترونیکی::
پردیس شماره 2::
اخبار و رویدادها::
فضاهای آموزشی و تحقیقاتی ::
تسهیلات پایگاه::
::
ورود به سایت دروس

AWT IMAGE

نام کاربری
کلمه عبور

AWT IMAGE
رمز ورود را فراموش کرده‌اید؟

..
دفاعیه کارشناسی ارشد

دفاعیه کارشناسی ارشد

..
جستجو در پایگاه

جستجوی پیشرفته
..
دریافت اطلاعات پایگاه
نشانی پست الکترونیک خود را برای دریافت اطلاعات و اخبار پایگاه، در کادر زیر وارد کنید.
..
:: بنفشه خداقدیر ::
 | تاریخ ارسال: ۱۳۹۴/۱۲/۱۰ | 

AWT IMAGE

خانم بنفشه خداقدیر دانشجوی کارشناسی ارشد آقای دکتر محمد عبدالهی ازگمی روز چهارشنبه  94/12/19 ساعت 09:30 در اتاق سمینار واقع در طبقه سوم دانشکده کامپیوتر از پروژه کارشناسی ارشد خود تحت عنوان "ارائه روشی مبتنی بر نظریه بازی برای تحلیل بقاپذیری سیستم­های سایبر-فیزیکی" دفاع می­ نمایند 

چکیده

­سیستم­های سایبر-فیزیکی، نسل آینده سیستم­های مهندسی شده محسوب می­شوند که در آنها ارتباط تنگاتنگی بین مؤلفه­های فیزیکی و سایبری وجود دارد. وجود سیستم­های نهفته، سیستم کنترل شبکه شده و تأثیرگذاری و تأثیرپذیری از محیط فیزیکی، از ویژگی­های بارز آنهاست. بقاپذیری یک سیستم سایبر-فیزیکی در قالب توانایی ادامه روال عملیاتی در صورت بروز خرابی و حمله تعریف می­شود.

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

این روش تحلیل علاوه بر اینکه رویکردی کمی در ارزیابی بقاپذیری دارد و در نهایت مقداری عددی به دست می­دهد، محدود به نوع خاصی نبوده و به خاطر عمومیت، قابلیت اعمال به انواع مختلف سیستم­های سایبر-فیزیکی را دارد. این مطلب در انتهای پژوهش با پیاده­سازی روش پیشنهادی روی دو سیستم که هم از نظر ابعاد و هم از نظر کارکرد با یکدیگر تفاوت دارند، نشان داده شده است.

واژه‌های کلیدی: سیستم سایبر-فیزیکی، بقاپذیری، امنیت، نظریه بازی

Abstract

Cyber-physical systems are the next generation of engineered systems where there is a close interaction between cyber and physical components. Embeded systems, networked control system and affecting physical environment are their main attributes. Survivability of a cyber-physical system is defined as the ability to continue operation goals despite failures and attacks.

This thesis represents a method for analyzing the survivability of cyber-physical systems which uses three main techniques. The first one is the dependency graph of the system which shows that any services of the systems, depends on how many other services in order to reach its goal. The second one is the discrete-time Markov chain which is used to represent different states of the system. This chain makes a basis for survivability analysis; it means that survivability is computed through identifying the probabilities of different states. So, a static game between attacker and defender of the system is defined in which each player probably selects an action and has some payoffs. Since every player wants to maximum his payoff, the probabilities can be computed.

This way of analyzing is general and can be applied to any types of cyber-physical systems; in addition to have a quantitative approach. This claim is showed through applying the proposed method to two cyber-physical systems which are different in size and application. 

Keywords: cyber-physical system, survivability, security, game theory

 

بنفشه خداقدیر

   رشته مهندسی کامپیوتر – نرم افزار

استاد راهنما: دکتر محمد عبداللهی ازگمی

استاد داور داخلی: دکتر زینب موحدی

استاد داور خارجی: دکتر مهدی کارگهی

  تاریخ دفاع: چهارشنبه 19 اسفند ماه 94

  زمان:ساعت 09:30

 

  مکان: دانشکده مهندسی کامپیوتر- طبقه سوم- اتاق سمینار

 از اساتید بزرگوار، دانشجویان گرامی و دیگر متخصصان و علاقه مندان به موضوع دفاعیه دعوت
می شود با حضور خود موجبات غنای علمی و ارتقای کیفی را فراهم سازند.

 

  دانشکده مهندسی کامپیوتر مدیریت تحصیلات تکمیلی

 

 

 

 

 

 

دفعات مشاهده: 2074 بار   |   دفعات چاپ: 950 بار   |   دفعات ارسال به دیگران: 0 بار   |   0 نظر
سایر مطالب این بخش سایر مطالب این بخش نسخه قابل چاپ نسخه قابل چاپ ارسال به دوستان ارسال به دوستان
School of Computer Engineering
Persian site map - English site map - Created in 0.156 seconds with 969 queries by yektaweb 3475