امنیت سیستم‌عامل ۲۰۲۲
Operating System Security 2022

سیستم‌عامل‌ها سازوکارهای اساسی برای ایمن‌سازی پردازش کامپیوتری را فراهم می‌کنند. از دهه‌ی ۱۹۶۰، طراحان سیستم‌عامل در پی یافتن راه‌هایی برای ساخت سیستم‌عامل‌های “امن” بوده‌اند – سیستم‌عامل‌هایی که سازوکارهایشان از سیستم در برابر مهاجمان با انگیزه محافظت می‌کند. اخیراً، اهمیت اطمینان از چنین امنیتی به یک موضوع اصلی برای همه‌ی سیستم‌عامل‌ها تبدیل شده است.

در این کتاب، تحقیقات گذشته را بررسی می‌کنیم که الزامات یک سیستم‌عامل امن و همچنین تحقیقاتی را که سیستم‌های نمونه‌ای را با هدف برآورده کردن چنین الزاماتی پیاده‌سازی می‌کنند، شرح می‌دهند. در مورد طراحی‌های سیستمی که قصد داشتند این الزامات را برآورده کنند، می‌بینیم که پیچیدگی سیستم‌های نرم‌افزاری اغلب منجر به چالش‌های پیاده‌سازی می‌شود که هنوز هم در حال بررسی آنها هستیم. با این حال، اگر طراحی یک سیستم هدفش دستیابی به الزامات سیستم‌عامل امن نباشد، ویژگی‌های امنیتی آن در محافظت از سیستم به روش‌های بی‌شماری ناکام می‌ماند.

ما همچنین سیستم‌هایی را مطالعه می‌کنیم که پس از استقرار اولیه، با ویژگی‌های سیستم‌عامل امن، بازسازی شده‌اند. در همه موارد، تعارض بین عملکرد از یک سو و امنیت از سوی دیگر، منجر به انتخاب‌های دشوار و پتانسیل مصالحه‌های نابخردانه می‌شود.

امیدواریم که طراحان و پیاده‌سازان سیستم‌ها از این کتاب، الزامات سیستم‌عامل‌هایی را که به طور موثر امنیت را اعمال می‌کنند، بیاموزند و درک بهتری از نحوه‌ی مدیریت تعادل بین عملکرد و امنیت به دست آورند.

فهرست مطالب: مقدمه / مبانی کنترل دسترسی / Multics / امنیت در سیستم‌عامل‌های معمولی / اهداف امنیتی قابل اثبات / هسته‌های امنیتی / ایمن‌سازی سیستم‌عامل‌های تجاری / مطالعه موردی: توسعه‌های مورد اعتماد سولاریس / مطالعه موردی: ساخت یک سیستم‌عامل امن برای لینوکس / سیستم‌های مبتنی بر قابلیت امن / سیستم‌های ماشین مجازی امن / تضمین سیستم

Operating systems provide the fundamental mechanisms for securing computer processing. Since the 1960s, operating systems designers have explored how to build “secure” operating systems – operating systems whose mechanisms protect the system against a motivated adversary. Recently, the importance of ensuring such security has become a mainstream issue for all operating systems. In this book, we examine past research that outlines the requirements for a secure operating system and research that implements example systems that aim for such requirements. For system designs that aimed to satisfy these requirements, we see that the complexity of software systems often results in implementation challenges that we are still exploring to this day. However, if a system design does not aim for achieving the secure operating system requirements, then its security features fail to protect the system in a myriad of ways. We also study systems that have been retrofit with secure operating system features after an initial deployment. In all cases, the conflict between function on one hand and security on the other leads to difficult choices and the potential for unwise compromises. From this book, we hope that systems designers and implementors will learn the requirements for operating systems that effectively enforce security and will better understand how to manage the balance between function and security. Table of Contents: Introduction / Access Control Fundamentals / Multics / Security in Ordinary Operating Systems / Verifiable Security Goals / Security Kernels / Securing Commercial Operating Systems / Case Study: Solaris Trusted Extensions / Case Study: Building a Secure Operating System for Linux / Secure Capability Systems / Secure Virtual Machine Systems / System Assurance