دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Ehab Al-Shaer. Mohammad Ashiqur Rahman (auth.)
سری: Advances in Information Security 67
ISBN (شابک) : 9783319328706, 9783319328713
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 156
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب تجزیه و تحلیل امنیت و انعطاف پذیری برای شبکه های هوشمند: رویکردهای ایستا و پویا: سیستم ها و امنیت داده ها، شبکه های ارتباطی کامپیوتری، برنامه های کاربردی سیستم های اطلاعاتی (شامل اینترنت)، رمزگذاری داده ها
در صورت تبدیل فایل کتاب Security and Resiliency Analytics for Smart Grids: Static and Dynamic Approaches به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل امنیت و انعطاف پذیری برای شبکه های هوشمند: رویکردهای ایستا و پویا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب دغدغه اصلی حفاظت از زیرساختهای حیاتی مانند شبکههای
هوشمند را هدف قرار میدهد. این تکنیکهای مختلف تحلیل امنیتی
استاتیک و پویا را توضیح میدهد که میتواند به طور خودکار
امنیت و انعطافپذیری شبکه هوشمند را تأیید کند و حملات بالقوه
را به روشی فعال شناسایی کند. این کتاب شامل سه بخش اصلی است.
اولی ایده تأیید رسمی انطباق پیکربندیهای شبکه هوشمند با
دستورالعملهای امنیتی و انعطافپذیری را ارائه میکند. این یک
چارچوب رسمی ارائه میکند که انطباق پیکربندیهای زیرساخت
اندازهگیری پیشرفته (AMI) را با الزامات امنیتی و انعطافپذیری
تأیید میکند و طرحهای اصلاحی برای نقضهای امنیتی احتمالی
ایجاد میکند. بخش دوم تأیید رسمی امنیت و انعطافپذیری
سیستمهای کنترل شبکه هوشمند را با استفاده از یک مدل رسمی برای
تجزیه و تحلیل فرار از حمله در برآورد وضعیت، یک ماژول کنترل
اصلی سیستم کنترل نظارتی در شبکههای هوشمند، پوشش میدهد. این
مدل بردارهای حمله ای را شناسایی می کند که می توانند تخمین
حالت را به خطر بیندازند. این بخش همچنین تکنیکهای کاهش خطر را
پوشش میدهد که طرحهای امنیتی فعال را ترکیب میکنند که چنین
حملاتی را غیرممکن میکنند. بخش آخر کتاب به بررسی تحلیل امنیت
پویا برای شبکه های هوشمند می پردازد. این نشان میدهد که رفتار
AMI را میتوان با استفاده از گزارشهای رویداد جمعآوریشده در
جمعآورندههای هوشمند مدلسازی کرد، که به نوبه خود میتواند
با استفاده از متغیرهای مشخصات تولید شده از پیکربندیهای
دستگاههای AMI تأیید شود. اگرچه تمرکز این کتاب بر امنیت و
انعطافپذیری شبکه هوشمند است، تجزیه و تحلیلهای رسمی گنجانده
شده به اندازه کافی عمومی هستند که میتوانند به سایر سیستمهای
فیزیکی سایبری، به ویژه سیستمهای مربوط به سیستمهای کنترل
صنعتی (ICS) تعمیم داده شوند. بنابراین، متخصصان صنعت و محققان
دانشگاهی این کتاب را منبعی استثنایی برای یادگیری جنبههای
نظری و عملی به کارگیری روشهای رسمی برای حفاظت از زیرساختهای
حیاتی میدانند.
This book targets the key concern of protecting critical
infrastructures such as smart grids. It explains various
static and dynamic security analysis techniques that can
automatically verify smart grid security and resiliency and
identify potential attacks in a proactive manner. This book
includes three main sections. The first presents the idea of
formally verifying the compliance of smart grid
configurations with the security and resiliency guidelines.
It provides a formal framework that verifies the compliance
of the advanced metering infrastructure (AMI) configurations
with the security and resiliency requirements, and generates
remediation plans for potential security violations. The
second section covers the formal verification of the security
and resiliency of smart grid control systems by using a
formal model to analyze attack evasions on state estimation,
a core control module of the supervisory control system in
smart grids. The model identifies attack vectors that can
compromise state estimation. This section also covers risk
mitigation techniques that synthesize proactive security
plans that make such attacks infeasible. The last part of the
book discusses the dynamic security analysis for smart grids.
It shows that AMI behavior can be modeled using event logs
collected at smart collectors, which in turn can be verified
using the specification invariants generated from the
configurations of the AMI devices. Although the focus of this
book is smart grid security and resiliency, the included
formal analytics are generic enough to be extended to other
cyber-physical systems, especially those related to
industrial control systems (ICS). Therefore, industry
professionals and academic researchers will find this book an
exceptional resource to learn theoretical and practical
aspects of applying formal methods for the protection of
critical infrastructures.
Front Matter....Pages i-xvi
Front Matter....Pages 1-1
Smart Grids and Security Challenges....Pages 3-13
Analytics for Smart Grid Security and Resiliency....Pages 15-26
Front Matter....Pages 27-27
Security Analytics for AMI and SCADA....Pages 29-59
Security Analytics for EMS Modules....Pages 61-103
Intrusion Detection Systems for AMI....Pages 105-134
Back Matter....Pages 135-144