مدلسازي و ارزيابي يك حمله جديد در پروتكل DNP3 - SA به وسيله شبكه هاي پتري رنگي

امروزه سيستم هاي اسكادا جزء لاينفك سامانه هاي صنعتي بزرگ هستند كه كار جمع آوري اطلاعات و كنترل تجهيزات از طريق آنها صورت مي پذيرد. پروتكل هاي سيستم هاي اسكادا جهت دسترسي بلادرنگ و امكان كنترل اين سامانه ها طراحي شده اند. با توجه به اينكه اين سيستم ها عموما در صنايع بزرگ و حياتي هر كشور بكار مي روند ايمن سازي و حفظ آن از حملات مخرب امري ضروري است. DNP3 يكي از پروتكل هاي استاندارد اسكادا است كه براي تسهيل ارتباطات در اتوماسيون شبكه ي برق استفاده مي شود. پروتكل DNP3 يك مكانيزم امنيتي به نام احراز هويت امن ( DNP3- SA ) را در لايه كاربرد خود فراهم مي كند. در اين مقاله ما، ابتدا جهت غلبه بر پيچيدگي پروتكل، از ابزار تحليل خودكار اسكايتر براي تاييد پروتكل استفاده كرده ايم . تجزيه و تحليل ما منجر به شناسايي حمله جديدي در اين پروتكل شد كه مي تواند توسط يك مهاجم عليه سيستم مورد استفاده قرار گيرد. در نهايت با استفاده از شبكه هاي پتري رنگي كه ابزاري قدرتمند در زمينه مدلسازي است، ميزان تاثير اين حمله در پروتكل DNP3- SAV5 بررسي شده است.