توضیحات
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.
————————————————————–
ترجمه ماشینی :
این کتاب نگرانی اصلی محافظت از زیرساخت های مهم مانند شبکه های هوشمند را هدف قرار می دهد. این تکنیک های مختلف تجزیه و تحلیل امنیتی استاتیک و پویا را توضیح می دهد که می توانند به طور خودکار امنیت و انعطاف پذیری شبکه هوشمند را تأیید کرده و حملات احتمالی را به روشی پیشگیرانه شناسایی کنند. این کتاب شامل سه بخش اصلی است. اولین ایده تأیید رسمی پیروی از تنظیمات شبکه هوشمند با دستورالعمل های امنیتی و انعطاف پذیری را ارائه می دهد. این یک چارچوب رسمی را ارائه می دهد که پیروی از تنظیمات زیرساخت های اندازه گیری پیشرفته (AMI) با الزامات امنیتی و مقاومت را تأیید می کند و برنامه های اصلاح را برای نقض امنیتی احتمالی ایجاد می کند. بخش دوم ، تأیید رسمی امنیت و انعطاف پذیری سیستم های کنترل شبکه هوشمند را با استفاده از یک مدل رسمی برای تجزیه و تحلیل فرار از حمله به تخمین حالت ، یک ماژول کنترل اصلی سیستم کنترل نظارت در شبکه های هوشمند پوشش می دهد. این مدل بردارهای حمله ای را مشخص می کند که می توانند تخمین دولت را به خطر بیاندازند. این بخش همچنین تکنیک های کاهش خطر را شامل می شود که برنامه های امنیتی فعال را که چنین حملاتی را غیرقابل نفوذ می کند ، ترکیب می کند. قسمت آخر کتاب در مورد تجزیه و تحلیل امنیت پویا برای شبکه های هوشمند بحث می کند. این نشان می دهد که رفتار AMI را می توان با استفاده از سیاهههای مربوط به جمع آوری شده در جمع کننده های هوشمند مدل سازی کرد ، که به نوبه خود با استفاده از مشخصات مشخصات تولید شده از تنظیمات دستگاه های AMI قابل تأیید است. اگرچه تمرکز این کتاب امنیت و انعطاف پذیری شبکه هوشمند است ، اما تجزیه و تحلیل رسمی شامل آن به اندازه کافی عمومی است که به سایر سیستم های فیزیکی سایبری ، به ویژه آنهایی که مربوط به سیستم های کنترل صنعتی (ICS) هستند ، گسترش می یابد. بنابراین ، متخصصان صنعت و محققان دانشگاهی این کتاب را یک منبع استثنایی برای یادگیری جنبه های نظری و عملی استفاده از روش های رسمی برای حمایت از زیرساخت های مهم می یابند.
tag : دانلود کتاب تجزیه و تحلیل امنیت و مقاومت برای شبکه های هوشمند: رویکردهای استاتیک و پویا , Download تجزیه و تحلیل امنیت و مقاومت برای شبکه های هوشمند: رویکردهای استاتیک و پویا , دانلود تجزیه و تحلیل امنیت و مقاومت برای شبکه های هوشمند: رویکردهای استاتیک و پویا , Download Security and Resiliency Analytics for Smart Grids: Static and Dynamic Approaches Book , تجزیه و تحلیل امنیت و مقاومت برای شبکه های هوشمند: رویکردهای استاتیک و پویا دانلود , buy تجزیه و تحلیل امنیت و مقاومت برای شبکه های هوشمند: رویکردهای استاتیک و پویا , خرید کتاب تجزیه و تحلیل امنیت و مقاومت برای شبکه های هوشمند: رویکردهای استاتیک و پویا , دانلود کتاب Security and Resiliency Analytics for Smart Grids: Static and Dynamic Approaches , کتاب Security and Resiliency Analytics for Smart Grids: Static and Dynamic Approaches , دانلود Security and Resiliency Analytics for Smart Grids: Static and Dynamic Approaches , خرید Security and Resiliency Analytics for Smart Grids: Static and Dynamic Approaches , خرید کتاب Security and Resiliency Analytics for Smart Grids: Static and Dynamic Approaches ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.