أمن أنظمة التشغيل - (سلسلة محاضرات Synthesis حول أمن المعلومات والخصوصية والحقيقة) تأليف ترينت جيجر (غلاف ورقي)

ملخص الكتاب توفر أنظمة التشغيل الآليات الأساسية لتأمين معالجة الكمبيوتر. ومنذ الستينيات، استكشف مصممو أنظمة التشغيل كيفية بناء أنظمة تشغيل "آمنة" - أي أنظمة تشغيل تحمي آلياتها النظام ضد خصم متحمس. ومؤخراً، أصبحت أهمية ضمان مثل هذا الأمان قضية رئيسية لجميع أنظمة التشغيل. في هذا الكتاب، نفحص الأبحاث السابقة التي تحدد متطلبات نظام التشغيل الآمن، والأبحاث التي تنفذ أنظمة نموذجية تهدف إلى تحقيق هذه المتطلبات. بالنسبة لتصاميم الأنظمة التي تهدف إلى تلبية هذه المتطلبات، نجد أن تعقيد الأنظمة البرمجية غالباً ما يؤدي إلى تحديات في التنفيذ لا نزال نستكشفها حتى يومنا هذا. ومع ذلك، إذا لم يهدف تصميم النظام إلى تحقيق متطلبات نظام التشغيل الآمن، فإن ميزاته الأمنية ستفشل في حماية النظام بطرق لا حصر لها. كما نقوم أيضاً بدراسة الأنظمة التي تم تزويدها بميزات نظام التشغيل الآمن بعد مرحلة النشر الأولية. في جميع الحالات، يؤدي الصراع بين الوظائف من جهة والأمن من جهة أخرى إلى خيارات صعبة واحتمالية تقديم تنازلات غير مدروسة. ومن خلال هذا الكتاب، نأمل أن يتعلم مصممو الأنظمة ومنفذوها متطلبات أنظمة التشغيل التي تفرض الأمن بفعالية، وأن يفهموا بشكل أفضل كيفية إدارة التوازن بين الوظائف والأمن. جدول المحتويات: المقدمة / أساسيات التحكم في الوصول / Multics / الأمن في أنظمة التشغيل العادية / أهداف الأمن القابلة للتحقق / نوى الأمن / تأمين أنظمة التشغيل التجارية / دراسة حالة: Solaris Trusted Extensions / دراسة حالة: بناء نظام تشغيل آمن لنظام Linux / أنظمة القدرات الآمنة / أنظمة الآلات الافتراضية الآمنة / ضمان النظام

نبذة عن المؤلف ترينت جيجر هو أستاذ مشارك في قسم علوم وهندسة الحاسوب في The Pennsylvania State University والمدير المشارك لـ Systems and Internet Infrastructure Security Lab. انضم إلى Penn State بعد العمل لمدة تسع سنوات في مجموعات أبحاث أنظمة التشغيل وأمن الأنظمة لدى IBM Research. تشمل اهتمامات ترينت البحثية أمن أنظمة التشغيل، والتحكم في الوصول، وأدوات تحليل الشفرة المصدرية والسياسات. وقد نشر أكثر من 70 ورقة بحثية محكمة حول هذه المواضيع. كما قدم ترينت مساهمات متنوعة في أمن الأنظمة مفتوحة المصدر، لا سيما في إطار عمل Linux Security Modules، وتطوير وحدة SELinux والسياسات الخاصة بها، وقياس السلامة في Linux، وبنية Xen الأمنية. يعد المؤلف عضواً نشطاً في مجتمع أبحاث الأمن، حيث سبق له أن شارك في اللجان البرامجية لجميع المؤتمرات الأمنية الكبرى، كما تولى رئاسة البرنامج في ACM CCS Government and IndustryTrack وACM SACMAT، بالإضافة إلى رئاسة العديد من ورش العمل. وهو محرر مشارك في ACM TOIT، وقد عمل محرراً ضيفاً في ACM TISSEC. حاصل ترينت على درجتي الماجستير والدكتوراه من University of Michigan, Ann Arbor في علوم وهندسة الحاسوب في عام 1993 وعام 1997 على التوالي.