دانلود کتاب Cryptographic Security Architecture: Design and Verification

ترجمه فارسی توضیحات (ترجمه ماشینی)

معماری امنیت رمزنگاری: طراحی و تأیید

معماری امنیتی رمزنگاری مجموعه ای از سخت افزار و نرم افزار است که استفاده از کلیدهای رمزگذاری و متغیرهای رمزنگاری مشابه را محافظت و کنترل می کند. این کتاب پایه‌ای برای اجرای سیاست‌ها و کنترل‌های امنیتی رایانه و جلوگیری از سوء استفاده از سیستم است. این کتاب یک طراحی جامع برای یک معماری رمزنگاری قابل حمل و انعطاف‌پذیر با امنیت بالا با تأکید ویژه بر ترکیب مدل‌ها و شیوه‌های امنیتی دقیق ارائه می‌کند. «معماری امنیت رمزنگاری» ابزار جایگزینی را برای ساختن یک سیستم قابل اعتماد بر اساس مفاهیمی از اصول مهندسی نرم افزار و روانشناسی شناختی معرفی می کند. طرح جدید هسته امنیتی آن یک مانیتور مرجع را پیاده سازی می کند که دسترسی به اشیاء و ویژگی های مرتبط با امنیت را بر اساس یک خط مشی امنیتی قابل تنظیم کنترل می کند. موضوعات و ویژگی ها: * یک طرح معماری مختصر ایجاد می کند که می تواند به راحتی در آینده گسترش یابد * یک برنامه کاربردی توسعه می دهد- هسته امنیتی خاصی که یک خط مشی امنیتی کاملاً قابل تنظیم و مبتنی بر قانون را اعمال می کند* تکنیک تأیید جدیدی را ارائه می دهد که تأیید از مشخصات سطح بالا تا کد در حال اجرا را امکان پذیر می کند * تضمین امنیتی مؤثر در تولید اعداد تصادفی و مشکلات مرتبط با آن را توصیف می کند* تولید و حفاظت از متغیرهای رمزنگاری، و همچنین کاربرد طراحی معماری در سخت افزار رمزنگاری را بررسی می کند. متخصصان طراحی امنیتی، متخصصان، محققان و دانشجویان پیشرفته این کار را یک منبع ضروری خواهند یافت.

Cryptographic Security Architecture: Design and Verification

A cryptographic security architecture is the collection of hardware and software that protects and controls the use of encryption keys and similar cryptovariables. It is the foundation for enforcing computer security policies and controls and preempting system misuse.This book provides a comprehensive design for a portable, flexible high-security cryptographic architecture, with particular emphasis on incorporating rigorous security models and practices. “Cryptographic Security Architecture” unveils an alternative means of building a trustworthy system based on concepts from established software engineering principles and cognitive psychology. Its novel security-kernel design implements a reference monitor that controls access to security-relevant objects and attributes based on a configurable security policy.Topics and features:* Builds a concise architectural design that can be easily extended in the future* Develops an application-specific security kernel that enforces a fully customizable, rule-based security policy* Presents a new verification technique that allows verification from the high-level specification down to the running code* Describes effective security assurance in random number generation, and the pitfalls associated therewith* Examines the generation and protection of cryptovariables, as well as application of the architectural design to cryptographic hardwareThe work provides an in-depth presentation of a flexible, platform-independent cryptographic security architecture suited to software, hardware, and hybrid implementations. Security design practitioners, professionals, researchers, and advanced students will find the work an essential resource.