آموزش تصویری تحلیل پروتکل های امنیتی با ابزار اسکایتر- SCyther   (ابزاری کارآمد برای تحلیل پروتکل های امنیتی)

(آموزش های مرتبط با این آموزش در پایین همین صفحه قابل مشاهده است)

تحلیل و آنالیز پروتکل­های امنیتی توسط انسان کاری دشوار می باشد و در بسیاری از پروتکل­های امنیتی پس از انتشار، نقض هایی مشاهده شده است. زیرا هنوز روشی برای ساخت موثر و صحیح پروتکل از ابتدا وجود ندارد به همین جهت تحلیل پروتکل­های امنیتی توسط ابزار­های تحلیل خودکار مانند اسکایتر با استفاده از منطق Formal در مدل Formal می­تواند راه­حل مناسبی باشد. تا کنون پروتکل های احراز هویت زیادی نظیر PKMv1 ، PKMv2 ، IKEV و غیره توسط منطق Formal و به وسیله­ی ابزار­های امنیتی نظیر اسکایتر ، Avispa و یا Proverif تحلیل و همین روند باعث بهبود در امنیت این پروتکل­ها با شناسایی مشکلات و حفره­های امنیتی در صورت وجود شده است . با توجه به اهمیت منطق تحلیل ، انتخاب مناسب منطق می­تواند در بررسی و تحلیل صحیح و همه جانبه پروتکل بسیار تاثیر گذار باشدScyther ابزاري براي تحلیل امنیتی پروتکل­هایی است که به صورت کامل رمزنگاري شده­اند.

فصل اول : مقدمات امنیت شبکه با دید لایه به لایه  و نصب اسکایتر  مطالب : 1-معرفی دوره  2- لایه فیزیکی- لایه DataLink 3- لایه شبکه و انتقال لایه جلسه ، نمایش و کاربرد و معرفی چند حمله 4- معرفی ابزار اسکایتر 5- نصب اسکایترفصل دوم – مفاهیم اولیه اسکایتر و شروع کد زنی مطالب : 1-  مفاهیم اولیه در اسکایتر -- شروع کد زنی اسکایتر 3-کد زنی و ابزار بصری در اسکایتر برای نمایش حملات و  Bug های موجود 4- بررسی پروتکل های بیشترفصل سوم – ادعاهای امنیت  مطالب : 1دعاهای امنیتی از دید تئوری  2- ادعاهای امنیتی پیاده سازی و مثالها

مدرس : پژوهشگر امنیت اطلاعات - متخصص فنی تامین امنیت اطلاعات