توضیحات
This SpringerBrief discusses the uber eXtensible Micro-hypervisor Framework (uberXMHF), a novel micro-hypervisor system security architecture and framework that can isolate security-sensitive applications from other untrustworthy applications on commodity platforms, enabling their safe co-existence. uberXMHF, in addition, facilitates runtime monitoring of the untrustworthy components, which is illustrated in this SpringerBrief. uberXMHF focuses on three goals which are keys to achieving practical security on commodity platforms: (a) commodity compatibility (e.g., runs unmodified Linux and Windows) and unfettered access to platform hardware; (b) low trusted computing base and complexity; and (c) efficient implementation.
uberXMHF strives to be a comprehensible, practical and flexible platform for performing micro-hypervisor research and development. uberXMHF encapsulates common hypervisor core functionality in a framework that allows developers and users to build custom micro-hypervisor based (security-sensitive) applications (called ‘uberapps’). The authors describe several uberapps that employ uberXMHF and showcase the framework efficacy and versatility. These uberapps span a wide spectrum of security applications including application compartmentalization and sandboxing, attestation, approved code execution, key management, tracing, verifiable resource accounting, trusted-path and on-demand I/O isolation.
The authors are encouraged by the end result – a clean, barebones, low trusted computing base micro-hypervisor framework for commodity platforms with desirable performance characteristics and an architecture amenable to manual audits and/or formal reasoning. Active, open-source development of uberXMHF continues.
The primary audience for this SpringerBrief is system (security) researchers and developers of commodity system software. Practitioners working in system security deployment mechanisms within industry and defense, as well as advanced-level students studying computer science with an interest in security will also want to read this SpringerBrief.
————————————————————–
ترجمه ماشینی :
این Springerbrief در مورد چارچوب میکرو Hypervisor Uber گسترده (UberXMHF) ، یک معماری و چارچوب امنیتی سیستم میکروپریسور جدید بحث می کند که می تواند برنامه های حساس به امنیت را از سایر برنامه های غیر قابل اعتماد در سیستم عامل های کالایی منزوی کند و همزمان ایمن آنها را فعال کند. علاوه بر این ، UberxMHF نظارت بر زمان اجرا بر اجزای غیرقابل اعتماد را تسهیل می کند ، که در این اسپرینگریف نشان داده شده است. UberXMHF بر سه هدف تمرکز دارد که کلید دستیابی به امنیت عملی بر روی سیستم عامل های کالایی است: (الف) سازگاری کالا (به عنوان مثال ، لینوکس و ویندوز اصلاح نشده) و دسترسی بی وقفه به سخت افزار پلتفرم. (ب) پایگاه محاسبات و پیچیدگی کم اعتماد ؛ و (ج) اجرای کارآمد. UberXMHF عملکردهای اصلی Hypervisor را در چارچوبی محاصره می کند که به توسعه دهندگان و کاربران امکان می دهد برنامه های کاربردی مبتنی بر میکروپریسور (حساس به امنیت) (به نام “UberApps”) بسازند. نویسندگان چندین UberApps را توصیف می کنند که از UberxMHF استفاده می کنند و اثر و تطبیق پذیری چارچوب را به نمایش می گذارند. این UberApps طیف گسترده ای از برنامه های امنیتی از جمله محفظه برنامه کاربردی و ماسهبازی ، تأیید ، اجرای کد تأیید شده ، مدیریت کلیدی ، ردیابی ، حسابداری منابع قابل اثبات ، مسیر قابل اعتماد و I/O را در صورت تقاضا قرار می دهد.
نویسندگان مورد تشویق قرار می گیرند نتیجه نهایی – یک چارچوب میکرو Hypervisor پایه محاسبات کم ، قابل اعتماد ، برای سیستم عامل های کالایی با ویژگی های عملکرد مطلوب و معماری قابل استفاده در ممیزی دستی و/یا استدلال رسمی است. توسعه فعال و منبع باز UberXMHF ادامه دارد. پزشکانی که در مکانیسم های استقرار امنیت سیستم در صنعت و دفاع کار می کنند ، و همچنین دانشجویان سطح پیشرفته که علوم کامپیوتر را با علاقه به امنیت مطالعه می کنند نیز می خواهند این Springerbrief را بخوانند.
tag : دانلود کتاب خصوصیات امنیتی عملی در سیستم عامل های محاسباتی کالا: چارچوب میکرو Hypervisor Uber قابل گسترش , Download خصوصیات امنیتی عملی در سیستم عامل های محاسباتی کالا: چارچوب میکرو Hypervisor Uber قابل گسترش , دانلود خصوصیات امنیتی عملی در سیستم عامل های محاسباتی کالا: چارچوب میکرو Hypervisor Uber قابل گسترش , Download Practical Security Properties on Commodity Computing Platforms: The uber eXtensible Micro-Hypervisor Framework Book , خصوصیات امنیتی عملی در سیستم عامل های محاسباتی کالا: چارچوب میکرو Hypervisor Uber قابل گسترش دانلود , buy خصوصیات امنیتی عملی در سیستم عامل های محاسباتی کالا: چارچوب میکرو Hypervisor Uber قابل گسترش , خرید کتاب خصوصیات امنیتی عملی در سیستم عامل های محاسباتی کالا: چارچوب میکرو Hypervisor Uber قابل گسترش , دانلود کتاب Practical Security Properties on Commodity Computing Platforms: The uber eXtensible Micro-Hypervisor Framework , کتاب Practical Security Properties on Commodity Computing Platforms: The uber eXtensible Micro-Hypervisor Framework , دانلود Practical Security Properties on Commodity Computing Platforms: The uber eXtensible Micro-Hypervisor Framework , خرید Practical Security Properties on Commodity Computing Platforms: The uber eXtensible Micro-Hypervisor Framework , خرید کتاب Practical Security Properties on Commodity Computing Platforms: The uber eXtensible Micro-Hypervisor Framework ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.