Security Policy in System-on-Chip Designs: Specification, Implementation and Verification

این کتاب به خوانندگان پوشش جامعی از مشخصات خط‌مشی امنیتی با استفاده از زبان‌های خط‌مشی جدید، اجرای سیاست‌های امنیتی در طراحی‌های سیستم‌های روی تراشه (SoC) - رویه‌های صنعتی فعلی، و همچنین رویکردهای نوظهور برای معماری سیاست‌های امنیتی SoC را ارائه می‌دهد. و تأیید خط مشی امنیتی نویسندگان بر روی یک معماری امنیتی امیدوارکننده برای اجرای سیاست‌های امنیتی تمرکز می‌کنند که اهداف انعطاف‌پذیری، تأیید و ارتقاء را از پایه برآورده می‌کند، از جمله یک بلوک سخت‌افزاری plug-and-play که در آن همه پیاده‌سازی سیاست محصور شده است. با استفاده از این معماری، آنها در مورد پیامدهای طراحی سیاست‌های امنیتی SoC، از جمله اثرات روی ویژگی‌های غیرعملکردی (قدرت/عملکرد)، اشکال‌زدایی، اعتبارسنجی و ارتقاء بحث می‌کنند. نویسندگان همچنین یک رویکرد سیستماتیک را برای "وصله سخت‌افزاری" توصیف می‌کنند، به‌عنوان مثال، ارتقای پیاده‌سازی سخت‌افزار نیازمندی‌های امنیتی به صورت ایمن، قابل اعتماد و ایمن در این زمینه، که نیاز حیاتی به دستگاه‌های متنوع اینترنت اشیاء (IoT) را برآورده می‌کند.

p>

• پوشش جامعی از الزامات امنیتی SoC، سیاست‌های امنیتی، زبان‌ها و معماری امنیتی برای دستگاه‌های محاسباتی فعلی و نوظهور ارائه می‌کند؛
  
• افسانه‌ها و ابهامات در اجرای سیاست‌های امنیتی SoC را منفجر می‌کند. ، و درمان دقیقی از موضوع ارائه می دهد؛
  
• رویکردی دقیق و گام به گام برای توسعه تنوع سیاست های امنیتی SoC نشان می دهد؛
  
• معرفی می کند یک رویکرد دقیق و منظم برای "وصله سخت افزاری"، به عنوان مثال، تکنیک ایمن برای به روز رسانی عملکرد سخت افزاری دستگاه های محاسباتی در میدان؛
  
• شامل بحث در مورد رویکردهای فعلی و نوظهور برای تأیید خط مشی امنیتی است.
  

This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs – current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy verification. The authors focus on a promising security architecture for implementing security policies, which satisfies the goals of flexibility, verification, and upgradability from the ground up, including a plug-and-play hardware block in which all policy implementations are enclosed. Using this architecture, they discuss the ramifications of designing SoC security policies, including effects on non-functional properties (power/performance), debug, validation, and upgrade. The authors also describe a systematic approach for “hardware patching”, i.e., upgrading hardware implementations of security requirements safely, reliably, and securely in the field, meeting a critical need for diverse Internet of Things (IoT) devices.

• Provides comprehensive coverage of SoC security requirements, security policies, languages, and security architecture for current and emerging computing devices;
  
• Explodes myths and ambiguities in SoC security policy implementations, and provide a rigorous treatment of the subject;
  
• Demonstrates a rigorous, step-by-step approach to developing a diversity of SoC security policies;
  
• Introduces a rigorous, disciplined approach to “hardware patching”, i.e., secure technique for updating hardware functionality of computing devices in-field;
  
• Includes discussion of current and emerging approaches for security policy verification.