ارائه روشي براي مدل‌سازي و تحليل آسيب‌پذيري سيستم‌هاي سايبر- فيزيكي

كارشناسي ارشد

سيستم‌هاي سايبر- فيزيكي سيستم‌هاي يكپارچه اي از فرايندهاي محاسباتي، شبكه اي و فيزيكي هستند. از جمله شبكه هوشمند، سيستم‌هاي خودمختار خودرو، نظارت پزشكي، سيستم‌هاي كنترل فرايند و سيستم‌هاي رباتيك. در سرتاسر جهان سرمايه گذاري هاي عمده اي براي توسعه سيستم‌هاي سايبر- فيزيكي و به تبع آن بحث امنيت اين سيستم‌ها انجام شده و مي شود. مدل‌سازي و تحليل آسيب‌پذيري اين سيستم‌ها امكان ارزيابي امنيت و پيش‌بيني حملات را فراهم مي سازد. اگر چه روش هاي سنّتي راه هاي مؤثري براي تحليل و نمايش ايمني و امنيت سيستم‌هاي پيچيده دارند اما براي در نظرگرفتن مسائل جديد در سيستم‌هاي پيچيده مدرن، جوابگو نيستند. بنابراين ارائه روشي براي مدل‌سازي آسيب‌پذيري‌هاي سيستم‌هاي سايبر- فيزيكي و سپس تحليل آنها مي تواند بسيار راهگشا باشد. در اين پايان نامه با استفاده از اين رهيافت و با به كارگيري زبان هايي براي توصيف بررسي‌هاي لازم جهت پيكربندي سيستم‌ها، مي توان پيكربندي اوليه يك سيستم سايبر- فيزيكي را مدل كرده و سپس با استفاده از روش تحليل آسيب‌پذيري برمبناي مدلي محافظتي كه تغييرات حقوق دسترسي بين نهادهاي مختلف سيستم را بررسي مي كند گرافي نهايي از حالات آسيب‌پذير سيستم را تشكيل داد. به عنوان مطالعه موردي يك سيستم سايبر- فيزيكي واقعي ، مدل شده است تا نشان داده شود يك حمله كننده چگونه مي تواند با استفاده از بهره برداري از زنجيره اي از آسيب‌پذيري‌ها، دسترسي غيرمجاز به سيستم پيدا كند. واژه‌هاي كليدي: امنيت، سيستم‌هاي سايبر- فيزيكي، آسيب‌پذيري، گراف حمله.

189912

دانشگاه علم و صنعت ايران

نرم افزار

دكتر محمد عبداللهي ازگمي